陶哲轩在SAIR演讲中警告AI数学加速风险，呼吁放慢脚步

2026年3月，陶哲轩在IPAM会议上公开呼吁同行别太死板，称当前AI在数学和理论物理领域已经“ready for primetime”，能省去大量无用功；同月接受《MIT科技评论》专访时，他断言数学正经历一场哥白尼革命。他此前受访时还表示，未来甚至连初中生都能借助AI+Lean的方式对数学前沿研究做出贡献。

到了SAIR最新演讲，他的措辞完全转向：AI公司无休止地加速，却对那之后会发生什么一无所知，“必须慢下来。完全没理由这么快，一点理由都没有”。从2026年3月到这次演讲，态度转变的时间跨度约为半年。

需要说明的是，本文所依据的是一篇二手转述报道，陶哲轩演讲原文与OpenAI官方声明原文均未在来源中直接给出，演讲的具体日期与SAIR会议全称也未明确。因此下文对其论证结构的还原，应视为对该报道所述内容的整理，而非对演讲全文的独立核验。

陶哲轩给出的分析框架是：一个数学证明正常的完整生命周期通常有五个环节——提出解答、机械验证（如Lean形式化证明语言检查通过）、阐释工作、同行评审、写入教科书。

他的判断是，AI模型如今只在第一步“生成解答”和第二步“Lean形式化验证”上疯狂加速，而后面三步——理解、消化、写教科书——进度几乎为零。报道中的描述是：AI在不停碾压重大猜想，但没有任何人做报告，没有人写论文，甚至连按下回车键生成证明的人，都搞不明白刚刚发生了什么。

这个框架的关键在于，它把“AI能不能做出证明”和“数学界能不能吸收这个证明”拆成了两个问题。前者已经被AI解决，后者没有。陶哲轩把由此产生的知识拥堵称为Proof Indigestion（证明消化不良）。

他用了一个交通比喻：20世纪初，原有的街道是为行人和马车设计的，汽车突然被发明并直接涌入同一条街道，结果造成全面的拥堵与瘫痪。这个比喻指向的不是汽车不好，而是道路系统没有同步升级。