AI颠覆数学传统，陶哲轩的担忧揭示了什么？

斯坦福大学的一场演说，让数学领域掀起波澜。

主讲人是陶哲轩——菲尔兹奖获得者，数学界的顶尖人物。

他在分享《新数学工作流》后，立刻在Mathstodon发布了一则声明：

他打算调整自己的工作模式，不再执着于实时跟踪所有新论证。

这并非普通学者的放弃表态。陶哲轩每年审核上百份论文，是全球数学趋势的引领者。当引领者说“不跟了”，风向已然转变。

他的忧虑唤醒了谁？

唤醒了全体知识从业者。数学本是最依赖深思的领域，若连数学家都被AI逼得难以喘息，程序员、律师、医生、分析师，谁能置身事外？

陶哲轩将数学的产出过程分解为三个阶段。

第一阶段，证明生成。

此阶段AI已能大批量完成。GPT-5.5、Claude Opus 4.7、专攻形式化数学的求解器，一夜之间可产出数十条新证明，如同生产线日产。

第二阶段，证明核验。

Lean、Coq等形式化核验工具大半年更新一次。AI结合Lean让核验流程半自动化，审阅者无需逐行手动计算每个引理。

第三阶段，证明消化与领悟。

此阶段完全空白。没有任何工具能协助数学家将机器验证的结果转化为人类可理解的见解。

症结就在此处：前两阶段越迅捷，第三阶段越跟不上。

数千年来，数学始终处于“证明匮乏”的时代。

观察数学论文的署名惯例便知，其他学科早已习惯10人、20人、50人合著的常态，数学百年来一直保持1-2人署名。

一条定理需耗费数年甚至数十年，Andrew Wiles闭关7年才证出费马大定理。

AI时代，数学的境况是：证明过剩。

Erdős问题网站（数学界知名未解难题列表）已有约20项AI辅助解题方案处于积压待审状态。提交者坦言：根本没有时间手动核验。

陶哲轩反复强调一句话：

“数学不只是一堆互不相关的定理的集合，它上面有一整套系统。”

证明是砖。但建筑不是砖堆。

当AI能无限供应砖块时，建筑师比砖匠更重要。问题是，连建筑师都快被埋在砖堆下了。

AI生成的证明有四个特点：

一道题被AI解出，但数学界对这道题的理解没有增加一毫米。

这正是陶哲轩忧虑的根源。

显性目标（证明某个定理）和隐性目标（理解为什么、发现后续问题、让研究者变得更强）被分离了。

古德哈特定律开始生效：当一个衡量标准变成目标，它就不再是好的衡量标准。

“谁第一个证明了这个定理”曾是衡量数学进步的好指标。AI让证明速度可被无限加速，但理解不能。继续按旧规则玩，反而阻碍数学发展。

陶哲轩提出一个比喻：证明是砖，数学家是建筑师。

AI时代，砖匠（生产证明）可被机器无限替代，建筑师（理解证明、构建知识体系）反而日益稀缺。

但建筑师面临一个困境：砖块涌得太快，建筑师快被埋在砖堆下了。

陶哲轩自己就是建筑师，他每年审阅上百篇论文，理解新证明、梳理关系、提炼思想。现在他公开承认：跟不上了。

这不是认输，是要求改游戏规则。

他提议为AI重度使用设计专门的数学竞赛，评判标准不再是“谁先证出来”，而是：

奖项、期刊、招聘评价，所有建立在证明匮乏时代之上的制度，都要重做。

陶哲轩的演讲，表面在说数学，实际在说所有知识从业者。

数学的本质，不是积累正确证明的数量，是让人类理解这个世界为什么是这样运行的。

当AI把“证明速度”变成可无限加速的生产线时，人类的价值从“证明者”转向“提问者”和“判断者”。

程序员不是比AI写代码更快，而是比AI更懂为什么要写这段代码。律师不是比AI检索案例更快，而是比AI更懂案例背后的法律逻辑。

医生不是比AI诊断更快，而是比AI更懂治疗方案对病人生活的意义。

千年来，数学家比谁先证出来。从今天起，比的是谁更能读得懂AI的证明。

知识从业者也一样。当工具比你强，你还能剩什么？

答案不是“更快”，而是“更懂”。

陶哲轩忧虑，是因为数学界还没准备好“更懂”的标准。你的行业呢？

关注「文左灬刀右」，一起看懂AI时代的规则变化。

证明堆得越高，建筑师越稀缺。别做砖匠，做建筑师。