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： 建構了一個平均化 Navier-Stokes 的爆發例子，它與真正的方程式共享相同的能量與尺度變換性質；這意味著真方程式的證明必須使用比能量估計與尺度變換本身更精細的結構。這是一道障礙。不是解答。
• 2019，Buckmaster、Vicol：即使沒有任何外力，能量有限的分佈弱解也可以不唯一。這些解位於 Leray–Hopf 類之外（Annals 2019）。
• 2022，Albritton、Brué、Colombo：當允許外力時，Leray-Hopf 弱解並不唯一。滿足能量不等式的解類並不像人們期望的那樣溫和，這使得「哪些弱解具有物理意義」這個問題更加尖銳。

這些結果與2026年的聲明有何關聯，是下一節的主題。

• 1934，Leray：對無散度資料 $L^2$ 中的 $u_0 \in L^2(\mathbb{R}^3)$，證明滿足能量不等式的弱解大域存在（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 提出；後來適用於 Navier-Stokes（Comm Math Phys）。
• 2016，Tao：為一個平均化 Navier-Stokes 方程式建構有限時間爆發，該方程式服從與真實系統相同的能量與尺度變換性質，這意味著任何正則性證明都必須利用更精細的結構（J Amer Math Soc）。
• 2019，Buckmaster–Vicol：透過凸積分，證明了無外力方程式的動能有限的分佈弱解不唯一；這些解不滿足能量不等式，因而位於 Leray–Hopf 類之外（Annals 2019）。
• 2022，Albritton–Brué–Colombo：受迫 3D Navier-Stokes 的 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 唯一性，以及最佳的延拓準則。參見子問題與研究方法。

本頁是一張地圖，不是疆域本身。細節請見：

關於特定研究方向的詳細處理：

• 子問題：已解決與部分解決的情形，包括 2D 大域正則性、無旋繞的軸對稱、臨界空間結果（$L^3$、$\dot{H}^{1/2}$、$BMO^{-1}$），以及超越 BKM 的條件正則性判準。
• 方法：目前積極研究中的主要證明策略，包括能量與 enstrophy 方法、輪廓分解、溫和解理論、隨機 Navier-Stokes、凸積分計畫，以及電腦輔助界限。

資料核查於 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。