OpenAI内部模型Astra在数学及理论计算机科学领域解出了10个悬疑多年的开放难题，或取得实质性进展，涵盖高维几何、编码理论、算术电路复杂度、群论、算子代数、量子复杂度、格密码学和极值组合学。解决这些问题通常需至少10位数学家耗费大量时间，而Astra仅用约2000美元token即完成。这显示AI在数学求解上的能力已超越博士水平并加速提升。数学家陶哲轩将AI对数学的冲击比作一百多年前的数学基础危机。OpenAI反对将AI生成的证明归于人类作者，认为署名应真实反映产生方式，其协助准备论文并在Lean中形式化证明，对正确性负责，但数学论证本身由系统生成。两个月前，全球3423名数学家签署《人工智能与数学的莱顿宣言》，获国际数学联盟支持，强调研究成果应归于特定作者，人类保留对正确性的责任，AI不具备作者资格。OpenAI未署名Astra，而采取混合路线：Astra负责论证发现，人类准备论文并形式化证明，署名OpenAI。这些论证仍待验证。陶哲轩在2026国际数学家大会发言中提到，若AI生成超长证明且机器确认形式正确，但无人真正理解，数学共同体将面临危机。他引用威廉·瑟斯顿1994年文章称，证明须进入人的理解，不能成为孤立技术成就。这引发根本问题：机器学习和智能是否超越人类至无法验证理解的程度？若AI产生的内容脱离人类理解，对科学共同体的意义何在？科学证伪性若因AI而失效，科学根基何在？危机已现：最新菲尔兹奖得主Jacob Tsimerman加入OpenAI，Timothy Gowers断言AI将在解题、出题、建理论等环节超人类。AI数学求证能力可能很快达到另两位得主邓煜和王虹的水平。陶哲轩认为数学证明将过剩，数学家主要价值转向选择、验证、解释并传播证明。未来研究过程可能由AI主导求证，人类负责提出问题、产生思想、形成框架、配置算力。关键在于人类能否在AI求证基础上提出更好问题、达到更深刻理解。