📰 概要

数学的逻辑正在被改写——这次，是因为AI。

2026年4月，数学家陶哲轩在Mastodon发布了一条重磅判断：

数学正在从「证明稀缺」时代，进入「证明过剩」时代（from an era of proof scarcity to an era of proof abundance）。

AI大幅加速了证明生成过程，配合形式化工具的普及，数学论证规模呈爆发式增长。但问题来了：

AI吐出的证明越来越多，人类消化它们的速度却严重滞后——大量「生肉证明」堆积在GitHub上，没有人去验证。

陶哲轩说：未来数学家最有价值的工作，不是「做出证明」，而是验证它、消化它，把AI给出的生肉证明变成人类真正吃得下的知识。

---

🔍 解读

什么是「生肉证明」？

生肉证明，就是AI生成的、正确但没有人理解的证明。

它可能确实是对的，但：

• 步骤跳跃太大，人类无法理解
• 缺少直觉和解释，只有形式化的符号
• 没有人验证过它是否真的成立

就像生肉——技术上可以吃，但你得花大量时间加工。

问题出在哪？

陶哲轩指出了一个核心矛盾：

AI生成证明的速度 >> 人类消化证明的速度

这会导致：

• 大量证明堆积，无人验证
• 问题被「宣布解决」，但没有人真正跟进
• 研究者失去继续深入的动力——因为他们觉得「AI已经解决了」

更直接的负面效果：这些生肉证明可能杀死人们继续研究这个问题的兴趣。

---

💎 深挖

GitHub上正在发生什么？

AI对Erdős问题的贡献——大量证明被生成并上传到GitHub，但它们没有被真正验证或推进问题的实际进展。

这些证明从技术上是「贡献」，但从学术上，它们是噪音。

陶哲轩直言：这种「贡献」不仅没有推进问题的实际进展（do not measurably advance the progress），反而可能产生负面效果。

数学教育的范式转移

陶哲轩的判断对数学教育有直接影响：

传统观点：「数学好 = 解题能力强」。

AI时代的观点：「数学好 = 能验证和消化AI的证明」。

如果AI可以做出任何证明，那「做出证明」就不再是稀缺技能。

稀缺的是：

• 判断哪个证明是重要的
• 理解证明背后的直觉
• 把形式化的证明转译成人类能理解的知识

这意味着：数学教育需要从「训练解题能力」转向「训练证明消化能力」。

证明的时代没有结束

陶哲轩的原话值得记住：

「证明会越来越多，越来越快，越来越便宜。证明的时代没有结束。但'证明即一切'的时代，正在落幕。」

「未来属于那些不仅能'算出来'，更能'讲明白'的人。」

什么情况不建议用

如果你在基础教育阶段（中小学数学），陶哲轩的警告目前还不需要太担心。

基础数学的核心——理解概念、训练逻辑思维——这些不是AI能替代的。

跳过基础直接依赖AI做证明，就像不学走路就想跑步。没有基础，你连生肉证明是什么都不知道。

但如果你已经在研究阶段，或者你是数学教育工作者，陶哲轩的判断值得认真思考：未来最有价值的数学能力，可能不是你「做证明」，而是你「判断哪个证明值得做」。