菲尔兹奖得主陶哲轩在2026年国际数学家大会上发出“数学百年危机”警告，其核心正是他提出的“证明消化不良”——AI生成数学证明的速度已远超人类验证、理解和消化的能力，数学正从“证明稀缺”走向“证明过剩”时代。
一、什么是“证明消化不良”
定义：陶哲轩用“证明消化不良”描述AI时代数学界的新困境——AI能够以极低成本批量生成数学证明，但人类数学家没有足够时间和精力去验证、理解这些成果。
现实案例：在埃尔德什问题网站上，已堆积几十份AI生成的证明提交，其中不少大概率正确，但至今没有人类专家愿意验证和背书，有些提交者自己都承认“没这个能力验证”。
核心矛盾：AI最擅长的是证明的“生成”环节，而后续的验证、阐释、共同体接受和纳入教科书，都是必须由人类完成的缓慢过程，难以用算力加速。
二、为什么会导致这场危机
AI能力突破：在First Proof独立评测中，AI以每道题仅10至1000美元的成本，解决了10道研究级新题中的7道，且达到学术期刊发表水准。
流速不匹配：陶哲轩用“阻抗失配”来描述——AI将证明生成端加速到极致，但验证、理解、消化环节的流速跟不上，整个系统因此失效。
文本“过度光滑”：AI生成的证明在简单处啰嗦、在关键处一笔带过，因为AI没有“卡住”的体验，不知道哪里会让人困惑，读者因此失去了理解数学所需的“挣扎痕迹”。
三、数学界如何应对新挑战
规则重构：陶哲轩支持《莱顿人工智能与数学宣言》，主张披露AI使用、降低“第一个解出”的权重、提高“消化”环节的权重。
人类负责制：无论用了多少AI，作者必须对成果正确性负全责；如果无法就成果做一场清晰、专业的报告，就不应发表。
价值重估：陶哲轩强调，数学的目标不是“生产更多答案”，而是“创造更多理解”——AI可以加速发现，但理解只能在一个个人脑中、以克服困难的方式缓慢生长。