菲尔兹奖得主陶哲轩在2026年国际数学家大会上发出预警：当AI能以一顿午餐的成本批量生产数学证明时，数学正从“证明稀缺”迈入“证明过剩”的百年新危机。
一、AI破解数学难题的实战战绩
FirstProof评测：在2026年5月受控测试中，10道全新研究级难题，AI解出7道且达到期刊发表水准，单题算力成本仅10至1000美元。
经典猜想突破：OpenAI内部推理模型自主推翻悬置80年的“单位距离猜想”；DeepMind的AlphaProofNexus解决9道埃尔德什难题，其中2道悬置56年。
具体案例：GPT-5.2 Pro花一周、数百美元攻克埃尔德什问题库第281号数论难题，陶哲轩亲自验证后称“没犯任何错误”；第367号问题全流程由陶哲轩借助AI辅助完成，从证明草案到形式化验证。
二、陶哲轩的“百年危机”研判
危机本质：AI冲击的不是逻辑地基，而是数学共同体的价值观与工作方式——上一次类似危机是百年前的罗素悖论与哥德尔不完备定理。
范式转变：数学从“证明稀缺”进入“证明过剩”时代，AI擅长的只是证明生成的第一步，而验证、阐释、共同体接受、写进教材等后续环节成为新瓶颈。
“证明消化不良”：AI生成的证明堆积如山，却无人能验证和理解，人类从“解题者”变成“看不懂答案的读者”。
三、数学界的应对规则与人类价值
《莱顿宣言》：2026年6月由国际数学联盟背书，要求披露AI使用、人类作者负全责、降低“首个证明”权重而提高“消化”权重。
陶哲轩的硬性标准：如果作者无法就成果做一场清晰、专家级的报告，即使通过形式化验证也不应发表。
人类不可替代的价值：数学直觉、“卡住”后的认知痕迹、跨领域迁移能力、价值观与伦理判断，以及将AI发现转化为人类理解的“翻译”能力。