AI突破三大百年数学难题 | 人类智力的最后堡垒，正在被AI“拆墙”

一刻 talks ｜硬科技趋势

最近两个月，AI在数学领域做了三件事。

第一件，费马大定理。1995年，安德鲁·怀尔斯在阁楼里独自奋战七年，用一百多页纸、人类能理解的逻辑，终于证明了这个困扰了三个半世纪的命题。

2026年9月4日，Anthropic的Claude用约11天，生成了1300万行Lean代码，把怀尔斯1995年的证明翻译成机器可逐步检查的代码，完成了费马大定理首个端到端的形式化核验证明。

第二件，孪生素数。无数数学家推进了一百多年，试图缩小相邻素数之间的间隔。GPT-6 Astra将相邻素数间隔的上界从246推进到了186。

第三件，黎曼猜想。悬赏一百万美元，至今未解，但Claude将位于临界线上的零点比例下界从41.6%提升到了67.2%。

数学，人类智力的最后堡垒，正在被AI从形式化验证和指标渐进两个维度同时推进。AI用一种跟人类完全不同的方式，做到了人类花了几百年才做到的事，而且它根本不需要用人类的方式理解数学。

这件事跟你有什么关系？往下读，你有没有想过，你一辈子在学的东西、在积累的能力、在打磨的聪明，有一天被一个根本不需要聪明东西超越了，你的智力还值钱吗？

我们不替你解题，我们帮你看清楚，AI能替你算出所有答案，但替不了你在所有人都觉得没用的时候，还在坚持的那个为什么。

01

AI不是用人类的方式理解数学

是用另一种方法论撞开数学

人类数学家怎么做数学？庞加莱在散步时突然想到两个不相干的领域有隐秘关联。

怀尔斯在阁楼里，用七年时间，一步步搭建人类能理解的逻辑。数学家是立法者，他们可以自己发明规则，可以追问规则本身是否合理。

AI怎么做数学？它把数学问题拆成符号和逻辑规则，一条路走不通，编译器报错，立刻换另一条路穷举。

1300万行代码，不是人类式的理解，是机器式的穷举，不是灵光一现，是大力出奇迹。

人类用了358年，靠的是直觉。AI用了11天，靠的是同一件事重复做几千万次，直到撞开。

这就是最让人不安的地方。人类一直以为，数学是智力的最后一块高地，它需要直觉、需要灵感、需要灵光一现。

但这些，AI全不需要。它只需要足够多的计算，足够长的时间，足够大的耐心，而这三样东西，人类永远比不过机器。

数学的最后堡垒，不是被更聪明的大脑攻破的，是被完全不同的方法论撞开的。

02

陶哲轩说，这是百年新危机

菲尔兹奖得主陶哲轩一直在推动AI辅助数学。但今年，他在国际数学家大会上提了一个激进的想法，对某些数学问题，应该禁止AI自动求解器介入。

为什么？因为数学的价值不只是答案。

数学的价值是过程，是迷路、是排除错误、是发现岔路、是培养下一代数学家。

陶哲轩做过一个思想实验，假如AI早来20年，张益唐还在三明治店打工，因为没有人需要他用十年时间独自推导一个偏门问题，AI几天就算完了。

张益唐是华人世界顶级数学家，他证明了存在无穷多对间隙小于7000万的相邻素数对，在数学史上第一次实质性推进解决著名数论难题“孪生素数猜想”，并在与黎曼猜想有关的朗道-西格尔零点猜想上取得重要进展。

他的警告不是说AI不好，是说，当答案不再稀缺，稀缺的是为什么这条路值得走。

真正危险的不是机器学会了数学，是人忘了数学为什么需要那些弯路。

这不止是数学，这是你所在的每一个领域。AI能替你写论文、替你编程、替你解题，但AI不能告诉你为什么要做这件事。

那个为什么，那个让你在所有人都觉得没用的时候还在坚持的为什么，AI永远给不了。

那些弯路，那些失败，那些灵光一现之前漫长的黑暗，AI永远走不了。因为AI不需要意义。但你需要。

03

答案会过时，问题才是人类的护城河

这三件事，放在一起看，答案很清楚。

AI不是比你聪明，AI是让你重新想一个问题，当答案不再稀缺，什么才是稀缺的？

陶哲轩的答案是，提问。

数学的最后堡垒正在被拆，但堡垒从来不在那道题上，堡垒在你为什么要解那道题上。

怀尔斯在阁楼里独自待了七年，他有可能失败，事实上他差一点就失败了，1993年第一次公开宣布证明后，同行审查发现了一个关键漏洞，他又花了一年才修复。

但那个七年，比那个证明更重要，因为那个七年，定义了他是一个什么样的人。

*关注一刻 talks，我们不替你解题，我们帮你看清楚，AI能替你算出所有答案，但替不了你在所有人都觉得没用的时候，还在坚持的那个为什么，而那个为什么，才是你唯一不可替代的东西。