纽约大学数学家特里斯坦·巴克马斯特与Anthropic研究员莱文特·阿尔珀格以个人身份合作研究欧拉方程和纳维-斯托克斯方程相关问题近一年，借助AI工具完成部分计算和形式化验证。研究进展在社交媒体流传后，OpenAI调动大批AI智能体集中研究同一方向，模型在88小时内给出相关证明。双方随后分别发布成果，巴克马斯特质疑OpenAI介入研究的方式，OpenAI否认在成果公开前接触对方论文。
菲尔兹奖得主陶哲轩在2026年8月接受《新科学家》杂志深度访谈，警告数学界只剩几个月应对AI带来的结构性危机。他称AI以每周攻克数道数学难题的速度推进，数学正从“证明稀缺”转向“证明过剩”，人类消化能力跟不上AI产出。他列举了Gemini十分钟解决Erdős问题367、Astra产出10项成果、Claude Fable 5参与雅可比猜想反例等案例，并指出AI解决真实难题成功率仅1%-2%。