37年只前进了0.8%的黎曼猜想，这次被AI扛走了大半程

世界上有一道数学题，叫黎曼猜想，人称”数学界的珠穆朗玛”。

150 多年了，没人爬上去。

上个月，AI 动了它一下。

今天结果出来了：Claude 的一版证明，被数学家 Youness Lamzouri 验过了，没毛病。他还顺手写了个更短、更漂亮的版本。

翻译成人话——数学界，给 AI 的这次冲顶，盖了章。

先说它到底冲到了哪

黎曼猜想，管的是素数那点”看着随机、其实藏着规律”的事。数学家一辈子都在把一种叫”零点”的东西往一条线上钉。

上一个 37 年，人类把钉子钉牢的比例，从 40.8% 推到了 41.6%。

就 0.8%。慢得像蚂蚁搬家。

这次 Claude 一把干到了 2/3 以上。

37 年挪 0.8%，它一次加了二十多个百分点。搁以前，够整个数论圈忙活大半辈子。

但别急着说”它证明了”

得讲清楚：这不是证明黎曼猜想，还差着十万八千里。科学美国人那边也在泼冷水：最难的题，哪那么容易。

可你品品这几件事凑一起的画面：

数学家出手写了新证明，几小时后，另一个 AI（AxiomProver）把这份证明翻译成了机器能核对的一种”Lean 证书”。

人、AI、验证 AI，三方接力，几个小时内闭环。

以前叫”做题”，现在叫”出题、解题、被审稿”。审稿的还是人类数学家。

这事儿真正有意思的地方

37 年挪不动那 0.8%，不是因为人笨，是因为没谁愿意把一辈子砸进同一块硬骨头。

而现在，啃硬骨头的力气，便宜了。

AI 不是来抢数学家饭碗的，是来给他们发”无限复活卡”的。

黎曼猜想那扇门，今天被推开了条缝。缝里漏出来的光，已经够数学界兴奋一阵。

至于门后面到底什么样，人类和 AI，慢慢看。