OpenAI宣布求解纳维-斯托克斯方程——七大数学难题之一
基本属实
OpenAI正式宣布，其系统在纳维-斯托克斯方程这一千禧年大奖难题上找到解法。不过，该解法尚未通过独立验证，克雷数学研究所（CMI）也未予认可，其数学真伪目前仍处于待验证状态。
OpenAI가 수학 7대 난제 중 하나인 나비에-스토크스 방정식의 해법을 찾았다고 발표했다
宣称内容与当前状态
根据OpenAI官方发布及配套的Lean形式化证明代码库，该公司称已在纳维-斯托克斯方程问题上取得突破。该方程是克雷数学研究所列出的七个千禧年大奖难题之一，悬置已逾百年。
但需要强调的是，“OpenAI宣布找到解法”与“问题已被解决”是两回事。目前没有任何独立机构完成对该证明的复核，CMI的官方认定程序也未启动。数学界对证明真伪的最终判断，仍需等待通常长达数月的审查与同行验证。
形式化证明的意义
OpenAI同步公开了Lean代码库。Lean是一种可机器检验的证明助手语言，若代码通过机器检查，意味着证明在形式逻辑层面自洽。但形式化验证只能排除逻辑错误，无法排除定义、假设设定层面的争议，这正是以往多项数学声明争议的焦点所在。
对行业的影响
若声明最终获得验证，这将是AI首次在克雷级数学难题上取得实质成果，对LLM在形式化推理领域的能力是重大佐证。但在CMI或独立验证给出结论之前，对此次突破的评价应保持克制。
就目前公开的信息而言，“OpenAI宣布找到纳维-斯托克斯方程解法”这一事实基本属实。
Verdict: 基本属实
Sources — primary documents (12)
- https://openai.com/index/navier-stokes-solution/
- https://www.claymath.org/millennium-problems/navier-stokes-equation.html
- https://www.theguardian.com/science/2026/sep/08/openai-claims-to-have-solved-maths-problem-that-stumped-humans-for-decades
- https://www.theguardian.com/science/2026/sep/08/openai-claims-to-have-solved-
- https://www.claymath.org/millennium-problems/
- https://www.claymath.org/wp-json/wp/v2/pages?search=navier
- https://www.claymath.org/millennium-problems/rules/
- https://www.claymath.org/
- https://www.claymath.org/millennium/navier-stokes-equation/
- https://www.claymath.org/news/
- https://www.claymath.org/wp-content/uploads/2022/03/medal7_0.jpg
- https://cims.nyu.edu/~tristanb/statement.pdf