跳到主要內容
2026-09-11 日報
研究與評測

OpenAI 宣稱以 GPT-6 Astra 與萬名代理解開 Navier-Stokes 千禧年難題,遭指控搶跑並逼退 Anthropic 共同作者

INSIDE綜合 2 家報導多家報導
核實資料不足

多個報導來源提及此事;未必是彼此獨立的證據。

查證回合用盡,未形成有依據結論

OpenAI 於 9 月 8 日公告,利用內部模型驅動的多代理系統解開了千禧年大獎難題之一的 Navier-Stokes 存在性與光滑性問題,證明初始光滑、靜止的三維流體在平滑外力與有限動能條件下,會在有限時間內發展出奇異點(局部速度無上限增長)。 該系統採用「明顯強於 GPT-6 Astra」的未公開內部模型,調動約 1 萬個並行代理耗時約 88 小時得出結論,隨後由 GPT-6 Astra 花費 17 小時完成 Lean 形式化與驗證。單題消耗 270 萬則訊息與約 1,300 億個輸出 token,Sébastien Bubeck 估計運算成本達數百萬美元。 公告發布前約 12 小時,紐約大學數學教授 Tristan Buckmaster 與 Anthropic 研究員 Levent Alpöge 率先發表了包含 3 維不可壓縮 Euler 方程在內的三項流體爆破成果。Buckmaster 發表聲明指控,OpenAI 疑似提前獲悉其解題框架並以算力搶跑(Scooping),甚至在 9 月 6 日的通話中提出條件,要求將任職於 Anthropic 的 Alpöge 從作者欄移除,由 Buckmaster 單獨署名發表 Navier-Stokes 結果,並遭 Bubeck 言語威脅職涯。Buckmaster 亦質疑兩人放在 Codex 的草稿是否遭 OpenAI 挪用訓練。 對此,OpenAI 否認代理或員工存取過兩人的對話紀錄,但未排除去識別化資料幫助改進模型的可能性。Bubeck 駁斥指控「錯誤且具煽動性」,稱 OpenAI 是在完成 Lean 驗證後主動提議同步發布,雖承認 Navier-Stokes 解法相近,但強調未使用對方的提示詞或證明。 針對此技術突破,航空航太工程教授 Chris Combs 提醒,這並非任意流體運動的通用解法,不會立刻改變現有 CFD(計算流體力學)工作。數學家陶哲軒(Terence Tao)則評論,對開放問題無差別地「露天開採」式取解,恐摧毀下一代數學技術與研究者賴以成長的生態。
讀原始報導

背景

Navier-Stokes 方程式主要用於描述黏性流體的運動,其三維空間中的存在性與平滑性問題長期以來是數學界未解的難題。本次 OpenAI 用來驗證證明的 Lean 則是由電腦科學家 Leonardo de Moura 所開發的證明助手。

這則事件的發展

  1. 2026-09-09OpenAI 發布 AI 生成的千禧年大獎難題 Navier-Stokes 解答與 Lean 形式化證明
  2. 2026-09-09據報 OpenAI 模型解開千禧年大獎難題 Navier-Stokes,並引發學者爭議
  3. 2026-09-09OpenAI 宣稱解開 Navier-Stokes 數學難題,遭學者指控挪用未公開研究數據

來源