陶哲轩发表《数学2.0》演讲，称AI让数学进入证明过剩时代

Image 1: 36氪

账号设置我的关注我的收藏申请的项目退出登录

搜索

36氪Auto 数字时氪未来消费智能涌现未来城市启动Power on 36氪出海 36氪研究院潮生TIDE 36氪企服点评 36氪财经职场bonus 36碳后浪研究所暗涌Waves 硬氪氪睿研究院媒体品牌
企业号企服点评 36Kr研究院 36Kr创新咨询企业服务
核心服务城市之窗政府服务
创投发布 LP源计划 VClub VClub投资机构库投资机构职位推介投资人认证投资人服务
项目推荐 36氪Pro 创投氪堂企业入驻创业者服务
创投平台
AI测评网

首页
快讯
资讯
- 推荐
- 财经
- AI
- 项目推荐
- 安徽
- 最新
- 创投
- 汽车
- 科技
- 专精特新
直播
视频
专题
活动
广东
浙江
四川
安徽
江苏

搜索

项目推荐

我要入驻

城市合作

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

新智元· 2026年10月14日 02:37

当AI学会证明，数学家还剩什么

今年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

本文来自微信公众号“新智元”（ID：AI_era），作者：大卫，36氪经授权发布。

该文观点仅代表作者本人，36氪平台仅提供信息存储空间服务。

商业策划

好文章，需要你的鼓励

新智元特邀作者

0收藏+10评论

Image 13: 36氪 打开微信“扫一扫”，打开网页后点击屏幕右上角分享按钮微博

沉浸阅读 返回顶部

参与评论

评论千万条，友善第一条

登录后参与讨论

提交评论 0/1000

商业策划

你可能也喜欢这些文章

刚刚，Gemini 4全球上线

苹果AI家庭管家来了：能认人、看家、自动开门，Siri彻底变牛了

一家成立九个月的公司，让机器人走出「排练过的世界」

AI最早的造梦者之一Character.AI，走向破产边缘

突发，明星AI独角兽宣布破产

硅谷AI杀疯了，DeepSeek们的性价比还剩多少？

特邀作者

TA没有写简介，但内敛也是一种表达

发表文章 5461 篇

提及的AI

查看AI测评

点点

36氪AI测评

选靠谱AI，看真实评测

查看

36氪AI测评官方交流社区

加入

36氪项目推荐

咨询项目审核和入驻

联系

36氪项目推荐订阅号

关注

企服圈子

软件选型经验交流社区加入

行业交流群

扫码加我，拉你进对应的行业群，链接一手资源和人脉！已有170000+人深度交流中～

36氪企服点评订阅号关注

36氪企服-订阅号

「36氪企服」会定期分享行业深度案例、报告以及热点话题，从用户视角出发，帮企业买家选中真正“对”的软件与服务。

36氪企服点评服务号关注

36氪企服点评-服务号

「36氪企服点评」现已收录近万款产品，致力于帮助每个需求企业服务的人做出正确的决策，携手每个企服行业者为大众提供更高的价值与服务。

找软件，先查用户评分榜查看

顾问1对1推荐软件免费服务体验

3亿跨界光芯片，东百集团为何如此激进？

标的仍亏损，估值超6亿

21分钟前

关于36氪

网络谣言信息举报入口