陶哲轩在2026年国际数学家大会（ICM）上发出重磅预警：数学正从"证明稀缺"走向"证明过剩"，AI能批量产出证明，但人类已无暇验证与消化，一场"百年新危机"正在逼近。
一、AI攻破数学难题的实绩与冲击
解题能力惊人：在"First Proof"评测中，AI以10至1000美元的单题算力成本，解出了10道研究级新题中的7道，达到可发表水平。
接连推翻旧猜想：2026年夏天，AI连破雅可比猜想、六维球面等困扰数学界数十年的难题；OpenAI模型还推翻了悬置80年的Erdős单位距离猜想。
人类来不及反应：有人与AI对话一小时后提交证明，陶哲轩本人却花几天才改写为人类可读的版本——"一小时产出，几天消化"。
二、核心危机：「证明消化不良」与数学五步骤
五步闭环受阻：陶哲轩指出，一个数学成果需经历生成、验证、表述、发表、正典化（写入教材）五步，AI只加速了第一步，后四步仍依赖人类。
定义新病症：他将当下困境命名为"证明消化不良"——AI产出的待验证解法过多，专家已无法逐一审阅，连他自己也跟不上领域内最新进展。
光滑文本的陷阱：AI生成的证明在常规处冗长、在关键创新处一笔带过，掩盖了真正值得学习的思考痕迹，易让读者产生"读完即懂"的错觉。
三、人类数学家的不可替代价值
理解是核心使命：陶哲轩强调，"数学的衡量标准不是定理的生产，而是让人们更清楚地理解和思考"，阻力不是理解的障碍，而是理解的发生机制。
提出好问题胜过解题：当答案唾手可得，提出有价值的问题、判断证明的重要性与阐释意义，成为数学家新的护城河。
警惕过度优化：他警告，若AI替代研究生解决"训练题"级项目，下一代科学家的训练链将断裂，"我们可能会优化掉当前技术能做的一切，但再也发展不出真正原创的新想法"。