OpenAI在2026年9月8日宣布利用人工智能生成了纳维-斯托克斯方程存在性和光滑性问题的解决方案,并提供了Lean形式化证明和非形式化手稿。然而这一宣布随即引发数学界的广泛质疑。

OpenAI宣布其AI模型找到了千禧年大奖问题之一的纳维-斯托克斯方程的解。该公司使用10,000个AI代理和一个新实验模型,在88小时内完成了计算,随后又耗时17小时进行验证。
OpenAI于9月5日通过内部AI Agent解决了纳维-斯托克斯存在性与光滑性问题,这是七个千禧年大奖问题之一,每项悬赏100万美元。该Agent在约88小时内完成求解,验证过程耗时17小时,共发送490万条消息并使用约3000亿个输出Token。按公开API价格估算,该项目的计算成本约为1500万美元。
OpenAI宣布其AI模型已解决千禧年大奖问题中的纳维-斯托克斯存在性与光滑性问题,该项目运行约10,000个并发Agent,花费数百万美元。然而这一声明随即陷入学术诚信风波——纽约大学数学家Tristan Buckmaster指控OpenAI未恰当引用其与Anthropic员工Levent Alpöge的相关研究。
数学家在arXiv上发表论文,证明了一个平均化的三维纳维-斯托克斯方程变体在有限时间内会产生爆炸(解不存在),同时该方程仍然保留能量恒等式 。这是首次在三维情况下展示满足能量恒等式的纳维-斯托克斯型方程的有限时间爆炸现象 。