10月7日，OpenAI一口气发布722篇数学手稿，其中两篇论文声称在“挂谷猜想”取得重大突破：不仅证明了比今年7月菲尔兹奖得主王虹版本更强的三维挂谷极大函数猜想，还将四维挂谷猜想维数直接证到4。该成果基于王虹等人类数学家的研究，但未经同行评审与形式化。此举引发数学界剧烈震荡，陶哲轩牵头发表声明全面抵制OpenAI，批评其“批量刷题”剥夺了人类探索新方法的思考过程，担忧审稿成为瓶颈；而Yann LeCun等人则认为AI将推动数学进入自动化新时代。人类数学研究正面临新旧秩序的激烈碰撞，下一届菲尔兹奖是否还有人类得主引发深思。

9月14日，25位菲尔兹奖得主联合发布声明警告AI正毁掉数学。但几乎同时，美国加州两名高中生在UCLA博士后指导下，借助AI工具攻克了菲尔兹奖得主许埈珥未能解决的洛伦兹多项式有界比率问题，75页论文已发布在arXiv平台。这两名高中生具备扎实数学功底，他们利用大模型辅助数值计算与思路启发，核心逻辑推导均由团队独立完成。该论文成功将二次多项式结论拓展至任意次数。在AI引发争议的当下，此举展现了人机协作破解前沿难题的潜力。

当地时间9月11日，陶哲轩、邓煜等25位菲尔兹奖得主联合发布声明，警告AI正毁掉数学。声明指出，AI企业将“快速解题”作为衡量大模型能力的核心标尺，与数学研究形成新概念、建立逻辑洞见的本质严重错位。一味追求AI快速证明，将催生人类难懂的文本，压缩同行评审空间并引发学术伦理问题，长期将破坏科研生态。学者强调不反对AI辅助研究，但反对资本单向定义数学价值。此前8日，OpenAI宣布其大模型接连攻克纳维-斯托克斯问题及Erdős猜想等困扰人类数十年的数学难题，引发学界紧迫担忧。

当地时间7月23日，在费城举行的国际数学家大会上，新晋菲尔兹奖得主Jacob Tsimerman获奖当天即宣布加入OpenAI，专注AI安全研究。他因证明悬置近40年的André-Oort猜想获此殊荣。Jacob曾预言AI两年内将超越数学家，甚至发表过“AI灭绝人类”分类学论文，他表示与其抵制不如进场参与塑造。戏剧性的是，颁奖前三天，其在Anthropic任职的学生刚用AI一夜推翻87年悬案雅可比猜想，如今师徒分属两大AI巨头。本届菲尔兹奖终结三大世纪悬案，随着AI大厂对数学人才争夺白热化，数学与AI融合正加速到来。

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加速数学研究的能力。团队认为，自动形式化将彻底变革数学知识体系。目前代码已公开发布。