OpenAI 宣稱破解百年 Navier‑Stokes 方程式
OpenAI 今日在記者會上聲稱，利用新一代 AI 模型 找到了解決 Navier‑Stokes 方程式（描述流體如水、空氣自然行為的偏微分方程）的方法。此方程式是 Clay Millennium 獎（七大千禧年難題之一）中唯一尚未被證實的題目，若真被解決，將可獲得 100 萬美元 獎金。
背景與技術細節
OpenAI 數學與 AI 研究員 Sebastien Bubeck 表示，團隊於 8 月 28 日開始訓練具備進階數學推理能力的模型。得知競爭對手 Anthropic 正在逼近此問題後，OpenAI 增派資源，最終動用了 1,000 多個代理（agents） 超過 50 小時的運算，峰值時甚至有 10,000 個代理 同時嘗試。
解答最終以 Lean（一種可形式化數學證明的程式語言）呈現，並完成了「Lean‑formalized」的形式化驗證。研究主管 Mark Chen 透露，為此投入的計算資源「數以百萬美元計」的成本，遠高於以往解題的開支。
争议與影響
就在 OpenAI 公布成果的同一天，NYU 數學家 Tristan Buckmaster 與 Anthropic 研究員 Levent Alpöge 在社群媒體上發布文件，說明他們在與 Navier‑Stokes 相關領域取得了關鍵進展，並使用了包括 Claude（Anthropic 旗下模型）與 Codex（OpenAI 的程式碼生成模型）在內的多種 AI 工具。
Buckmaster 指出，OpenAI 在得知他們的工作後迅速投入大量資源，且曾詢問 OpenAI 是否存取過他們的 Codex 使用紀錄。OpenAI 回應稱模型「不會查詢使用者資料」，但未對訓練細節作出說明。更有指控稱，OpenAI 向 Buckmaster 提出「不列名 Alpöge」的發表方案，意圖讓 OpenAI 內部模型的成果成為唯一署名。
對此，Bubeck 在社群平台上否認公司曾建議刪除 Alpöge 的姓名，OpenAI 執行長 Sam Altman 亦站出為團隊辯護，強調成果屬於公司內部研發。Buckmaster、Alpöge 與 Anthropic 目前未回應《華爾街日報》及 WIRED 的採訪請求。
未來展望
若 OpenAI 的解答經過獨立驗證確實成立，將不僅為 Navier‑Stokes 方程式 打開新局，也顯示 AI 生成證明（AI‑generated proof）在高階數學研究中的可行性。然而，爭議也凸顯了 AI 研究與學術倫理的交叉點：資料來源透明度、合作署名以及跨機構資訊共享的規範仍待明確。
讀者在關注這一突破的同時，也應留意後續的同行評審結果與獎項評審委員會的最終認定，因為只有在嚴謹的數學驗證之下，這場「百年難題」才算真正被解開。