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$ 並且 $|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$ 對所有 $\alpha, K$，證明存在 $(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ 滿足方程式，且 $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$ 對所有 $t \geq 0$.
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 解決了 2D 情形。
• 1982： Caffarelli、Kohn 與 Nirenberg 證明部分正則性，確立任何奇異性都必定極為罕見，侷限在一維測度為零的集合中。
• 1984： Beale、Kato 與 Majda 證明，對 3D Euler 方程式而言，光滑解的崩潰會迫使渦度的時間積分發散。相關的延拓判準也適用於 Navier-Stokes。
• 2000： Clay 將其列為千禧年問題。一百萬美元。
• 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。2D 完成。
• 1982： CKN。$\mathcal{P}^1(S) = 0$。
• 1984： Beale-Kato-Majda（針對 3D Euler）。若 $T^* < \infty$，則 $\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$。Navier-Stokes 也有類似的延拓判準。
• 2000： Clay。
• 2014： Tao。平均化 Navier-Stokes 爆發（JAMS 2016），顯示任何針對真正方程式的正則性證明，都必須利用比平均化模型所保留者更精細的 Navier-Stokes 非線性特徵。
• 2026年9月：OpenAI 宣布光滑外力下的三維爆破（Clay C/D）；Clay 表示問題看來已解決。評估與頒獎是不同階段。

屬於 問題。

深入閱讀：為什麼這個問題如此困難？，什麼子問題是數學家正在研究的，以及他們嘗試過哪些方法？

Clay 的正式陳述位於千禧年問題頁面；如果你想了解這個問題實際針對的是方程式的哪個版本，請參見非壓縮與壓縮 Navier-Stokes。

屬於問題。

詳細資訊：Clay 表述。障礙：為何困難。

若要完整了解部分結果、未解子問題，以及過去一個世紀針對此問題所嘗試過的所有策略，請參見子問題和方法。Clay 問題研究的是哪種表述：非壓縮與壓縮。