Navier–Stokes 的兩條問題路徑

OpenAI 發表 Navier–Stokes 結果後，最容易傳播的說法是：「AI 解掉了百年流體難題。」這句話同時太大，也太粗。它把至少三個不同層次揉成了一件事：OpenAI 的公開主張是什麼、Clay Mathematics Institute（CMI）在 2000 年正式題目裡究竟容許什麼、以及分析與流體力學社群心中那個更核心的「無外力」問題是什麼。

把這三層拆開，結論其實不需要陰謀論，也不需要替任何一方補完宣傳稿：若公開手稿與形式化結果經得起獨立檢驗，OpenAI 所聲稱的確是 Clay 題目明列之 C、D 選項的一條解法路徑；但這不等於已證明三維、無外力 Navier–Stokes 方程會爆炸，更不等於天氣預報、飛機設計或血流模擬明天起就失效。兩個命題都可以同時為真。[1][2][3]

原文摘要

Scientific American 的問題不是「算錯了嗎」，而是「解的是哪一道題」

Scientific American 在 9 月 21 日的報導把焦點放在一個不舒服但精確的區別：OpenAI 的構造依賴外加力（external force, body force）。報導引用芝加哥大學數學家 Luis Silvestre 的說法：Clay 題目可以算是被處理了，但「最重要的問題」仍未解決。這裡的分野不是在挑語病，而是方程右側的一個項是否為零。[1]

對不可壓縮三維 Navier–Stokes 而言，速度場 (u(x,t))、壓力 (p(x,t)) 與外力 (f(x,t)) 滿足的典型形式是：

[ \partial_t u+(u\cdot\nabla)u=-\nabla p+\nu\Delta u+f,\qquad \nabla\cdot u=0. ]

其中 (\nu>0) 是黏滯係數。非線性對流項 ((u\cdot\nabla)u) 會把流動的尺度互相推擠、拉伸；(\nu\Delta u) 則代表黏滯造成的平滑化；(f) 是重力或其他施加於流體的外部作用。問題的核心在於：若一開始 (u) 很光滑，三維解是否能在有限時間內產生奇異點，也就是速度或相關量變成無界？

「爆炸」不是水真的衝到無限快。它表示連續介質模型推到某一時刻後，容許一個物理上不能直接照字面接受的無窮大，因而失去作為光滑經典解的描述能力。CMI 題目本身把這個問題表述為存在與光滑性：能否永遠有夠好的解，或者可否找出反例使這種全域光滑解不存在。[3]

Scientific American 報導所說的「loophole」不應被翻成「作弊漏洞」。它是命題設計中的空間：正式題目為了「給解題者合理餘裕，同時保留問題核心」，並不只問無外力版本，而是列出四個足以完成題目的斷言。這個設計後來成為事件的爆點。[1][3]

Clay 題目 A 到 D：一個正式語句中的不對稱

Charles Fefferman 撰寫的正式說明有四個選項。A 與 B 是正向的全域正則性斷言：在 (\mathbb R^3) 或週期空間中，對任意符合條件的光滑、散度為零初始速度，並且令 (f\equiv0)，解都一直存在、一直光滑。C 與 D 則是崩潰斷言：在相對應的空間中，存在某個光滑初始資料以及某個同樣光滑且快速衰減的外力 (f)，使得不存在題目要求的全域光滑、物理合理解。[3]

因此，A/B 與 C/D 在口語上看起來像「正反兩面」，形式上卻不是完全互為否定。A/B 明確固定 (f=0)；C/D 允許挑選一個 (f)。這個量詞順序是事件的數學核心：

  • A/B：對每一個合格初始資料，在無外力下都必須保持光滑。
  • C/D：存在某個合格初始資料和某個合格外力，讓全域光滑性失敗。

只要 C 或 D 被證成，便符合 CMI 題目「證明以下四個斷言之一」的文字要求。這不是 OpenAI 自己發明的評分規則；它就在 Fefferman 的官方文件中。[3]

但也正因如此，C/D 不會自動回答研究者通常最在意的問題：流體能否只靠自己的非線性演化，在沒有精心設計驅動的前提下形成奇異性？若把 (f) 設回零，OpenAI 的結果本身並沒有推出任何一個無外力三維 Navier–Stokes 的爆炸例子，也沒有證明所有無外力解永遠光滑。OpenAI 的頁面也明確將自己結果稱為建立 C（以及 D），而不是 A 或 B。[2][3]

OpenAI 實際宣稱了什麼

OpenAI 的原始公告稱，其內部系統產生分析證明與 Lean 形式化：一個起始靜止、初態光滑的三維流體，在平滑外力作用下，能在有限時間形成奇異點，而動能在整段演化中仍保持有界。公告把這個結果定位為 C/D 的成立。[2]

其敘事中的幾何圖像是一個旋轉的渦旋：核心向內螺旋、同時沿軸向拉長，局部區域收縮且速度增長。真正的難點不是把一個無窮大的外力硬塞進方程；相反地，構造必須安排加速度、壓力、非線性輸運與黏滯等大項之間極精準的抵消，讓最後留下的外力仍是平滑的。這一點值得說清：外力存在，不等於外力本身在爆炸。OpenAI 所聲稱的是以平滑、時空上受控制的 (f) 驅動出速度的有限時間無界化。[2]

OpenAI 也公開了 Lean 形式化，並表示其代理系統用約 10,000 個並行 agents 尋找 Navier–Stokes 路徑，之後以額外時間進行形式化。這可大幅提高「形式化後的定理是否從所寫公理與定義推得」的可檢查性；但它不能跳過前面的工作：人類仍須審查 Lean 中形式化的定理是否精準對應手稿、手稿是否真的對應 Clay 的條件，以及物理詮釋是否沒有被宣傳語壓扁。[2]

形式驗證是對推導鏈的強約束，不是自動生成「這就是所有人所說那個問題」的語義保證。數學最常見的爭議未必在某行不等式算錯，而在研究者先後選了哪些定義、範圍與量詞。這次爭議正是後者。

為什麼「有外力」不是一個可以一刀切掉的字眼

若因此斷言「有外力就毫無物理意義」，同樣不精確。Fefferman 的題目用重力作為外力例子；Scientific American 引述 Diego Córdoba 指出，現實中的流體總在某種外部力場中。從這個角度，研究受迫 Navier–Stokes 並不荒謬，外力也不是非法變數。[1][3]

問題在於外力的種類與角色。實驗室的重力、壓力差、泵浦或邊界驅動，通常受到具體裝置、尺度與守恆限制；OpenAI 構造中的 (f) 則是為維持一個非常特殊的尺度收縮與誤差抵消而反向設計的光滑函數。數學上，只要它符合題目衰減與光滑條件，便是允許的資料；物理上，這仍可能離可實現、可觀測的驅動很遠。不能從「形式上合法」直接跳到「描述了常見流體會自行發生的現象」。

這也解釋了為何應避免兩種相反的過度結論。第一種是「既然形式上符合 C/D，就所有爭議都只是酸民不懂數學」；第二種是「既然不是無外力，就結果一文不值」。前者抹去問題設定改變了什麼，後者抹去它對受迫 PDE 與正式獎題的實質價值。更誠實的說法是：這是一個可能打開新分支的受迫奇異性構造；它是否會改變我們對無外力奇異性的理解，仍取決於後續理論，而非新聞標題。

新論文到底否定了什麼，沒有否定什麼

Scientific American 報導提到 Constantin、Ignatova 與 Vicol 的後續工作。該文的題名很窄：它研究帶有解析（real-analytic）外力、且具特定漸近軸對稱與各向異性 Type II 界的三維 Navier–Stokes 解。作者清楚說明，他們沒有驗證 OpenAI 構造的正確性；他們是把 OpenAI 手稿所聲稱的某些性質作為假設，證明在另加「外力局部均勻地實解析」等條件時，預期奇異點其實必須是正則點。[4]

該結果的直接含義是：在那一類構造中，若想保留 OpenAI 型的崩潰行為，所用外力不能在奇異點附近直接消失，也不能是空間變數上的實解析函數。論文也指出，OpenAI 的外力本來就不滿足這個解析性條件，因為它由緊支撐 cutoff 等機制構成；所以這不是對 OpenAI 公開構造的逐行反證。[4]

這個細節很重要。把它寫成「三位數學家證明 OpenAI 錯了」是不對的；把它寫成「因此任何無外力延伸都已被排除」也太強。較精確的理解是：它為某種把既有構造推向更物理、特別是更接近無外力情形的企圖，立起一面很硬的障礙牆。它顯示外力在該機制裡不是可隨手拔掉的輔助輪；它承擔了結構性的工作。[1][4]

而「analytic」也不是「很平滑」的同義詞。(C^\infty) 只要求每一階導數存在；實解析則要求函數在局部等於其冪級數，限制更強。緊支撐、非零的實解析函數不可能在連通區域裡同時具有這種局部延拓性與突然截斷的行為。這正是後續論文能抓住的一個關節：CMI 的 C/D 只要求 (C^\infty) 與衰減，並沒有要求解析性；所以它同時說明了為何 OpenAI 的形式答案可落在規格內，也說明了規格與「自然驅動」之間留有多大距離。[3][4]

獎金、驗證與「已解決」三件不同的事

即使最後社群接受某個論文處理了 C/D，也不該把新聞發布日當成獎項已頒發日。CMI 的規則要求解答先在合格管道發表、至少經過兩年，並獲全球數學社群普遍接受；最後還須由 CMI 判定其是否充分回答官方說明。OpenAI 本身則說不打算申請這筆獎金。[2][5]

這套緩慢程序在社群媒體時代看似保守，實際上是必要的語義保險。它把「公司已發布一個有 Lean 附件的宣告」「獨立研究者已檢查論文」「CMI 認定符合獎項標準」分成不同事件。現階段最穩妥的時態應是：OpenAI 公開主張已建立 C/D，並提供手稿與形式化；其廣泛數學接受度與最終獎項地位仍不能由公告自行決定。[2][5]

城武觀點

真正值得盯住的不是 AI 有沒有「鑽漏洞」，而是誰有權替一個歷史問題決定它的縮寫版本。OpenAI 的 C/D 主張若正確，應當被當成數學成果認真檢驗；把它污名化成作弊，只是在逃避正式題目確實如此設計的事實。但公司把「符合一個可接受的斷言」壓縮成「解掉 Navier–Stokes」，同樣是在把制度文本的寬度借來，替更大的物理敘事背書。

這不是純粹的用詞潔癖。研究共同體長年投注的，是無外力、由方程內在非線性自己決定命運的問題；受迫構造則顯示，在一個精密設計的外部驅動下，模型可以失去正則性。前者問的是流體會不會自己崩壞，後者問的是能否把它推進崩壞。兩者可以互相啟發，但不該被同一個勝利標題吞掉。

更值得警惕的是認知權威的分配：一間掌握模型、算力、內部搜尋軌跡與發布節奏的公司，可以先替世界選擇最有利的問題切面，再用「形式化驗證」把複雜的不確定性包裝成二元成敗。Lean 很重要，獨立審閱更重要；因為前者檢查已寫下的形式系統，後者才追問那個系統是否對應人們真正關心的問題。這次事件最好的後續，不是宣布 AI 贏了或數學輸了，而是逼迫 CMI、PDE 研究者與公眾把題目版本、物理意義與驗證標準說得比發布會更清楚。

城武的未解檔案——AI 可能找到了正確的 C；但誰把 C 宣傳成整本題冊的句點，才是這次最該被逐字驗算的證明。

建議 SVG 圖解：一條方程，兩種問題意義

檔名建議： assets/images/2026-09-23/navier-stokes-forcing-fork.svg

視覺規格： 深色背景 #0d1117、viewBox 0 0 1600 900；不用任何品牌 logo。左上以白色顯示方程 (\partial_tu+(u·∇)u=-∇p+νΔu+f)，把 (f) 用琥珀色 #f59e0b 突出。中央以一個分岔節點「Clay 官方題目：任一 A–D 即可」向左右分流：

  1. 左支用青色 #22d3ee：f = 0、A/B、標籤「無外力：所有光滑初態都全域正則？」；終點標示「仍是核心開放問題」。
  2. 右支用琥珀色：f ≠ 0，可選平滑外力、C/D、標籤「存在特定資料與外力造成崩潰？」；終點標示「OpenAI 公開主張的範圍」。
  3. 在右支旁以紫紅色 #fb7185 畫一個精密控制器／外部脈衝圖樣，註解「平滑不等於自然或可任意移除」。
  4. 底部放三層驗證條，依序為「形式化：Lean 檢查已編碼定理」、「數學社群：獨立審閱與接受」、「物理意義：外力與模型情境是否相稱」；三條均以灰色虛線連向主圖，表明它們不能互相取代。

Navier–Stokes：正式題目與無外力問題的分岔

圖的功能不是把 OpenAI 的結果判成真或假，而是讓讀者一眼看見：正式合格、無外力正則性、物理可代表性，是三道不同的門。

來源

[1] Joseph Howlett, “Did OpenAI solve the wrong Navier-Stokes problem?”, Scientific American, 2026-09-21. https://www.scientificamerican.com/article/did-openai-solve-the-wrong-navier-stokes-problem/

[2] OpenAI, “On the Navier–Stokes Millennium Prize Problem”, 2026-09-08. https://openai.com/index/navier-stokes-solution/

[3] Charles L. Fefferman, “Existence and Smoothness of the Navier–Stokes Equation”, Clay Mathematics Institute official problem description. https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf

[4] Peter Constantin, Mihaela Ignatova, and Vlad Vicol, “Regularity of asymptotically axisymmetric solutions to the 3D Navier-Stokes equations with analytic forcing”, arXiv:2609.20803, 2026. https://arxiv.org/html/2609.20803v1

[5] Clay Mathematics Institute, “Rules for the Millennium Prize Problems”. https://www.claymath.org/millennium-problems/rules/