Navier-Stokes 研究進展：已知結果與開放方向

無外力三維 Navier–Stokes 的全域正則性仍未解決：所宣布的有外力構造並不解決此問題。以下技術討論中的正則性與唯一性未解問題，除非明確另述背景，均指無外力系統。

資料狀態核查日期：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 的全域正則性仍未解決：所宣布的有外力構造並不解決此問題。以下技術討論中的正則性與唯一性未解問題，除非明確另述背景，均指無外力系統。

資料狀態核查日期：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 官方問題陳述.

重塑此領域的五項結果：

• 1934，Leray： 證明對任何合理的初始資料，時間大域弱解都存在。某種東西會永遠持續下去。但它會保持光滑嗎？這是 Leray 無法回答的問題，九十年後，也仍然沒有人能回答。
• 1982，Caffarelli, Kohn, Nirenberg： 可能奇異點的集合極小：在這些方程式自然的拋物幾何中，它的一維大小為零。小到近乎消失。若爆發發生，其稀疏程度超乎想像。
• 1984，Beale, Kato, Majda： 重大結果。光滑解只有在渦度爆發時才可能崩潰，這給了整個領域一個精確目標：只要足夠強地控制相關的渦度範數，光滑解在該時刻就不可能崩潰。
• 2016，Tao： 建構了一個平均化 Navier-Stokes 的爆發例子，它與真正的方程式共享相同的能量與尺度變換性質；這意味著真方程式的證明必須使用比能量估計與尺度變換本身更精細的結構。這是一道障礙。不是解答。
• 2022，Albritton, Brué, Colombo： 當允許外力時，Leray-Hopf 弱解並不唯一。壞消息是：最弱的解類並沒有我們希望的那麼馴服，這迫使人們重新思考在這個層次上「解」究竟意味著什麼。

2026年9月：OpenAI 宣布光滑外力下的三維爆破（Clay C/D）；Clay 表示問題看來已解決。評估與頒獎是不同階段。

• 1934，Leray：對無散度資料 $L^2$ 中的 $u_0 \in L^2(\mathbb{R}^3)$，證明滿足能量不等式的弱解大域存在（J Math Pures Appl）。
• 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）。
• 2022，Albritton–Brué–Colombo：受迫 3D Navier-Stokes 的 Leray-Hopf 解非唯一性，透過不穩定的自相似解建構（Ann of Math）。

2026年9月：OpenAI 宣布光滑外力下的三維爆破（Clay C/D）；Clay 表示問題看來已解決。評估與頒獎是不同階段。

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

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

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

這是公開資料陳述的核查，不是獨立的證明審計。儲存庫將審查標為「self-assessed」（自評）；這不表示沒有其他人檢查過。論文稿與 Lean 提供可檢查的材料，不能取代形式化定理與數學陳述對應關係的核驗。Clay 的評估與頒獎程序與所宣布的數學結果是不同層面的事。

2026-09-12 (JST).

這是公開資料陳述的核查，不是獨立的證明審計。儲存庫將審查標為「self-assessed」（自評）；這不表示沒有其他人檢查過。論文稿與 Lean 提供可檢查的材料，不能取代形式化定理與數學陳述對應關係的核驗。Clay 的評估與頒獎程序與所宣布的數學結果是不同層面的事。

2026-09-12 (JST).