陶哲轩：AI 正在让数学界“证明消化不良”
核心一句：“我自己已经不再试图跟上本领域所有最新进展了。有时候事情实在太多，我没法保证读完每一个新出现的结果。”
—— Terence Tao
过去几百年，数学是稀缺经济：
• 一个重大问题的解，几十年、上百年才出现一次；
• 一旦出现，顶尖专家会放下手头工作，全员围读；
• 证明、理解、讲述、写进教材，通常由同一批人完成。
AI 改变的是第一条链路：生成证明。
陶哲轩在 ICM 演讲和后续访谈中反复说：
数学正在从 proof scarcity（证明稀缺） 走向 proof abundance（证明丰裕），甚至 proof indigestion（证明消化不良）。
AI 可以在几小时里抛出几十个“看起来像样”的解法；但人类专家还是只有 24 小时，还是得慢慢读、慢慢验证、慢慢讲给人听。
二、“我跟不上了”到底指什么
陶哲轩原意不是“我读不懂数学了”，而是：
1. 新结果太多：AI + 人类混合产出，字段里每天都有新猜想、新变体、新“已解决”声明。
2. 待审结果堆积：像 Erdős 问题库里，AI 提交的解法堆在 “pending assessment”，没人审。
3. 验证不等于理解：Lean / Coq 能告诉你“逻辑对不对”，但不能告诉你“为什么这是好证明”。
4. 写清楚比证出来更难：AI 生成的证明常常“太光滑”——每一步都对，但缺少人类写作里的摩擦、动机、直觉和路标。
5. 教材化、经典化严重滞后：能生成 100 个证明，不代表数学共同体真把其中 1 个消化进知识体系。
所以他说的“跟不上”，是认知带宽和学术基础设施跟不上产出速度。
三、陶哲轩的五阶段框架
他把一个数学结果从“冒出来”到“成为数学的一部分”拆成五步：
1. 生成：提出并写出证明
2. 验证：确认逻辑正确
3. 表述：写成人类能读、能教、能复用的论文
4. 发表 / 评审：进入同行评议系统
5. 经典化：被领域吸收、写进综述和教材
AI 极强的是第 1 步，第 2 步有形式化工具兜底；
第 3、4、5 步却严重依赖人类判断、社区共识和时间。
于是出现他常说的：
阻抗失配（impedance mismatch）
生成端是消防水龙头，消化端还是手工小水管。
四、他的原话式总结
综合陶哲轩在播客、ICM、Mastodon、Big Think 里的表达，可以归纳成这段话：
AI 工具正在加速数学过程的早期阶段，但不是后期阶段。
我们现在生成很多证明，也验证其中一部分；
但“理解它们、把它们整理成最终知识形态”的速度，还是由人来完成。
突然之间，大量待处理的解法涌过来：
它们应该被理解、应该进教科书，但我们被淹没了，只能挑、只能分诊。
以前一个大奖级问题被解决，所有专家都冲上去读；
现在一堆可能的解法同时砸下来。
我自己都已经不再试图跟踪自己领域里所有新进展了。
这比“没有足够食物”好——但依然是问题。
我们需要更好的筛选、策展和过滤机制。
五、为什么“跟不上了”是结构性危机
陶哲轩更深的判断是：
• 数学的目标不是“多出定理”；
• 而是理解结构、形成方法、培养下一代、建立共享知识网络。
当 AI 把“解题”变成低成本批量生产：
• 期刊被淹没；
• 审稿人 burnout；
• “谁先解决”变得没意义；
• 研究生训练问题被 AI 顺手做了；
• 但学生却没机会在痛苦试错中长成数学家。
他说过一句很重的话：
如果研究生的活都被 AI 干了，我们不会得到下一代科学家。
六、AI 像直升机，不像徒步者
陶哲轩有个著名比喻：
• 传统数学：你徒步去找瀑布，画错地图、迷路、最后懂得地形；
• AI 数学：直升机直接把你放到瀑布前，你看一眼又被送回来；
• 你到了答案附近，却不一定懂“怎么到那儿”。
所以 AI 的价值是：
• 扫文献；
• 试已知方法；
• 给反例；
• 做数值实验；
• 形式化繁琐估计；
• 在 80% 的“已知技术组合”问题上提速。
但真正难的 20%：
已知方法全失败以后，该发明什么新东西？
这个问题 AI 还不会。
七、陶哲轩的结论：稀缺的不再是答案，而是理解
他把问题从“AI 能不能做数学”扭到：
如果 AI 真能做一部分数学，那数学共同体要不要重新定义“贡献”？
他主张：
1. 披露 AI 使用情况；
2. 作者对“自己能否向专家解释结果”负责；
3. 不把“生成了很多证明”当成就；
4. 奖励选题、判断、叙述、教学、体系化；
5. 让数学家从“证明写手”变成“知识策展人 / 架构师”；
6. 数学别被 AI 公司的 benchmark 带偏——解名题不是目的，概念理解才是。
这不是失败，但是数学一百年来第一次遇到的“富余型危机”。
登录后免费查看全文
著作权归作者所有，欢迎分享，未经许可，不得转载
首次发布时间：2026-09-25
最近编辑：26分钟前
理无专在，而学无止境也，然则问...
还没有评论
相关推荐
最新文章
热门文章
