据动察 Beating 监测，华裔数学家陶哲轩在国际数学家大会（ICM）演讲中称，数学正进入一场关于价值观和研究方式的基础危机。ICM 每四年举办一次，菲尔兹奖也在大会开幕式颁发。 他先设定一个前提：AI 很快能以合理成本，完成相当比例的研究级数学任务。First Proof 最新测试中，四套 AI 系统面对 10 道全新研究问题，至少一套系统以可发表质量解出了其中 7 道。单题算力成本为 10 至 1000 美元。 陶哲轩认为，数学将从「证明稀缺」进入「证明过剩」。AI 生成的证明会堆着等验证；验证后的结果还要等人写清楚、审稿、消化，最后整理进教材和领域公认理论。 真正稀缺的能力将不再只是第一个解出问题，而是判断结果是否重要，把证明讲明白，并变成人类共同理解的知识。如果作者如果无法清楚、准确地讲解自己的成果，即使证明由 AI 生成并通过验证，也不应该发表。