Navier-Stokes研究进展：已知结果与开放方向

九十多年来，数学家们证明了：弱解对所有时间存在（Leray）；任何奇点都必须极其微小（Caffarelli–Kohn–Nirenberg）；在第一个奇异时刻哪些量必须爆破（Beale–Kato–Majda及后续准则）；以及仅凭能量和尺度性质无法排除爆破（Tao）。2026年9月，OpenAI宣布证明了带光滑外力的三维方程会在有限时间内爆破，即Clay的破裂选项；Clay表示问题“看来已得到解决”。无外力的流动是否总保持光滑，仍未解决。

本页沿着这一脉络展开：先是各个里程碑，然后是2026年的篇章及其与前者的联系。单独查看注明日期的状态，请参阅Navier-Stokes解决了吗？

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

九十多年来，数学家们证明了：弱解对所有时间存在（Leray）；任何奇点都必须极其微小（Caffarelli–Kohn–Nirenberg）；在第一个奇异时刻哪些量必须爆破（Beale–Kato–Majda及后续准则）；以及仅凭能量和尺度性质无法排除爆破（Tao）。2026年9月，OpenAI宣布证明了带光滑外力的三维方程会在有限时间内爆破，即Clay的破裂选项；Clay表示问题“看来已得到解决”。无外力的流动是否总保持光滑，仍未解决。

下文先以精确形式给出各个里程碑，再以它们为参照解读所声称的有外力破裂（手稿定理1.1与推论10.6）。注明日期的状态：Navier-Stokes解决了吗？

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

重塑这一领域的结果：

• 1934年，Leray：证明了对于任何合理的初始数据，时间全局弱解都存在。总有某种东西会永远存续。但它会保持光滑吗？这正是Leray无法回答的问题；对于无外力的流动，它至今仍未解决。
• 1982年,Caffarelli, Kohn, Nirenberg: 可能的奇点集极其微小:在这些方程自然的抛物几何中,它具有零一维测度。微小到极致。如果发生爆破,其稀疏程度超乎想象。
• 1984年,Beale, Kato, Majda: 重大结果。光滑解只有在涡量爆破时才会崩溃,这为整个领域提供了一个精确目标:充分强地控制相关涡量范数,光滑解在该时刻就不会崩溃。
• 2016年,Tao: 构造了一个平均纳维-斯托克斯方程的爆破解,该方程与真实方程具有相同的能量和尺度性质,这意味着真实方程的证明必须使用比能量估计和尺度分析更精细的结构。这是一个障碍,而非解决方案。
• 2019年，Buckmaster、Vicol：即使没有任何外力，能量有限的分布弱解也可以不唯一。这些解位于Leray–Hopf类之外（Annals 2019）。
• 2022年，Albritton、Brué、Colombo：当允许外力时，Leray-Hopf弱解并不唯一。满足能量不等式的解类并不像人们期望的那样温和，这使得“哪些弱解具有物理意义”这一问题更加尖锐。

这些结果与2026年的声明有何关联，是下一节的主题。

• 1934年,Leray:对无散初值 $u_0 \in L^2(\mathbb{R}^3)$,$L^2$ 中弱解的全局存在性,满足能量不等式(Acta Mathematica)。
• 1982年,Caffarelli–Kohn–Nirenberg (CKN):部分正则性;$\mathcal{P}^1(\mathrm{sing}\, u)=0$,即奇异集的一维抛物Hausdorff测度为零。这仍是我们拥有的最强一般性结果(Comm Pure Appl Math)。
• 1984年,Beale–Kato–Majda (BKM):重塑该领域的延拓准则:在 $[0,T)$ 上的光滑解能延拓过 $T$ 当且仅当 $\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt < \infty$,将正则性归结为涡量控制。最初用于Euler方程;后适用于纳维-斯托克斯(Comm Math Phys)。
• 2016年,Tao:对一个平均纳维-斯托克斯方程构造了有限时间爆破,该方程遵循与真实系统相同的能量和尺度性质,意味着任何正则性证明都必须利用更精细的结构(J Amer Math Soc)。
• 2019年，Buckmaster–Vicol：通过凸积分，证明了无外力方程的动能有限的分布弱解不唯一；这些解不满足能量不等式，因而位于Leray–Hopf类之外（Annals 2019）。
• 2022年,Albritton–Brué–Colombo:带外力的三维纳维-斯托克斯Leray-Hopf解的非唯一性,通过不稳定自相似解构造(Ann of Math)。

下一节以这些结果为参照解读2026年的主张。

2026年9月8日，OpenAI宣布了一项证明：对每个正的黏性系数，一个从静止出发、由光滑且具有紧支集的外力驱动的光滑解，会在有限时刻出现无界速度，而其动能保持有界。OpenAI称这确立了Clay的选项C及其周期版本D。9月11日，Clay表示问题“看来已得到解决”，评估将有意从容进行。详情与来源。

它与此前工作的关系。以下各点涉及的是一致性与背景，没有一点是在验证证明。

• Leray的问题。Leray（1934年）引入了弱（“湍流”）解，同时留下了光滑解是否会失去正则性这一问题，并提出了一种自相似爆破情形。这一特定情形后来在自然的可积性条件下被排除（Nečas–Růžička–Šverák，1996年；Tsai，1998年）。2026年的主张在有外力的设定下回答了破裂问题；对于无外力的流动，该问题仍未解决。
• 部分正则性。Caffarelli–Kohn–Nirenberg限制了奇异集可以有多大，但从未排除奇点。因此，爆破构造与之并不冲突。
• 延拓准则。Beale–Kato–Majda型和Prodi–Serrin–Ladyzhenskaya型准则指出，在第一个奇异时刻哪些量必须变得无界。Clay的问题陈述指出，对于Navier–Stokes，速度在有限爆破时刻附近会变得无界，而所宣布的定理正是以这种形式陈述的：随着奇异时刻临近，最大速度无界，而能量保持有界。
• Tao的障碍。Tao的平均化方程表明，正则性证明必须利用真实非线性项中比能量和尺度更精细的结构。所宣布的构造处理的是真实方程，但带有外力，因此它并不能告诉我们无外力的动力学是否具有阻止爆破的结构。
• 非唯一性。Buckmaster–Vicol（无外力，Leray–Hopf类之外）和Albritton–Brué–Colombo（Leray–Hopf，有外力）涉及的是弱解的唯一性。2026年的主张涉及的是一个初始光滑的解失去光滑性：这是另一个问题。
• Euler方程。OpenAI也宣布了无外力三维Euler在光滑初始数据下的爆破。这个无黏结果并未确立无外力黏性Navier–Stokes的爆破。

没有改变的是：无外力的全局正则性问题（Clay的A和B）、无外力时Leray–Hopf解的唯一性，以及部分正则性和延拓准则的研究计划，仍是开放的研究方向。参见子问题和研究方法。

主张。对每个$\nu>0$，手稿构造了$f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$以及$\mathbb{R}^3\times[0,1)$上的光滑$(u,p)$，满足$u(\cdot,0)=0$、$\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$且$\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$（定理1.1，选项C）；推论10.6给出周期情形（选项D）。Clay（9月11日）：“看来已得到解决”。状态与来源。

• Leray。Leray的自相似拟设$u(x,t)=\lambda(t)U(\lambda(t)x)$，其中$\lambda(t)=(2a(T-t))^{-1/2}$，在$U\in L^3(\mathbb{R}^3)$时被Nečas–Růžička–Šverák（1996年）排除，在局部能量界条件下被Tsai（1998年）排除。这些结果约束的是一种爆破剖面；它们并不一般地排除奇点。
• CKN。$\mathcal{P}^1(S)=0$限制了适当弱解（suitable weak solutions）奇异集的大小；它与孤立奇点相容，因此与爆破构造并不冲突。
• 准则。Beale–Kato–Majda（$\int_0^{T^*}\|\omega\|_{L^\infty}\,dt=\infty$）、Prodi–Serrin–Ladyzhenskaya（$u\notin L^p_tL^q_x$，$2/p+3/q\le1$，$q>3$）和Escauriaza–Seregin–Šverák描述了第一个奇异时刻的必要行为。Fefferman的陈述记载：对于$\nu>0$，速度在有限爆破时刻附近变得无界；定理1.1的陈述形式为$\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$，同时$L^2$范数有界。
• Tao。平均化模型表明，能量恒等式和尺度性质本身并不能阻止爆破。有外力的构造使用的是真实的非线性项；无外力的真实动力学是否具有超越能量与尺度的正则性机制，这一问题不受影响。
• 非唯一性。Buckmaster–Vicol（2019年）：无外力、分布解、Leray–Hopf类之外。Albritton–Brué–Colombo（2022年）：Leray–Hopf、有外力。2026年的主张是关于经典解的正则性（破裂）陈述，而非唯一性陈述。
• Euler方程。OpenAI也宣布了无外力三维Euler在光滑初始数据下的爆破。这个无黏结果并未确立无外力黏性Navier–Stokes的爆破。

未变的开放问题包括A/B（$f\equiv0$）、$f\equiv0$时的Leray–Hopf唯一性，以及精确的延拓准则。参见子问题和研究方法。

本页是地图,而非领土本身。详细内容见:

关于特定研究方向的详细论述:

• 子问题:已解决和部分解决的情形,包括二维全局正则性、无旋转的轴对称、临界空间结果($L^3$, $\dot{H}^{1/2}$, $BMO^{-1}$),以及超越BKM的条件正则性准则。
• 研究途径:正在积极研究的主要证明策略,包括能量与拟能方法、剖面分解、温和解理论、随机纳维-斯托克斯、凸积分方案,以及计算辅助界。

资料核查于2026-09-29（日本标准时间）。本页总结已发表文献和公开声明，并非独立的证明审核。代码仓库将其审查标为“self-assessed”（自我评估）；这既不能确立独立验证，也不表明没有其他人检查过这项工作。Lean发布版本和手稿提供了可供审查的材料；它们不能代替检查形式陈述是否与预期定理一致。

2026年资料：Clay（2026-09-11） · OpenAI（2026-09-08） · 手稿（PDF） · Lean / GitHub。

资料核查于2026-09-29（日本标准时间）。本页总结已发表文献和公开声明，并非独立的证明审核。代码仓库将其审查标为“self-assessed”（自我评估）；这既不能确立独立验证，也不表明没有其他人检查过这项工作。Lean发布版本和手稿提供了可供审查的材料；它们不能代替检查形式陈述是否与预期定理一致。

2026年资料：Clay（2026-09-11） · OpenAI（2026-09-08） · 手稿（PDF） · Lean / GitHub。