#AI把数学干废了#
博格是数学系毕业的,刷到这个热搜,说两句~
解决问题就两招:
要么推理证明,
要么穷举验证。
早些年算力不够,破密码全靠推理。
后来机器算得快了,还动啥脑子,挨个试一遍就完事了。
别忘了,计算机跑的那套东西,底层就是数学逻辑。
现在AI算力猛了,
以前数学家挠破头的题,它直接穷举硬算,算出来了。
于是有人喊:数学要完。
博格倒不这么看。
算力再猛,也总有啃不动的问题。
啃不动怎么办?还得回来靠推理,靠证明。
证着证着,新的数学定理就冒出来了。
这些新定理,转头又喂给AI,让它更聪明。
所以"AI把数学干废了"这话,博格不认。
反倒是,AI越厉害,数学越重要。
同意的点赞支持~
发布于 北京
