OpenAI喺2026年9月8日公布一項極重磅、但尚未獲數學界正式確認嘅主張：公司話一個未公開嘅內部 AI 系統，寫出分析證明，並完成 Lean 形式化，證明三維不可壓縮納維–斯托克斯流可以喺有限時間形成奇點。OpenAI同時公開咗166頁手稿同形式化內容。呢個結果有可能解答 Clay Mathematics Institute（CMI）嘅「千禧年難題」之一，但「公開咗一個宣稱有證明嘅結果」同「學界已裁定問題解決、獎金已頒」係兩回事。 101827

OpenAI聲稱證明咗乜？

簡單講，納維–斯托克斯方程係描述液體同氣體流動嘅核心方程。最棘手嘅問題之一係：三維流體由平滑初始狀態出發，會唔會永遠保持平滑？定係有機會喺有限時間內出現無限大嘅速度等「奇點」？

OpenAI所講嘅構造，係由一團原本靜止而平滑嘅流體開始，施加一個同樣平滑嘅外力。公司表示，流體會形成一個向內螺旋、又愈拉愈長嘅渦旋；到某個有限時間，速度變成無界，即係數學上所講嘅奇點，但流體總能量仍然有限。 1044

關鍵唔在於電腦模擬到一團流體轉得好快，而係要嚴格證明：方程容許一個原本平滑、能量有限嘅解，在有限時間內失去平滑性。OpenAI話佢哋正正構造到呢種情況，而且外力本身係平滑嘅。 10

點解有機會解到 Clay 千禧年難題？

CMI對納維–斯托克斯難題設定咗幾種可接受嘅解法方向：一邊可以證明解永遠平滑；另一邊可以舉出反例，證明平滑性會崩潰。

OpenAI表示，佢哋嘅構造符合 CMI 官方題目入面嘅 C 同 D 選項，即係用有限時間失去平滑性嘅反例路線，包括有平滑外力嘅設定。假如證明正確，而且形式化嘅命題與官方問題完全吻合，咁就表示「所有情況下都會全域平滑」呢個說法唔成立。 1017

CMI喺聲明中形容，該問題看來「顯然已被解決」，但亦明確表示要同全球數學界一齊審視呢項公布。換句話講，機構承認事件非同小可，但未作最終裁決。 18

約1萬個 AI 代理、88小時：呢個證明點樣產生？

報道指，呢次工作涉及約 1萬個自主 AI 代理，運行於一個先進但未公開嘅 OpenAI 模型上。OpenAI稱，系統會協調大量代理一齊工作，產出傳統數學論文式嘅分析論證，以及對應嘅 Lean 形式化；另有報道指整個運行歷時88小時。 10122

所以，OpenAI唔係只交出一個「模型估計答案」或者數值實驗，而係聲稱系統生成咗兩樣嘢：一份完整嘅數學論證，同一份可以畀證明助理機械檢查嘅版本。

Lean 形式化好重要，但唔等於自動過關

Lean係一種證明助理。研究者會將定義、假設、定理同推理步驟精確編碼；Lean再檢查個結論係咪真係由呢啲已寫明嘅前提出發、按嚴格邏輯推得出。呢種檢查可以大幅降低普通手寫證明中漏步、推理錯誤嘅風險。OpenAI已公開相關形式化。 10

不過，機械檢查唔會自動回答最重要嘅人類問題：

• Lean入面編碼嘅定理，係咪完全等同原本想證明嘅納維–斯托克斯命題？
• 所用定義同假設，係咪真係符合 CMI 官方題目嘅要求？
• 分析證明中每個有實質數學意義嘅環節，係咪都被忠實地放入形式化版本？

因此，Lean形式化係非常有力嘅核實工具，但唔可以取代獨立數學家閱讀、理解同接受個結果。

唔代表飛機、天氣預報會即刻有突破

即使證明最終成立，都唔代表飛機周圍嘅氣流、水管亂流、天氣系統或者血液流動，會突然出現字面意義上嘅「無限速度」。OpenAI提出嘅係一個特別精心設計嘅例子：需要特定嘅平滑外力，同埋非常特殊嘅向內收緊、被拉長嘅渦旋結構。佢證明嘅係方程容許呢種可能，而唔係日常流體自然就會咁演化。 1044

仲有一層現實限制：納維–斯托克斯方程係連續介質模型。去到極細尺度，分子層面嘅物理會開始主導；數學模型入面嘅奇點，唔應該直接理解成真實世界嘅流體會有無限快速度。

所以，眼前最直接嘅影響係數學同研究方法，而唔係即刻多咗一套飛機設計或天氣預測工具。

同日出現嘅優先權爭議

公布亦引發署名、時間同學術傳承嘅爭議。紐約大學數學家 Tristan Buckmaster 同 Anthropic 任職嘅 Levent Alpöge，喺 OpenAI發表前不久，公布咗同受外力流體方程爆破有關、由 AI 協助並以 Lean 形式化嘅研究。佢哋嘅工作建基於 Diego Córdoba 同 Luis Martínez-Zoroa 等人相關策略。 125

Buckmaster同Alpöge提出疑問：OpenAI會唔會曾接觸到佢哋當時尚未發表嘅工作或公布內容，以及 OpenAI 對外表述時有冇充分反映相關想法背後嘅人類研究脈絡。現有資料證實有優先權爭議，但未有證據證明抄襲已成立。 113

事件亦帶出 AI 輔助研究一個愈來愈尖銳嘅問題：功勞應該點分？早期提出關鍵想法嘅研究者、協助形式化或驗證嘅合作者、建構系統嘅人，同埋用作發現嘅模型，各自應點被承認？

數學家點解仲重視「人睇得明」嘅洞見？

一份有效證明，就算係由大規模工程化搜尋得出，都可以具有歷史意義。但數學家通常亦重視解釋力：點解現象會出現？邊啲結構可以重用？個方法對附近問題有咩啟發？

AI代理大規模探索，可能搵到人類從未預計過嘅構造；但如果最關鍵嘅一步難以由人理解，佢對後續研究帶來嘅概念指引，可能不及一份較短、但更有解釋力嘅證明。

因此，OpenAI呢個主張考驗嘅唔止係「個證明有冇錯」，仲包括 AI 能否帶嚟可累積、可理解、可延伸嘅數學知識。

100萬美元 Clay 獎金已經頒咗未？

**未。**OpenAI表示唔打算申領千禧年獎。根據 CMI 規則，機構考慮一項解答之前，至少要滿足三個條件：成果要喺合資格出版渠道發表、出版後至少兩年、並獲全球數學界普遍接受。 1027

CMI喺9月聲明只係話問題「看來」已經解決，並正與數學界一同審視。呢個係對結果潛在重要性嘅承認，唔係最終認證，更加唔係獎項頒發。 18

現時最準確嘅講法係：OpenAI公開咗一項非常驚人、附有機械形式化嘅主張，聲稱三維納維–斯托克斯方程可出現有限時間爆破。最終地位仍取決於獨立數學家能否確認，分析證明同 Lean 形式化確實證明咗佢所聲稱嘅精確命題。 1018

OpenAI喺2026年9月8日公布一項極重磅、但尚未獲數學界正式確認嘅主張：公司話一個未公開嘅內部 AI 系統，寫出分析證明，並完成 Lean 形式化，證明三維不可壓縮納維–斯托克斯流可以喺有限時間形成奇點。OpenAI同時公開咗166頁手稿同形式化內容。呢個結果有可能解答 Clay Mathematics Institute（CMI）嘅「千禧年難題」之一，但「公開咗一個宣稱有證明嘅結果」同「學界已裁定問題解決、獎金已頒」係兩回事。 101827

OpenAI聲稱證明咗乜？

簡單講，納維–斯托克斯方程係描述液體同氣體流動嘅核心方程。最棘手嘅問題之一係：三維流體由平滑初始狀態出發，會唔會永遠保持平滑？定係有機會喺有限時間內出現無限大嘅速度等「奇點」？

OpenAI所講嘅構造，係由一團原本靜止而平滑嘅流體開始，施加一個同樣平滑嘅外力。公司表示，流體會形成一個向內螺旋、又愈拉愈長嘅渦旋；到某個有限時間，速度變成無界，即係數學上所講嘅奇點，但流體總能量仍然有限。 1044

關鍵唔在於電腦模擬到一團流體轉得好快，而係要嚴格證明：方程容許一個原本平滑、能量有限嘅解，在有限時間內失去平滑性。OpenAI話佢哋正正構造到呢種情況，而且外力本身係平滑嘅。 10

點解有機會解到 Clay 千禧年難題？

CMI對納維–斯托克斯難題設定咗幾種可接受嘅解法方向：一邊可以證明解永遠平滑；另一邊可以舉出反例，證明平滑性會崩潰。

OpenAI表示，佢哋嘅構造符合 CMI 官方題目入面嘅 C 同 D 選項，即係用有限時間失去平滑性嘅反例路線，包括有平滑外力嘅設定。假如證明正確，而且形式化嘅命題與官方問題完全吻合，咁就表示「所有情況下都會全域平滑」呢個說法唔成立。 1017

CMI喺聲明中形容，該問題看來「顯然已被解決」，但亦明確表示要同全球數學界一齊審視呢項公布。換句話講，機構承認事件非同小可，但未作最終裁決。 18

約1萬個 AI 代理、88小時：呢個證明點樣產生？

報道指，呢次工作涉及約 1萬個自主 AI 代理，運行於一個先進但未公開嘅 OpenAI 模型上。OpenAI稱，系統會協調大量代理一齊工作，產出傳統數學論文式嘅分析論證，以及對應嘅 Lean 形式化；另有報道指整個運行歷時88小時。 10122

所以，OpenAI唔係只交出一個「模型估計答案」或者數值實驗，而係聲稱系統生成咗兩樣嘢：一份完整嘅數學論證，同一份可以畀證明助理機械檢查嘅版本。

Lean 形式化好重要，但唔等於自動過關

Lean係一種證明助理。研究者會將定義、假設、定理同推理步驟精確編碼；Lean再檢查個結論係咪真係由呢啲已寫明嘅前提出發、按嚴格邏輯推得出。呢種檢查可以大幅降低普通手寫證明中漏步、推理錯誤嘅風險。OpenAI已公開相關形式化。 10

不過，機械檢查唔會自動回答最重要嘅人類問題：

• Lean入面編碼嘅定理，係咪完全等同原本想證明嘅納維–斯托克斯命題？
• 所用定義同假設，係咪真係符合 CMI 官方題目嘅要求？
• 分析證明中每個有實質數學意義嘅環節，係咪都被忠實地放入形式化版本？

因此，Lean形式化係非常有力嘅核實工具，但唔可以取代獨立數學家閱讀、理解同接受個結果。

唔代表飛機、天氣預報會即刻有突破

即使證明最終成立，都唔代表飛機周圍嘅氣流、水管亂流、天氣系統或者血液流動，會突然出現字面意義上嘅「無限速度」。OpenAI提出嘅係一個特別精心設計嘅例子：需要特定嘅平滑外力，同埋非常特殊嘅向內收緊、被拉長嘅渦旋結構。佢證明嘅係方程容許呢種可能，而唔係日常流體自然就會咁演化。 1044

仲有一層現實限制：納維–斯托克斯方程係連續介質模型。去到極細尺度，分子層面嘅物理會開始主導；數學模型入面嘅奇點，唔應該直接理解成真實世界嘅流體會有無限快速度。

所以，眼前最直接嘅影響係數學同研究方法，而唔係即刻多咗一套飛機設計或天氣預測工具。

同日出現嘅優先權爭議

公布亦引發署名、時間同學術傳承嘅爭議。紐約大學數學家 Tristan Buckmaster 同 Anthropic 任職嘅 Levent Alpöge，喺 OpenAI發表前不久，公布咗同受外力流體方程爆破有關、由 AI 協助並以 Lean 形式化嘅研究。佢哋嘅工作建基於 Diego Córdoba 同 Luis Martínez-Zoroa 等人相關策略。 125

Buckmaster同Alpöge提出疑問：OpenAI會唔會曾接觸到佢哋當時尚未發表嘅工作或公布內容，以及 OpenAI 對外表述時有冇充分反映相關想法背後嘅人類研究脈絡。現有資料證實有優先權爭議，但未有證據證明抄襲已成立。 113

事件亦帶出 AI 輔助研究一個愈來愈尖銳嘅問題：功勞應該點分？早期提出關鍵想法嘅研究者、協助形式化或驗證嘅合作者、建構系統嘅人，同埋用作發現嘅模型，各自應點被承認？

數學家點解仲重視「人睇得明」嘅洞見？

一份有效證明，就算係由大規模工程化搜尋得出，都可以具有歷史意義。但數學家通常亦重視解釋力：點解現象會出現？邊啲結構可以重用？個方法對附近問題有咩啟發？

AI代理大規模探索，可能搵到人類從未預計過嘅構造；但如果最關鍵嘅一步難以由人理解，佢對後續研究帶來嘅概念指引，可能不及一份較短、但更有解釋力嘅證明。

因此，OpenAI呢個主張考驗嘅唔止係「個證明有冇錯」，仲包括 AI 能否帶嚟可累積、可理解、可延伸嘅數學知識。

100萬美元 Clay 獎金已經頒咗未？

**未。**OpenAI表示唔打算申領千禧年獎。根據 CMI 規則，機構考慮一項解答之前，至少要滿足三個條件：成果要喺合資格出版渠道發表、出版後至少兩年、並獲全球數學界普遍接受。 1027

CMI喺9月聲明只係話問題「看來」已經解決，並正與數學界一同審視。呢個係對結果潛在重要性嘅承認，唔係最終認證，更加唔係獎項頒發。 18

現時最準確嘅講法係：OpenAI公開咗一項非常驚人、附有機械形式化嘅主張，聲稱三維納維–斯托克斯方程可出現有限時間爆破。最終地位仍取決於獨立數學家能否確認，分析證明同 Lean 形式化確實證明咗佢所聲稱嘅精確命題。 1018