OpenAI宣布攻克纳维尔斯托克斯方程千禧年难题

2026年9月9日，OpenAI宣布其内部AI系统完成了对纳维斯托克斯方程存在性与光滑性问题的解答，并公开相关论文及Lean形式化证明。

该方程是千禧年大奖难题之一，也是流体力学核心理论基础。OpenAI表示，证明由内部多智能体系统完成，背后的模型能力显著超过GPT-6 Astra。系统最终证明，一个初始光滑且静止的流体，在受到光滑外力作用后，可以在有限时间内形成奇点。

这一结果能否获得数学界认可尚需时间。若获认可，意味着AI已开始参与解决长期困扰顶尖数学家的难题。