AI都能解决数学猜想了,数学家真的要失业吗?

导读我最近刷到好多「AI解决百年数学猜想」的新闻,点进去一看,差点被标题忽悠了。

我最近刷到好多「AI解决百年数学猜想」的新闻,点进去一看,差点被标题忽悠了。

仔细想想,这事根本不是你想的那样。

说直接点:

现在AI解决的,都是「已经猜到结果,就差把证明补全」的问题。真正那种开宗立派式的突破,AI还碰不着边。

举个最简单的例子

你去挖矿:

AI现在是你手里最好的镐子,能帮你把已经找到的矿脉挖得更快更干净。

但它不会告诉你「这座山下面可能有金矿」,更不会创造出「挖矿其实不用挖,用虹吸就能把金子吸上来」这种全新方法。


旧认知 vs 新认知

旧认知:AI都能解决著名数学猜想了,数学家很快就要失业了。

新认知:AI只是把数学家从繁琐的验证工作里解放出来,把更多时间留给真正需要想象力的部分。


下次再看到这种新闻,你可以先问自己四个问题,立马就能判断含金量:

AI解决数学猜想 四问自检清单

就拿最近的AlphaGeometry来说:

它解决几何问题确实很厉害,但本质上是把人类已经会的方法,用神经网络训练得更快更准。不是说它发现了一套全新的几何研究方法。

我反而觉得,这对数学家来说其实是好事。

原来要花几个月做计算验证的活,现在几天就能搞定,能省出更多时间去想那些真正需要动脑子的问题。

最后说句实在话:

最有价值的永远不是「解决了哪个猜想」,而是「你提出了什么别人想不到的新问题」。

这件事上,AI还得再等等。