New Scientist 发表长文称，数学正在经历其历史上最大规模的变革。AI 已成功验证了乌克兰数学家 Maryna Viazovska 的球堆积（sphere-packing）证明——这一证明解决了 8 维和 24 维空间中球体如何最密集排列的问题，Viazovska 因此获得 2022 年 Fields 奖（数学界最高荣誉）。
同时，OpenAI 和 Google DeepMind 的 AI 模型也在参与解决 First Proof 挑战问题。
关键事件
- AI 验证 Fields 奖级证明：高维球堆积证明首次通过 AI 完成形式化验证
- First Proof 问题：一批数学难题公开后，AI 模型迅速涌入，多家科技公司参与解题竞赛
- 数学形式化：Lean 等形式化证明语言与 AI 结合，正在改变数学研究工作流
潜在影响
这标志着 AI 在数学领域已从「辅助工具」升级为「能够独立完成复杂推理」的系统。专家认为，在未来 5-10 年内，AI 有望成为数学研究中不可缺少的核心协作者，而不只是搜索引擎或计算器。