2026年7月国际数学家大会上，菲尔兹奖得主陶哲轩公开警告：数学正面临百年新危机——当AI能以极低成本批量产出正确却无人能懂的证明，整个学科将在“证明过剩”中瓦解自我消化的能力。
一、AI批量生成证明，击穿了数学的消化体系
从稀缺到过剩：过去数学的荣誉体系建立在“证明稀缺”之上，而如今AI正以每道题10至1000美元的成本批量生成达发表水准的证明，数学进入“证明过剩”时代。
证明消化不良：陶哲轩用电工术语“阻抗失配”形容危机——AI加速了证明生成，但验证、理解、消化的速度跟不上，大量正确却无人能懂的证明正在堆积。
验证链断裂：有些AI证明连提交者自己都坦言“没有能力验证”，部分数学题库已堆积几十份AI证明无人愿意审核背书。
二、光滑文本抹平认知痕迹，切断数学传承
“无气味”证明：AI生成的证明逻辑完备，却剔除了人类探索时的挣扎痕迹，读者无法从中获得“原来还能这么想”的认知锚点。
认知地图失效：陶哲轩展示了自己年轻时在Bourgain论文上的批注——“I hate Jean Bourgain”，说明人类证明的价值在于标注“哪里是悬崖”。
阻力即意义：AI把难易之处写得同样光滑，读者失去判断“何处值得深挖”的线索，理解能力面临退化风险。
三、评价体系失灵，数学价值观遭遇重构
目标脱钩：陶哲轩引用古德哈特定律指出，当“解题数”被AI推向极致后，这一指标将彻底失效，不再能代表学术价值。
角色迁移：数学家的核心能力正从“证明创造”转向“问题筛选”“意义判断”与“阐释转译”等后端环节。
规则重建：陶哲轩提出硬性标准——若作者无法就成果做一场清晰、专家级的报告，这个结果就不应发表。