陶哲轩警告：数学正面临百年危机，AI让证明过剩

　　2026年7月，菲尔兹奖得主陶哲轩在国际数学家大会（ICM）上公开拉响警报：数学正迎来一场百年危机——不是逻辑的地基出了问题，而是当AI能以极低成本批量产出正确证明时，人类根本来不及验证和理解，数学正从“证明稀缺”滑向“证明过剩”。

　　一、从神童到传奇：陶哲轩的学术坐标

　　天才轨迹：1975年生于澳大利亚，2岁学会阅读，7岁自学微积分，8岁半升入中学，13岁获国际数学奥林匹克金牌，16岁获学士学位，17岁获硕士学位。

　　巅峰成就：21岁在普林斯顿大学获得博士学位，24岁成为加州大学洛杉矶分校最年轻的正教授，31岁斩获菲尔兹奖，是此后近二十年里唯一获此奖的华人。

　　学术版图：研究横跨调和分析、偏微分方程、组合数学、解析数论等多个领域；2022年推翻周期性平铺猜想，2024年联手60多位数学家推出数学基准FrontierMath。

　　二、警报核心：AI颠覆了数学的“价值地基”

　　数据冲击：2026年5月FirstProof独立评测中，10道全新研究级难题，4套AI系统在单题成本10到1000美元的条件下解出7道，达到可发表水准——这个速度“比我想的快”。

　　工作假设：陶哲轩不纠缠“AI行不行”，而是提出一个策略——假设AI很快就以合理成本完成相当比例的研究级数学任务，再追问“数学到底图什么”。

　　古德哈特定律：当“解题数”成为被过度优化的指标，它会丧失衡量学术价值的意义——过去各目标正相关，AI会把单一指标推到极致，使指标彻底失效。

　　核心病症：他称之为“证明消化不良”——AI生成的证明堆着等验证，验证完的堆着等人读，发表了的也来不及整理成定论，数学从“证明稀缺”进入“证明过剩”。

　　三、重新定义：人类数学家的护城河

　　完整链条：一个数学成果真正算数，需走完生成→验证→阐释→共同体接受→整合进标准理论五步，AI只加速了最前端的“生成”。

　　角色迁移：数学家的核心能力从“证明创造”转向“问题筛选”和“意义判断”——AI生成1000个弱命题，人类要识别哪个通向终极证明，这不是技术问题，而是品味问题。

　　硬性标准：陶哲轩给出全场最硬的一句经验法则——如果作者不能令人信服地证明自己可就成果做一场清晰、专家级、正确且归属得当的报告，那么这个成果就不应发表。