AI做数学题被数学圈认了：56年没人解开

1970 年，数学家埃尔德什随口出了道数论题。半个世纪没人拼出完整解，直到最近被谷歌 DeepMind 的 AI 解开。

这 AI 解题的法子挺笨：大模型写一步证明，就交给 Lean 编译器查一步。报错就打回重写，全对才算过关。说白了，就是有个不知疲倦的老师逐句批改。

结果它一口气解了 9 道悬赏题，包括两道悬了 50 多年的老难题。不过 353 道题里只解出 9 道，解决率才 2.5%。同行也提醒，机器验算全对，还得靠人确认它真答对了原题。

这事最扎眼的是两条路线的对比。几周前 OpenAI 甩出 722 份 AI 证明，连同行评审都不走，惹得陶哲轩呼吁大家停止合作。DeepMind 偏反着来，等了五个月走完评审，论文还上了《科学》。

AI 降低产出门槛后，验证和信任反而成了稀缺品。慢的那条路，可能才是走得远的。