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能替你算出所有答案，但替不了你在所有人都觉得没用的时候，还在坚持的那个为什么，而那个为什么，才是你唯一不可替代的东西。 特别