望京博格
26-10-11 07:08 微博认证:财经博主 微博原创视频博主

#AI把数学干废了#
博格是数学系毕业的,刷到这个热搜,说两句~

解决问题就两招:
要么推理证明,
要么穷举验证。

早些年算力不够,破密码全靠推理。
后来机器算得快了,还动啥脑子,挨个试一遍就完事了。

别忘了,计算机跑的那套东西,底层就是数学逻辑。

现在AI算力猛了,
以前数学家挠破头的题,它直接穷举硬算,算出来了。

于是有人喊:数学要完。

博格倒不这么看。

算力再猛,也总有啃不动的问题。
啃不动怎么办?还得回来靠推理,靠证明。
证着证着,新的数学定理就冒出来了。
这些新定理,转头又喂给AI,让它更聪明。

所以"AI把数学干废了"这话,博格不认。
反倒是,AI越厉害,数学越重要。

同意的点赞支持~

发布于 北京