OpenAI Navier-Stokes Solution Controversy

OpenAI Claims Solution to Millennium Prize Problem

OpenAI 已發佈了 Navier-Stokes 存在性與平滑性問題的完整證明，這是七個千禧年大獎難題之一。該公司報告稱，該解決方案是由一個尚未發佈的下一代模型在為期一週的努力中發現的，該過程消耗了 3000 億個輸出 token，根據目前的 Astra 費率計算，代表約 2250 萬美元的運算成本。

Navier-Stokes 方程是流體力學的基礎，但其理論存在性與平滑性一直未被解決。正式證明代表了數學物理學的重大進步，並帶有 Clay Mathematics Institute 提供的 100 萬美元獎金。

Allegations of Research Scooping and "Dirty" Tactics

NYU 數學教授 Tristan Buckmaster，與 Anthropic 數學家 Levent Alpöge 合作，指控 OpenAI 在獲取有關其進展的資訊後，蓄意「抄襲」了他們的工作。Buckmaster 與 Alpöge 一直在結合使用 Codex 與 Claude AI 模型進行初步研究發現。

爭議的關鍵點包括：

• Timing and Approach: Buckmaster 斷言，他們選擇的特定數學路徑（Fefferman 問題陳述中的選項 c 與 d）並不常見。他認為，OpenAI 在 9 月 1 日——在解決方案的傳聞已流傳之後——突然轉向相同的路徑，是非常可疑的。他表示：「這不是僅僅透過給予模型問題陳述，在幾天內就能到達的方向。」
• Compute Advantage: Buckmaster 建議，OpenAI 在意識到研究方向可行時，利用其龐大的運算資源，在原始研究人員能夠發佈之前就達成了正式證明。
• Professional Conduct: Buckmaster 指控，在關於學術成就歸屬的爭議中，OpenAI 的 Sebastien Bubeck 建議移除 Levent Alpöge 的署名權（由於 Alpöge 與 Anthropic 的關係），並據稱對 Buckmaster 說：「為什麼你要毀掉你的職業生涯？」以及「如果你不想讓我表現得友善，那我也不必友善。」

Data Privacy and Model Regurgitation

由於 Buckmaster 在研究期間廣泛使用了 OpenAI 的 Codex，他擔心他的工作可能已被吸收進 OpenAI 的 的訓練數據中。OpenAI 保留對 Codex 互動進行模型訓練的權利，除非用戶可以選擇退出。

OpenAI 已否認存取特定用戶數據來解決該問題，聲稱：

"We (the researchers and the agents) did not see any of their work through any means until they released it publicly — in particular, no specific user data was accessed in order to solve this problem."

然而，該公司承認，無法排除「從其產品使用情況中衍生的去識別化數據有助於改進我們的模型。」OpenAI 進一步辯稱，他們的證明與 Buckmaster 的證明有顯著差異，特別是在 Euler case（forced vs unforced）方面。

Community Analysis and Implications

此事件在技術與學術界內針對 AI 輔助研究的倫理問題引發了重大爭議議：

• The "Compute Scoop": 評論員指出，這代表了一種新型態的學術競爭，即一個擁有優越運算資源的實驗室可以有效地在方向被揭露後，「以運算量來壓制」人類研究人員的洞察力。
• Academic Ownership: 有人認為，如果一個模型是透過研究人員的私有互動來達成結論，那麼無論法律上的服務條款，學術歸屬權應歸屬於研究人員。
• AI Collaboration: 儘管存在爭議，一些觀察者將此事件視為一種「存在性證明」，證明了人機協作可以解決理論數學中最困難的問題之一。
• Economic Viability: 該發現的成本（2250 萬美元）遠超千禧年大獎獎金（100 萬美元），這表明 OpenAI 的動機很可能基於展示 AGI 能力，而非財務收益。