OpenAI 稱內部系統用 88 小時找到 Navier–Stokes 解答，再花 17 小時形式化與驗證

OpenAI 稱內部系統用 88 小時找到 Navier–Stokes 解答，再花 17 小時形式化與驗證。核心宣布 OpenAI 在 官方文章 中表示，內部系統產出 Navier–Stokes 存在性與光滑性問題的分析證明和 Lean formalization，主張三維流體的 Navier–Stokes 動力學能在有限時間內形成奇異點。這個問題自 1930 年代以來未解，並在 2000 年被 Clay Mathematics Institute 列為七大 Millennium Prize Problems 之一。來源所述的情境是：一個起初靜止且光滑的流體，在施加光滑外力後，流體內部形成速度於有限時間內無界的奇異點；其能量從靜止狀態到奇異點形成的整個過程都維持有限。解答以漩渦為核心，流體旋轉並向內螺旋，中央區域逐漸拉長、收縮與加速，形狀被比喻為愈拉愈長的義大利麵。OpenAI 表示，這項結果建立了官方 Millennium Prize formulation 中的「C」及「D」敘述，並稱其解決 Navier–Stokes Millennium Prize 問題。顯示 Navier-Stokes 相關旋渦動態的 3D 流體模擬視覺化圖形，主體由中央向上延伸的軸向軸心、呈藍色與橘色交織的細長流線組成，左側標示 inward spiral，右上方標示 axial stretching。計算規模 OpenAI 表示，團隊在 88 小時內找到 Navier–Stokes 解答，事件時間點落在 2026 年 9 月 5 日星期六；之後又透過 GPT-6 Astra 花費 17 小時完成 Lean formalization 與驗證。整體工作使用約 10,000 個互相協作的 AI Agent，並維持前沿模型評估所採用的監控與隔離安全措施。所有嘗試的問題合計傳送 490 萬則訊息，使用約 3,000 億個輸出 token。 Navier–Stokes 部分傳送 270 萬則訊息，使用約 1,300 億個輸出 token。 團隊先讓不同 Agent 群組處理問題的 A、B、C、D 版本，再以 Codex 整合各群組的中間成果，讓後續 Agent 探索不同方向。 一項相關的 Euler 方程式正則性問題則由近 100 個 Agent 協作約 50 小時完成反例；該問題採用的是「無外力」版本。Navier–Stokes 的流體具有光滑外力，Euler 的結果則明確是無外力條件，兩者不能視為同一個問題或同一組假設。模型與評測 OpenAI 表示，這次證明使用的下一代模型能力明顯高於 GPT-6 Astra；另一則公告稱，該模型在許多 benchmark 上呈現「階躍式」進步，但模型訓練仍在進行。官方圖表列出了精選未解數學問題集的通過率與測試時計算量，顯示內部模型高於 GPT-6 Astra；這是 OpenAI 的內部評測，不能據此推論所有 benchmark 的表現或外部驗證結果。Internal Model 在精選未解數學問題集上的 Pass rate 隨 Test-time compute 增加而上升，且持續領先 GPT-6 Astra。研究影響 社群帳號 @gdb 將這項宣布形容為 AI 與數學的重要里程碑，並期待模型產生的知識協助研究非線性 PDE；這類方程式用於描述大量物理世界現象。這是對研究用途的期待與解讀，提供的公告沒有進一步列出能直接推進非線性 PDE 研究的具體方法或成果。安全與進展解讀 Sam Altman 表示，過去一週看著事件發生，是他在 OpenAI 歷史中最驚人的時刻之一；他認為世界已經擁有能力極強的模型，且沒預期這麼快會出現如此大規模的成果。他認為，這是迄今最能凸顯調整 AI 進展步調、確保安全之迫切性的證據。這些內容是個人反應，不是對數學證明的獨立評估。團隊爭議 Altman 另述，OpenAI 起初以為另一組團隊也解出了 Navier–Stokes，因此希望合作發布；得知對方處理的是 Euler 而非 Navier–Stokes 後，OpenAI 表示曾提議讓對方先發布、承認其優先權，也曾提出由 Tristan 擔任 OpenAI 證明改寫版本的第一作者。Altman 說，OpenAI 偏好協調，沒有在對方未回應時立即發布，但對方以毫無根據的抄襲指控相威脅；他也表示，看過對方公開成果後，兩種方法似乎不同，且網路上流傳 Anthropic 模型解出 Millennium problem 的傳聞，是 OpenAI 嘗試這項工作的動機之一。上述合作、溝通、抄襲指控與方法差異，都是 Altman 的第一人稱敘述，提供的資料沒有裁定抄襲是否發生，也沒有獨立比較兩套方法。 OpenAI 的官方說明另稱，研究人員與 Agent 在對方公開成果前沒有看過其工作，也未為解這道題存取特定使用者資料；但官方認為機率雖低，仍無法排除對方使用 OpenAI 產品所衍生的去識別化資料曾有助於改善模型。這是官方保留的可能性，並非已證實曾使用相關資料。驗證邊界 目前資料呈現的是 OpenAI 內部系統的證明、證明文件與 Lean formalization；來源沒有提到數學家進行的外部同儕審查，也沒有 Clay Mathematics Institute 接受該結果。OpenAI 明確表示，不打算以這項成果申請 Millennium Prize，因此「OpenAI 宣布解答」與「數學界正式接受並授予獎項」是不同層次的主張。原文：https://easyvibecoding.app/curated/3296-openai-internal-system-navier-stokes-solution-verified-ai