Navier-Stokes解决了吗？2026年9月更新

资料状态核查日期：2026-09-12（JST）。9月8日，OpenAI宣布三维不可压Navier–Stokes在光滑外力下发生有限时间爆破，声称满足Clay的选项C和D，并公开了论文稿和Lean形式化。9月11日，Clay表示问题“看来已得到解决”，并说明评估和功劳归属将有意从容进行。这不是颁奖公告，也不是本站对证明的验证。

一手资料: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Clay官方问题陈述.

无外力三维Navier–Stokes的全局正则性仍未解决：所宣布的有外力构造并不解决这一问题。以下技术讨论中的正则性和唯一性未解问题，除非明确另述背景，均指无外力系统。

另见： Navier-Stokes存在性与光滑性

外力是速度方程中的外部作用，并不是力本身变成无穷大。所宣布的构造从静止出发，使用光滑的力。总动能有界并不排除速度在越来越小的尺度上集中。这是数学模型，不是说真实的水会达到无限速度。Clay的声明并未颁奖。

资料状态核查日期：2026-09-12（JST）。9月8日，OpenAI宣布三维不可压Navier–Stokes在光滑外力下发生有限时间爆破，声称满足Clay的选项C和D，并公开了论文稿和Lean形式化。9月11日，Clay表示问题“看来已得到解决”，并说明评估和功劳归属将有意从容进行。这不是颁奖公告，也不是本站对证明的验证。

一手资料: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Clay官方问题陈述.

无外力三维Navier–Stokes的全局正则性仍未解决：所宣布的有外力构造并不解决这一问题。以下技术讨论中的正则性和唯一性未解问题，除非明确另述背景，均指无外力系统。

原稿声称，对任意黏性 $\nu>0$，存在光滑紧支撑外力 $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$，初速度为 $u_0=0$，解在 $0\leq t<1$ 上光滑，速度的 $L^2$ 范数一致有界，但 $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$。外力在奇异时刻仍光滑。定理1.1声称全空间破裂，推论10.6给出周期破裂。这是对原稿陈述的介绍，不是本站的证明验证。 OpenAI — Navier–Stokes (PDF), 1.1 / 10.6.

准确地说:给定光滑、无散初值$u_0 \in C^\infty(\mathbb{R}^3)$且具有适当衰减(或在$\mathbb{T}^3$上),目前未知是否存在唯一光滑解$(u, p)$对所有$t \geq 0$使得$u \in C^\infty(\mathbb{R}^3 \times [0, \infty))$。也未构造出反例。

并非完全黑暗。数学家们对此钻研了一个多世纪,建立了一幅关于已知和未知内容的出人意料地详细的图景:

• 弱解存在(Leray,1934年)。如果弱化解的概念,全局解是存在的。但它们是否保持光滑和唯一仍然是开放的。
• 二维已解决(Ladyzhenskaya,1969年)。二维?已完成。光滑解对所有时间存在,而困难完全且顽固地特定于三维。
• 奇点是罕见的(Caffarelli-Kohn-Nirenberg,1982年)。即使三维中存在奇点,它们也被限制在零一维抛物 Hausdorff 测度的集合中,这是在该方程自然几何下极其微小的集合。
• 短时间解存在。光滑?是的,至少在短时间内。问题是:它们能否总是永远延拓下去?

因此差距虽窄但深。我们知道解开始时是光滑的,我们知道弱解在全局持续存在,但没有人能证明光滑性在三维中对所有时间都存续。

关键已建立结果:

• Leray(1934年):满足能量不等式$\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$的弱(分布)解的全局存在性。唯一性?开放的。
• Ladyzhenskaya(1969年):对于二维不可压缩问题,光滑无散初值产生唯一全局光滑解。
• Caffarelli-Kohn-Nirenberg(1982年):适当弱解的部分正则性:奇异集的一维抛物Hausdorff测度为零,$\mathcal{P}^1(S) = 0$。
• 局部适定性:对于$u_0 \in H^s(\mathbb{R}^3)$满足$s > 3/2$,在$[0, T^*)$上存在唯一光滑解;这在尺度临界空间$\dot{H}^{1/2}(\mathbb{R}^3)$(Fujita-Kato,1964年)中也成立,并延伸到严格更大的临界空间包括$BMO^{-1}$(Koch-Tataru,2001年)。是否有$T^* = \infty$?

这就是差距:我们知道弱解在全局存在,我们知道强解在局部存在且具有完全唯一性。强解是否总能延拓到所有时间,这是仍然完全开放的问题。

此处展示的能量估计适用于零外力。存在外力时，右侧还需包含功项： $2\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

这是公开资料陈述的核查，不是独立的证明审计。仓库将审核标为“self-assessed”（自评）；这不意味着没有其他人检查过。论文稿和Lean提供可检查的材料，不能替代形式化定理与数学陈述对应关系的核验。Clay的评估和颁奖程序与所宣布的数学结果是不同层面的事。

OpenAI也宣布了无外力三维Euler在光滑初始数据下的爆破。这个无黏结果并未确立无外力黏性Navier–Stokes的爆破。

这是公开资料陈述的核查，不是独立的证明审计。仓库将审核标为“self-assessed”（自评）；这不意味着没有其他人检查过。论文稿和Lean提供可检查的材料，不能替代形式化定理与数学陈述对应关系的核验。Clay的评估和颁奖程序与所宣布的数学结果是不同层面的事。

OpenAI也宣布了无外力三维Euler在光滑初始数据下的爆破。这个无黏结果并未确立无外力黏性Navier–Stokes的爆破。

Clay要求证明四个选项中的一个，而非全部：(A) R³上无外力的全局光滑存在性；(B) 周期环面T³上无外力的全局光滑存在性；(C) R³上的破裂，允许满足条件的光滑外力；(D) 周期情形的破裂，允许满足条件的光滑外力。A/B针对所有允许的初始数据；C/D要求一个允许的反例。有外力的破裂并不否定A/B。

以下全空间条款是A和C的摘要，不是全部官方假设。A中 $f=0$。C中，外力的所有空间和时间导数都必须满足Clay的衰减条件；所排除的全局解属于官方陈述中光滑且能量有界的解类。周期选项为B和D。

Clay要求证明四个选项中的一个，而非全部：(A) R³上无外力的全局光滑存在性；(B) 周期环面T³上无外力的全局光滑存在性；(C) R³上的破裂，允许满足条件的光滑外力；(D) 周期情形的破裂，允许满足条件的光滑外力。A/B针对所有允许的初始数据；C/D要求一个允许的反例。有外力的破裂并不否定A/B。

1. (A) 存在性与光滑性:对于每个$u_0 \in C^\infty(\mathbb{R}^3)$满足$\nabla \cdot u_0 = 0$且对所有$\alpha, K$有$|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$,证明存在$(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$满足方程,且对所有$t \geq 0$有$\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$。
2. (C) 崩溃: 构造 $u_0 \in C^\infty(\mathbb{R}^3)$（无散度并满足规定的衰减）和满足外力各阶导数衰减条件(5)的 $f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$，使得没有具有指定初始数据且动能对时间一致有界的 $(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ 满足该系统。

• 1822年:Navier从分子考虑推导出方程。
• 1845年:Stokes给出它们的现代形式。
• 1934年:Leray证明弱解全局存在。巨大的成就。
• 1969年:Ladyzhenskaya解决二维问题。
• 1982年:Caffarelli、Kohn和Nirenberg证明部分正则性,确立任何奇点必定极其罕见,被限制在一维测度为零的集合中。
• 1984年:Beale、Kato和Majda对三维Euler方程证明光滑解的崩溃迫使涡量时间积分发散。相关的延拓准则也适用于纳维-斯托克斯方程。
• 2000年:克雷将其命名为千禧年问题。一百万美元。
• 2014年:Tao构造了方程平均版本的爆破(预印本;2016年发表),表明奇点形成不存在纯粹的结构性障碍。
• 2026年9月：OpenAI宣布光滑外力下的三维爆破（Clay C/D）；Clay表示问题看来已解决。评估和颁奖是不同阶段。

• 1822年:Navier。分子应力。
• 1845年:Stokes。连续介质。
• 1934年:Leray。基础性结果:在$L^2$中的全局弱解、Leray投影算子,以及塑造整个世纪数学流体分析并定义随后所有方法的能量不等式。
• 1951年:Hopf推广到有界区域。
• 1962年:Serrin建立条件正则性:如果$u \in L^p_t L^q_x$满足$2/p + 3/q \leq 1$且$q > 3$,则解光滑;端点$L^\infty_t L^3_x$由Escauriaza-Seregin-Šverák在2003年解决。
• 1969年:Ladyzhenskaya。二维完成。
• 1982年:CKN。$\mathcal{P}^1(S) = 0$。
• 1984年:Beale-Kato-Majda(对于三维Euler)。如果$T^* < \infty$,则$\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$。类似的延拓准则对纳维-斯托克斯成立。
• 2000年:克雷。
• 2014年:Tao。平均纳维-斯托克斯爆破(JAMS 2016),表明对真实方程的任何正则性证明必须利用平均模型所保留的纳维-斯托克斯非线性项的更精细特征。
• 2026年9月：OpenAI宣布光滑外力下的三维爆破（Clay C/D）；Clay表示问题看来已解决。评估和颁奖是不同阶段。

问题的一部分。

深入了解:为什么这个问题如此困难?,数学家们正在研究哪些子问题,以及他们尝试了哪些方法?

克雷的正式陈述位于千禧年问题页面,如果你想了解这个问题实际针对的是哪个版本的方程,请参见不可压缩与可压缩纳维-斯托克斯方程。

问题的一部分。

细节:克雷表述。障碍:为什么困难。

要全面了解部分结果、开放子问题,以及过去一个世纪对这个问题所尝试的每一种策略,请参见子问题和方法。克雷问题研究的是哪种表述:不可压缩与可压缩。