2026年5月，OpenAI的一款通用模型首次自主解决了一个已困扰数学界80年的未解难题——埃尔德什提出的单位距离问题。该问题探讨平面上n个点之间最多能有多少对点的距离恰好为1。过去数学家普遍认为最优解是线性增长，但AI通过代数数论方法证明了超线性增长的可能性，打破了长期共识。菲尔兹奖得主高尔斯称这是AI在数学领域的首个重大突破。更令人惊讶的是，这款模型并非专攻数学的专用AI，而是通用大模型。负责该项目的Noam Brown表示将尽快发布该模型。这一成果也引发热议，数学家Thomas Bloom称赞其为AI在数学领域最亮眼的成就。

2026年5月，菲尔兹奖得主Timothy Gowers测试ChatGPT 5.5 Pro，仅用17分钟完成一项数学难题的论文级成果，引发对数学研究未来的担忧。Gowers警告，AI正快速提升解决数学问题的能力，博士生的入门研究门槛被大幅抬高，传统培养体系面临危机。与此同时，另一位菲尔兹奖得主陶哲轩提出‘证明消化’仍是人类不可替代的价值，强调数学学习中的‘自然难度’不可或缺。两位顶尖数学家从不同角度探讨了AI时代数学研究的意义与方向，呼吁重新思考学术价值与人机协作模式。

2026年3月，Math公司开发的AI Agent Gauss在一周内独立完成了菲尔兹奖级数学成果的形式化验证，涉及Maryna Viazovska在8维和24维最优球体堆积问题上的研究。这一成果原需6个月完成，现生成20万行Lean代码，成为历史上最大规模的单一目的形式化项目。Gauss还检测并修正了原论文中的细节错误，展示了AI加速数学研究的能力。团队认为，自动形式化将彻底变革数学知识体系。目前代码已公开发布。