答案已發布27 個來源
OpenAI 的納維－斯托克斯證明主張：1 萬代理人的結果若成立，將改寫什麼？
OpenAI 表示，未公開的內部模型協調約 1 萬個 AI 代理人，於約 88 小時內完成一份三維納維－斯托克斯有限時間奇異性證明；其後另花 17 小時將論證形式化並由 Lean 驗證。[1][7] 該主張處理的是由平滑外力驅動的流動。OpenAI 稱結果符合 Clay 題目表述中的 C、D 兩種有限時間崩潰情形，而不等同於大眾常理解的「無外力」版本。[1][7][35] 證明與 Lean 材料已公開供檢視，但尚未獲外部數學界普遍接受；Clay 的規則也要求在合格出版物發表、至少等待兩年，並取得全球數學界的一般接受，才會考慮頒獎。[1][26]
發布者使用 GPT-5.6 Terra 編輯圖片由 GPT Image 2 生成
研究答案
重點整理
- OpenAI 表示，未公開的內部模型協調約 1 萬個 AI 代理人，於約 88 小時內完成一份三維納維－斯托克斯有限時間奇異性證明；其後另花 17 小時將論證形式化並由 Lean 驗證。[1][7]
- 該主張處理的是由平滑外力驅動的流動。OpenAI 稱結果符合 Clay 題目表述中的 C、D 兩種有限時間崩潰情形，而不等同於大眾常理解的「無外力」版本。[1][7][35]
- 證明與 Lean 材料已公開供檢視，但尚未獲外部數學界普遍接受；Clay 的規則也要求在合格出版物發表、至少等待兩年，並取得全球數學界的一般接受，才會考慮頒獎。[1][26]
- 紐約大學數學家 Tristan Buckmaster 對研究優先權及訓練資料使用提出疑問；OpenAI 否認為解題而存取特定使用者資料，但稱無法完全排除去識別化使用資料曾協助改善模型。[2][53][54]
AI 提示詞
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI claim about its unreleased, 10,000-agent AI model producing a Lean-certified proof that the Navier–Stokes equations can blow. Article summary: OpenAI’s announcement is a major claim, not an accepted mathematical result. It says an unreleased internal model coordinated roughly 10,000 agents to find a proof of finite-time singularity in 3D Navier–Stokes after abo. Topic tags: general, general web, user generated, academic. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, char
OpenAI 做出的不是「已被正式承認的定論」，而是一項極重大的候選證明主張：公司稱，一個未公開的內部 AI 系統動員約 1 萬個並行代理人，在約 88 小時內找出證明，指出某些三維不可壓縮納維－斯托克斯流會在有限時間內出現奇異性；接著另一個系統再花約 17 小時，將論證形式化並在 Lean 證明助理中驗證。1
7
OpenAI 已釋出書面證明及 Lean 材料供外界審閱；不過，這距離數學界普遍接受、以及 Clay 數學研究所啟動獎項審議，仍有一段必要且不能省略的路程。1
26
OpenAI 說自己證明了什麼？
納維－斯托克斯方程描述黏性流體如何運動：它涵蓋速度場、壓力、黏滯性與非線性的流體輸運；在 Clay 的官方題目框架中，也允許加入外力項。這組方程可用來刻畫空氣、水等流體的流動，而其三維「存在性與光滑性」問題，問的是：由足夠平滑、符合條件的初始流動出發，解是否永遠保持平滑；還是可能在有限時間內失去規則性？17
21
33
OpenAI 所稱的結果屬於爆破（blow-up）構造：流體一開始靜止，在平滑且緊支撐的外力驅動下，速度在有限時間內變得無界，但整體動能仍保持有界。1
34
白話來說，這個候選例子主張：在三維情形中，黏滯性未必總能阻止流動演變為數學上的奇異點。它不是模擬一場非常劇烈的湍流，而是宣稱給出解析性的數學證明，並把邏輯步驟轉寫成可由 Lean 機器檢查的形式。1
34
若證明成立，為何會是歷史性成果？
納維－斯托克斯存在性與光滑性問題，是 Clay 數學研究所於 2000 年提出的七個「千禧年大獎難題」之一；基金總額為 700 萬美元，每題獎金為 100 萬美元。18
20
這道題的官方設定容許兩條主要路徑：其一，證明在指定條件下解對所有時間都存在且平滑；其二，構造一個合格的有限時間崩潰反例。官方條件對初始資料及外力都有明確要求。17
21
OpenAI 表示，其構造證明了官方表述中的 C 與 D 命題，也就是在歐幾里得空間與週期性設定下、帶有平滑外力的有限時間奇異性選項。1
7 若此一主張經專家審查後成立，並確實滿足原題所有要求，它可能成為繼龐加萊猜想後，第二個被解決的千禧年大獎難題；在 OpenAI 宣布時，其餘六題仍被視為未解。
11
18
Lean 驗證很重要，但不是最後裁決
Lean 是一種證明助理。它會依據系統中已編碼的定義、公理與既有定理，檢查一個形式化命題是否能在邏輯上推出。因此，通過 Lean 驗證是有份量的證據：就 Lean 所檢查的那個正式對象而言，證明不應有邏輯缺口。1
7
但要判斷是否真正解決 Clay 題目，專家仍須逐一檢視完整鏈條，包括：
- 形式化的定理是否精確描述了宣稱中的納維－斯托克斯設定；
- 書面論證轉換成正式定義的方式是否適切；
- 所採用的假設是否符合 Clay 題目的條件；
- 證明能否取得數學界的普遍接受。
這並非枝微末節。機器驗證能確認一個已指定的形式系統中的推論正確，卻不會自行判定該形式化對象是否涵蓋獎項題目所有預期的數學意義。
為何 Clay 還沒頒發 100 萬美元？
Clay 不接受研究者直接遞交「解答」申請。依其規則，研究所考慮一項候選解答前，至少必須同時滿足三個條件：在合格出版物發表、發表後滿兩年，以及獲全球數學界的一般接受。26
因此，即使 OpenAI 的證明最後被認定正確，立即頒獎也不符合 Clay 已公布的程序。更準確的描述是：這是一份正在接受審查、影響可能極大的公開候選證明，而不是已獲獎的定案成果。1
26
關鍵差別：有外力，還是無外力？
這起消息的討論常把兩個問題混在一起。最常見的通俗說法是：一個平滑、沒有外力的三維流動，是否會自行失去平滑性？但 OpenAI 宣稱的構造使用了平滑外力。34
35
這個差別在科學上很重要，卻不會自動讓主張排除於 Clay 的框架之外：官方問題確實包含具有平滑、快速衰減外力的替代命題。17
35 對獎項而言，真正要檢驗的是 OpenAI 的證明是否滿足相關 Clay 命題的每一項條件，而不是它是否等同於較狹義、最常在大眾討論中出現的無外力版本。
優先權與資料使用爭議從何而來？
這項宣布前後，紐約大學數學家 Tristan Buckmaster 與 Anthropic 研究員 Levent Alpöge 也在進行相關研究；Alpöge 是以個人身分與 Buckmaster 合作。他們的工作涉及相關的受迫流體方程，而非一項已確立的標準納維－斯托克斯問題解答。2
3
7
Buckmaster 指控，OpenAI 曾尋求合作安排，卻試圖因 Alpöge 的 Anthropic 身分而將他排除在外；他也質疑兩人與 OpenAI 產品（包括 Codex）的互動，是否可能對模型訓練有所貢獻。2
50
52
OpenAI 表示，其研究人員與 AI 代理人在解題過程中未接觸兩人的特定研究或使用者資料；但公司也稱，無法完全排除源於產品使用、經去識別化處理的資料，可能曾協助改善模型。53
54
這些說法仍留下重要的待釐清問題：相關互動是否符合訓練資料使用資格、是否真的被用於訓練，以及即使被使用，是否可能對此次結果造成實質影響。現有公開報導並未證實 OpenAI 使用了 Buckmaster 與 Alpöge 的研究；相關指控不能被當成既成事實。2
53
54
接下來該看什麼？
決定性考驗不是代理人數量有多大、生成速度有多快，而是獨立專家能否完整檢視論文與 Lean 形式化內容、重現形式化檢查，並一致認定該定理符合相關 Clay 條件。
若這些檢驗最終通過，OpenAI 的宣布可能成為數學研究與 AI 輔助科學探索的里程碑。在那之前，最審慎的定位是：一份公開、後果深遠、但尚待數學界驗證的候選證明；同時，它也伴隨一場尚未解決的優先權、資料治理與 AI 公司如何處理研究者未公開構想的爭議。1
26
53
Studio Global AI
繼續深入研究
這個頁面包含附來源佐證的答案，你可以在 Studio Global 內繼續追問。
大家也會問
「OpenAI 的納維－斯托克斯證明主張：1 萬代理人的結果若成立，將改寫什麼？」的簡短答案是什麼？
OpenAI 表示，未公開的內部模型協調約 1 萬個 AI 代理人，於約 88 小時內完成一份三維納維－斯托克斯有限時間奇異性證明；其後另花 17 小時將論證形式化並由 Lean 驗證。[1][7]
最值得優先驗證的重點是什麼？
OpenAI 表示，未公開的內部模型協調約 1 萬個 AI 代理人，於約 88 小時內完成一份三維納維－斯托克斯有限時間奇異性證明；其後另花 17 小時將論證形式化並由 Lean 驗證。[1][7] 該主張處理的是由平滑外力驅動的流動。OpenAI 稱結果符合 Clay 題目表述中的 C、D 兩種有限時間崩潰情形，而不等同於大眾常理解的「無外力」版本。[1][7][35]
接下來在實務上該怎麼做？
證明與 Lean 材料已公開供檢視，但尚未獲外部數學界普遍接受；Clay 的規則也要求在合格出版物發表、至少等待兩年，並取得全球數學界的一般接受，才會考慮頒獎。[1][26]