陶哲轩为什么说数学面临百年危机？

　　菲尔兹奖得主陶哲轩在2026年7月的国际数学家大会（ICM）上发出警告：数学正在迎来一场“百年危机”，而这次受冲击的不是逻辑地基，而是整个数学界的价值观与工作方式。

　　一、从“证明稀缺”到“证明过剩”的范式切换

　　核心判断：陶哲轩认为，随着AI以极低成本批量生成数学证明，数学正从“证明稀缺”时代进入“证明过剩”时代。

　　能力佐证：独立评测First Proof在2026年5月对四套AI系统进行测试，10道全新研究级题目中，AI以“可发表质量”解决了7道，单题算力成本仅为10至1000美元。

　　“消化不良”：AI擅长生成证明，但人类验证、理解、消化的速度跟不上，陶哲轩将其称为“证明消化不良”。

　　二、AI证明的“无气味”与“光滑文本”困境

　　认知断层：AI生成的证明逻辑正确但缺乏人类证明中的思维痕迹，读完不会留下认知线索，陶哲轩形容为“像收到来自未来的信号”。

　　难度扁平化：AI写作过于丝滑，无法区分初等结论与深层突破，导致数学文献丧失“难度梯度”这一隐性导航系统。

　　验证危机：埃尔德什问题网站上已堆集几十份AI生成的证明，大多大概率正确，但没有人愿意为它们验证背书，甚至提交者自己也看不懂。

　　三、人类数学家的新角色与应对之策

　　角色转型：数学家的核心能力正在从“证明创造”转向“问题筛选”与“意义判断”，成为数学思想的“策展人”。

　　经验法则：陶哲轩给出硬标准——“如果作者不能令人信服地就成果做一场清晰、专家级的报告，那么这个结果就不应该被发表”。

　　《莱顿宣言》：他支持披露AI使用、降低“第一个解出”权重、提高“消化”权重，并强调“用了AI，正确性和引用的责任完全归人类作者”。