OpenAI 納維－斯托克斯宣稱與超前搶先學術爭議

2026年9月8日，OpenAI 宣布其內部多代理系統產出了納維－斯托克斯方程有限時間爆破的 Lean 形式化證明——這是克雷數學研究所七大千禧年大獎難題之一。數小時前，紐約大學數學家 Tristan Buckmaster 公開聲明，說明他與 Anthropic 研究員 Levent Alpöge 的並行工作，並指控 OpenAI 在得知其進展後沿著相同路徑搶先衝刺。這場爭議不只關乎純數學的署名，更尖銳地問：當同一家公司既販售 AI 研究工具，又競相宣布標誌性科學成果時，會發生什麼？

OpenAI 宣稱了什麼

在官方文章《On the Navier–Stokes Millennium Prize Problem》中，OpenAI 表示使用了比 GPT-6 Astra 更強的內部模型，協調約一萬個代理。代理據稱在啟動約 88 小時後得到解答；Lean 形式化與驗證另花約 17 小時，由 GPT-6 Astra 完成。

宣稱結果：初始平穩、處於靜止的流體，在平滑外力作用下、全程能量有限，仍可在有限時間內發展出奇異點。OpenAI 稱這確立了 Charles Fefferman 官方克雷表述中的「C」與「D」——亦即某種爆破形式，而非證明解永遠保持光滑。

OpenAI 亦描述在過程中先解決了無外力 Euler 爆破問題，再集中資源攻納維－斯托克斯。公司表示無意申領克雷一百萬美元獎金，而將發布定位為 AI 能力進度的證據。媒體報導提及龐大算力成本（約數千萬美元量級、數千億 token）。

關於並行學術工作，OpenAI 稱其研究人員與代理在公開發布前未看到 Buckmaster 與 Alpöge 的草稿，也未為解題存取特定用戶資料，並稱證明有所不同——尤其在 Euler（有外力 vs 無外力）上。同時寫道「無法排除」去識別化的產品使用資料曾協助改進模型。

什麼是納維－斯托克斯方程？為何重要？

納維－斯托克斯方程是描述黏性流體如何運動的經典連續體方程——機翼周圍氣流、洋流、動脈血流。工程師每天使用其近似。千禧年大獎問題更數學：在三維、從光滑初始資料出發，解是否永遠保持光滑，還是方程可能在有限時間「爆破」（速度變為無窮）？

Jean Leray 於 1934 年證明弱解存在，但三維不可壓縮情形的光滑性與唯一性仍未解。2000 年，克雷數學研究所將其列入七大千禧年大獎難題，各附一百萬美元獎金。此處的進展被視為通向嚴謹湍流理論的門檻——連接分析、幾何與數學物理的核心前沿之一。

爭議週時間線

各方說法對照

這場爭議最好理解為相互競爭的敘事，而非已定讞的判決。以下是主要各方如何描述這一週。

功勞譜系：Córdoba 與 Martínez-Zoroa

Buckmaster 強調：強迫爆破計劃並非 LLM 發明，也非他這次合作開創。基本構想的功勞，他寫道，屬於 Diego Córdoba 與 Luis Martínez-Zoroa——他們多年來探索以（最初較粗糙的）外力構造爆破。Buckmaster 與 Alpöge 稱自己用大語言模型把該計劃推進到平滑外力與不可壓縮 Euler。任何公允敘事都必須從這裡開始——而不只是實驗室公告。

私密研究、Codex 與 AI 供應商風險

對企業與研究者最實用的線索，不是 OpenAI 是否「作弊」——這仍屬爭議且未證實——而是 Buckmaster 點出的結構性衝突：學者以付費客戶身分使用 OpenAI Codex，同時 OpenAI 又競相追逐同一科學獎項。

OpenAI 否認為本專案讀取其會話。但仍承認去識別化使用訊號可能改進模型。這道縫隙——「我們沒有打開你的草稿」與「你的使用仍可能塑造後來與你競爭的系統」之間——才是企業應追蹤的隱私與智財故事。

仍未解決的問題

若干技術區分仍重要。Buckmaster 與 Alpöge 公開強調有外力 Euler 與相關模型；OpenAI 宣稱有外力納維－斯托克斯，並另稱無外力 Euler。它們相關但並非同一陳述。獨立數學家仍需時間——以及公開材料——來審核 OpenAI 的 Lean 形式化，以及是否符合社群將接受的克雷獎標準。

在驗證完成前，負責任的標題應窄於「數學已被解決」。OpenAI 宣布了據稱由 AI 產出的解答；Buckmaster 指控超前搶先與署名壓力；Tao 警告不透明的 AI 科學傳播；而克雷問題在實務上仍處於社群審核中。對數學圈外讀者而言，更持久的啟示更清楚：當 AI 實驗室既是基礎設施供應商又是科學競爭者，私密研究工作流本身就是競爭介面——無論單一指控最終是否被證實。