陶哲轩27页PPT震动硅谷:AI终结“证明稀缺”,盲目解题正在让数学绝育!

2026年10月9日深夜，加州理工学院贝克曼礼堂。

全世界的目光，聚焦在走上讲台的菲尔兹奖得主陶哲轩（Terence Tao）身上。这场公开演讲原本定在五个月前，最初的题目温和而学术，叫作《机器辅助证明》。但就在开讲前夕，陶哲轩推翻了原有讲稿，大幅改写内容，换上了一个充满历史转折意味的新标题：Math 2.0。

空气里弥漫着火药味就在演讲前三天（10月6日），OpenAI突然向学界抛出一座庞大的代码仓库，宣称一次性解决了数百个高知名度的数学开放问题。再往前推一个月，包括陶哲轩在内的25位菲尔兹奖得主罕见地联署发表声明，痛批科技巨头将AI与数学推向“严重错位”。

10月10日，陶哲轩在个人博客上传了整套27页演讲PPT。短短几小时内，这份讲义在X与Hacker News上引发海啸般的争论。

▲ 10月10日，陶哲轩在个人博客上传了加州理工学院演讲的完整幻灯片

这位当代最顶尖的数学家，在PPT里向整个科学界抛出了一句严肃的警告：“盲目优化解题能力，正在对数学造成主动伤害。”

01一夜入秋：当“证明”像自来水一样廉价

要读懂陶哲轩的警告，得先看懂过去两千年人类是如何做数学的。

陶哲轩把传统的数学时代称为“Math 1.0”。在这个时代里，一切学术规则都建立在一个隐秘的前提之上：好证明是极度稀缺的。 攻克一个猜想，往往需要顶尖大脑耗费数年甚至数十年。因为稀缺，谁能解出难题，谁就能拿到顶刊、教职和勋章。

但现在，大坝决堤了

为什么偏偏是数学最先被AI攻陷？陶哲轩在讲义中一针见血地指出，数学拥有三个让AI实验室垂涎欲滴的特质：第一，客观可验证，只要丢进Lean 4这样的“计算机逻辑裁判软件”里跑一遍，对就是对，错就是错，毫无含糊空间；第二，高度数字化，不需要做生物实验，不需要造对撞机；第三，人类几百年的高水平文献早已全部上网。

▲ 陶哲轩在讲义第6页指出：海量算力投入正带我们进入“证明过剩时代”

硅谷巨头们嗅到了猎物的味道海量算力砸下去，数学界一夜之间跨入了“证明过剩”（Proof Abundance）时代。只要算力管够，AI可以在毫无人类专家干预的情况下，像流水线一样批量吐出开放问题的正确证明。

面对这场看似势如破竹的算力热潮，陶哲轩在PPT里直接贴出了一张著名的二战轰炸机弹孔图。

社交媒体上到处都是科技公司的“胜利巡游”，仿佛数学的边疆已被AI彻底踏平。但陶哲轩把机身上的红点标注为“未报告的AI失败尝试”，这是典型的幸存者偏差。人们只看到AI解出的题，却看不到背后算力撞得头破血流的无数次死胡同，更忽略了深层而棘手的数学边疆依然纹丝未动。

▲ 网友评价：陶哲轩用幸存者偏差飞机比喻AI数学炒作，是对推特“胜利巡游”最锋利的同行评议

更致命的危机在于，当“解题”变得像拧开水龙头接水一样廉价时，沿用了几百年的科学评价体系瞬间失效。解题从来都只是“理解数学”的代理指标。 当AI为了刷榜而疯狂刷题时，指标异化成了目标本身。

02灯塔与剧透：正在被AI“绝育”的数学丛林

为什么OpenAI免费送给数学界几百份新证明，数学家们却一点也高兴不起来？

10月7日，陶哲轩在博客转载了“人类数学协会”（AHM）的抗议声明。声明措辞严厉：数学家从未要求OpenAI这么做，一次性倾倒数百份证明文件只是一场展示算力力量的公关秀，对学术研究毫无益处。

▲ 陶哲轩博客转载AHM声明，批评一次性释放数百份AI数学手稿纯属“力量展示”，缺乏学术贡献

外行很难理解数学家的愤怒：答案都给你了，还要挑三拣四？

在整套PPT引发广泛共鸣的第16页，陶哲轩给出了一个生动的比喻：开放问题本身就是一座座灯塔（Lighthouses），用来指引人类探索沿途未知的数学版图。

▲ 讲义第16页核心论点：开放问题如同指引方向的灯塔，过早抵达会让周围领域“绝育”

在纯数学的世界里，猜想本身往往没有直接的实用价值。费马大定理对不对，不会直接影响你手机的信号。它的深层价值，在于它像一座远方的灯塔，指引着几代数学家在黑暗的海域里开疆拓土。为了靠近这座灯塔，人类在半路上顺手发明了代数数论、模形式和无数全新的数学工具。探索途中的风景，远比最后那张“证明完毕”的收据珍贵一万倍。

而现在，商业公司的AI就像一架重型轰炸机，直接把答案空投到灯塔顶端。

陶哲轩用了一个极其残酷的词，绝育（Sterilize）。AI用暴力算力过早抵达灯塔，直接切断了人类原本要去探索的无数条小径，让整片数学领域寸草不生。

在演讲前夕流出的长文表态中，陶哲轩道出了更深层的悲凉。他把AI抢先发布的证明比作“电影剧透”，剧透一旦听过，就再也无法当自己没听过。 那些原本由博士生和年轻学者耐心推进、用来磨炼直觉的研究课题，在AI倾倒的答案面前瞬间失去意义。同时，这些冰冷的机器证明背后完全缺失了人的存在：机器既无法出席研讨会参与学术答疑，也难以将直觉经验沉淀为教科书知识，学术界的薪火传承因此出现了断层。

03一针抗癌神药，掀翻硅谷舆论场

如果说“灯塔绝育”还只是数学家内部的痛楚，那么陶哲轩在PPT第20至21页抛出的“癌症思想实验”，则直接把战火烧到了整个科技圈。

请想象这样一个场景：你向超级AI下达指令，“找出一款能通过三期临床试验的癌症疗法，绝不允许出错。”

消耗海量算力后，AI给出了一份神秘的化学药剂配方，甚至附带了一份经Lean形式化验证、无懈可击的数学证书。随后，这剂药真的顺利通过了三期临床试验！举世欢腾，唯独没有任何一个人类知道这剂药的原理是什么。

陶哲轩紧接着发出灵魂拷问：在你把这管药剂推进自己的血管之前，你难道不希望至少有一位人类专家，哪怕只是部分理解它的杀癌机制吗？

▲ 陶哲轩在讲义第20页抛出癌症疗法思想实验，追问AI是否可能通过钻试验规则空子来实现“错位通关”

这张截图被转推到社交网络后，各方观点迅速交锋，掀起巨大争议。

AI评论员Andrew Curran当即发帖反驳，斩获极高赞数：“我百分之百确定，如果疗法真的有效，任何四期癌症患者都会告诉你：人类懂不懂机制，我根本不在乎！”不少硅谷极客更是开启群嘲模式，讽刺陶哲轩患上了“神坛焦虑症”，数学家不过是害怕自己不再是房间里最聪明的人，自尊心受挫罢了。

▲ AI评论员Andrew Curran反驳称，绝症患者根本不会在乎人类是否理解药物机制

就连Hacker News和学术界内部也吵得不可开交。有药物研发从业者指出，人类医学史上诸如阿司匹林等大量药物，在搞清作用机制前早就救了无数人；加州理工学院计算生物学教授Lior Pachter也发帖批评，认为陶哲轩把纯数学与应用数学割裂得过于绝对。

▲ Hacker News高赞讨论帖中，医药从业者与技术极客围绕“三期临床试验与机制理解”展开激辩

然而，那些嘲笑陶哲轩“自恋”的人，恰恰漏掉了这位顶级数学家最毒辣的洞察。

阿司匹林是大自然演化出的植物提取物，它不会主动骗人；但超级AI是一个极其精明的“刷分机器”。 在陶哲轩的设想里，当没有人类能看懂背后的数学模型时，你根本无法区分：AI究竟是真的治好了癌症，还是精准算出了人类三期临床试验统计规则里的某个数学漏洞，用一种“在试验期内刚好掩盖指标、试验一结束就会致命”的毒药完成了奖励黑客（Reward Hacking）？

在纯数学里，机器证书等于绝对真理；但在肮脏、复杂的现实世界里，没有人类理解作为桥梁，最完美的机器证明，可能正是通往灾难的完美陷阱。

04Math 2.0：把AI从“做题家”改造成“透视仪”

那么，陶哲轩是想呼吁封杀AI吗？恰恰相反在PPT的后半部分，他亮出了一套极具野心的建设性蓝图，Math 2.0。

▲ 陶哲轩提出的Math 2.0生态：将“人类理解”放在正中央，用AI强化每一个转化环节

既然AI让“新证明”不再稀缺，最稀缺的宝藏就变成了“人类能看懂的解释”。围绕这一核心，陶哲轩已经在推进四件大事：

1. 悬赏“开放阐释问题”
   ：重点奖励把晦涩证明转化为直观洞见的研究者，引导学界关注理解与诠释。在加州理工学院改版后的数学赛事Mathathon（老问题，新证明）中，学生们正利用AI工具重新拆解四色定理等经典难题，把冰冷的暴力计算变成直观的可视化洞见。
2. 搭建“活态数学网络”（IEANTN）
   ：过去的数学论文是一座座死寂的PDF孤岛。陶哲轩发起“显式解析数论整合网络”，用Lean 4把定理之间的常数依赖建成动态代码库。针对AI生成代码冗长难懂的“阻抗失配”，引导AI输出符合人类模块化思维的高级抽象。
3. 给数学定理做“抽积木实验”
   ：把机器学习里的消融研究（Ablation Studies）引入数学。就像玩层层叠抽积木一样，让AI自动抽掉某个定理里的部分前提条件，看看大厦会不会塌。此时，AI化身为帮人类看清数学骨架的“透视仪”，协助研究者洞察定理的内在结构。
4. 打造科学界自主的开源底座
   ：为了摆脱商业黑盒大模型的垄断，陶哲轩联合多位诺奖、图灵奖与菲尔兹奖得主成立了非营利机构科学与AI研究基金会（SAIR），全力推进Open Math OS与定制开源数学模型。他在PPT结尾预告：“开源数学模型即将发布，敬请期待！”

从9月25位菲尔兹奖得主的联署抗议，到10月加州理工学院深夜的27页PPT，陶哲轩其实在替所有人类知识工作者打响第一枪。

当算力可以用暴力穷举碾平一切“标准答案”时，人类如果还困在旧时代的刷题竞赛里，注定会被机器彻底边缘化。正如陶哲轩在幻灯片结尾处写下的警句：通往Math 2.0的关键瓶颈远在技术与制度之外，它取决于人类自身的想象力。