证明大爆炸，数学界变天！AI把陶哲轩逼出「数学 2.0」

新智元报道

今年10月9日，加州理工学院，贝克曼礼堂，是一场迟到了一年的演讲。

站在台上的，是菲尔兹奖得主陶哲轩。

最初的题目叫《机器辅助证明》。但在AI狂飙突进的这几个月里，世界已经天翻地覆。

于是，他改写了整个演讲，将最新的题目定为——《数学2.0》（Math 2.0）。

前沿AI，已经把数学界从「证明稀缺」的旧时代，一脚踹进了「证明过剩」的新纪元。但如果我们沉迷于让AI疯狂刷题，人类最终将被自己造出的神明反噬。

为什么是现在？ 因为数学奇点已至。

数学奇点已至，证明点击就送

数学领域的奇点，已经到来。

全球顶尖量子计算研究者、曾在OpenAI从事两年安全研究的Scott Aaronson，最近如此断言。

这是一场大屠杀。

5月，OpenAI用AI解决了埃尔德什单位距离问题——这可能是AI模型解决的第一个重大数学问题。

9月8日，千禧年难题被攻破。

OpenAI动用了一个未公开的内部巨型模型，协调了约1万个AI智能体。它们耗时88个小时，就给出了 Navier-Stokes方程的有限时间奇点证明，并完成了Lean语言形式化验证。

这是克雷数学研究所悬赏百万美元的「千禧年七大数学难题」之一。人类数学家苦熬了几十年毫无头绪。AI只用了不到四天。

但在OpenAI 看来，这不是人类科学史上的伟大跨越，这只是一次微不足道的「AI能力演示」。

10月6日，OpenAI一口气空降了700多篇数学手稿。

他们在GitHub上的一个公开仓库，包含了有700多篇由AI独立生成的数学论文，涵盖372个结果。

平均每一个极其复杂的开放数学问题，模型只花了3个小时的算力去思考。里面甚至证明了zeta函数在Re(s)>7/8无零点，推进了黎曼猜想核心边界。

另一家巨头Anthropic也曾经宣布，Claude将黎曼zeta函数非平凡零点下界从41.6%硬生生拔高到了67.2%。

而Google DeepMind的AlphaProof，早就达到了国际奥数（IMO）的金牌水平。

围棋死于2016年。那一年，AlphaGo击败了李世石，从此人类的围棋对弈沦为了一项纯粹的「娱乐活动」。

十年后的今天，数学，这个人类心智的荣耀，似乎也要重蹈覆辙。人类几千年来的文明，难道最后只是为了给AI铺路？

数学家们慌了，整个数学界炸了。

随后，25位菲尔兹奖得主联名发声，警告AI的目标严重错位。

就在全人类数学家面临智力危机的十字路口，陶哲轩站了出来，发表了《数学 2.0》。

数学1.0的终结——从「稀缺」到「泛滥」

要理解这场地震，我们必须先看清我们从哪里来。

陶哲轩将过去的几千年，定义为「数学1.0」时代。

这个时代的最底层逻辑，只有四个字：证明稀缺。

什么是证明稀缺？

回顾历史，数学属于极少数天才。

费马大定理，困扰了人类300多年，直到安德鲁·怀尔斯在阁楼里闭关七年才得以证明。

庞加莱猜想，让无数数学家折戟，直到佩雷尔曼横空出世。

在「数学1.0」的规则里，真理极其昂贵。

证明一个定理，需要耗费一代甚至几代人的心血。数学家们如同在漆黑的迷宫里摸索，依靠极度敏锐的直觉，一点点拼凑出通向出口的路线。

人类，是这个体系绝对的中心。没有人类的灵光乍现，就没有数学的进步。

但现在，墙塌了。

曾经千金难求的「证明」，现在只要给够算力和电量，AI 就能像印钞机一样源源不断地吐出来。

这就是陶哲轩所说的历史性转折：我们正式步入了「证明过剩」时代。

以前，我们苦于找不到答案。现在，答案多到我们根本看不过来。

许多人为此欢呼雀跃。

他们认为，数学的终极形态就是让 AI 接管一切。只要把问题扔给机器，机器给出「对」或「错」的完美证明，科学的齿轮就会疯狂转动。

但这正是陶哲轩感到恐惧的地方。

致命的盲盒——「抗癌药」思想实验

当所有人都沉浸在 AI 狂刷开放问题的狂欢中时，陶哲轩抛出了一个极其犀利、令人后背发凉的「思想实验」。

他问了所有人一个问题：

「如果 AI 给你开出了一副完美的抗癌药，你敢用吗？」

想象一下这个场景：经过亿万次模拟，超级智能合成了一种全新的「化合物」。它告诉你，这能治愈所有的癌症。

但问题来了：医生、生物学家或化学家看不懂，没有人能看懂这种药的生效机制。

它的分子结构完全超越了人类现有的医学认知。它是一个彻底的黑盒。

现在，把这副药递到你手里。你敢吃吗？

AI 可以避免致命的慢性的副作用吗？诺贝尔奖该给 AI 吗？

这就是陶哲轩的警告。

单纯输出一个看似正确、但人类无法理解的结果，绝不是科学的胜利，而是一种非常危险的「错误对齐」。

在数学领域，这种危险同样致命。

如果 AI 解决了一个著名的猜想，比如黎曼猜想。它给出了一个长达10万页的形式化证明。计算机验证工具跑了一遍，亮起绿灯，显示「证明无误」。

但全世界没有一个人能看懂这10万页里到底写了什么。 这样的数学，还有意义吗？

数学不仅仅是为了判断对错。

数学是物理学的地基，是密码学的基石，是现代工程的骨架。

如果支撑人类文明的最底层逻辑，变成了无人能理解的黑盒，那无异于在沙丘上建高楼。

这不是数学，这是神话。

「唯解题论」，是一个巨大的陷阱。

数学2.0的觉醒——重建人类理解

旧时代的航船已经沉没，新大陆的轮廓正在浮现。

既然证明不再稀缺，既然机器能比人类更快地得出正确答案，人类在数学中还有存在的价值吗？

陶哲轩的答案是：有，而且比以往任何时候都重要。

他首次在加州理工的舞台上，勾勒出了「数学2.0」的宏大愿景。

在这张蓝图里，AI 没有淘汰人类，而是成为了人类认知的放大器。

数学2.0的可持续发展之路，要义在于要利用 AI 工具，全面反哺和增强「人类理解」。

游戏规则彻底改变了。

在过去（数学1.0时代），数学家的核心任务是「解决开放研究问题」，目的是寻找稀缺的证明。

而在未来（数学2.0时代）， 重点在于人类和 AI 的强强合作。

陶哲轩给了 Math 2.0 的几个例子。

比如，解决「开放性解释问题」，而不仅仅是开放性研究难题

传统数学研究致力于解决尚未攻克的难题，而「开放性解释问题」关注的是：对于那些已经得到证明、但现有证明晦涩难懂的数学结论，如何找到更有启发性、更能揭示其本质的解释。

此外， 数学 2.0的例子还包括大量数学论文整合为一个持续演化的知识网络；或者建立大规模、高质量的形式化数学知识库

更重要的是，让 AI 帮助数学家发现新的数学原理、研究方法和深层洞见，真正推动人类对数学的理解。

超越数学的终极警示：当人类不再理解世界

陶哲轩的这场演讲，表面谈数学，实则揭开了AI时代最危险的悖论：

人类正在以前所未有的速度获得答案，却可能逐渐失去理解答案的能力。

AI写出千万行代码，却没人能完全读懂。

AI设计出全新药物，却没人说得清全部作用机制。

AI证明了世纪难题，却没人能真正理解证明背后的思想。

我们越来越擅长创造奇迹，却越来越不懂奇迹为何发生。

过去几千年，人类先理解世界，再改造世界。如今，AI正在颠倒这个顺序。

更可怕的是，我们似乎并不在乎。

真正的危险，不是机器比人类更聪明，而是人类开始习惯于不再思考。

科学的终极价值，从来不是答案，而是理解。

未来，AI或许真的会成为无所不知的「神明」。

但人类绝不能只会膜拜神迹，沦为盲目的信徒。

参考资料：

https://terrytao.wordpress.com/2026/10/10/math-2-0/

https://www.developing.dev/p/e070-scott-aaronson

编辑：大卫