OpenAI 宣稱 10,000 個 AI 代理人破解 Navier‑Stokes，耗資上百萬美元

核心重點

OpenAI 宣稱，10,000 個 AI 代理人在 88 小時內協同完成了 Navier‑Stokes（流體力學基礎方程式）問題的證明，僅計算成本即「數百萬美元」。證明已以 Lean（形式化驗證系統）形式化，並於 9 月 6 日完成驗證。

背景與技術細節

• 模型能力：OpenAI 表示使用的內部模型「遠超 GPT‑6 Astra」，具備顯著的數學推理能力。
• 訓練時程：公司於 8 月 28 日開始訓練新模型，受 Anthropic 相關傳聞影響，資源迅速轉向 Navier‑Stokes。
• 成本與規模：研究負責人 Mark Chen 指出，僅運算資源就花費「上百萬美元」。
• 與 Buckmaster 團隊的關係：OpenAI 在 9 月 1 日得知與 Buckmaster、Alpöge 相關的傳聞後展開工作，完成後主動提出同步發布與共同聲明。但在公開前，OpenAI 仍未接觸到對方的任何成果，且兩者的證明在問題設定（強制 Euler vs Navier‑Stokes）與結果上均有根本差異。

影響與未來展望

OpenAI 內部開發者 Noam Brown 指出，過去以 87.5% 成績通過 ARC‑AGI 基準的 o3 需要約 50 萬美元；如今同等或更高的能力僅需約 20 美元的 ChatGPT 訂閱。若此趨勢持續，「一年後每個人手邊都會有能解決此等高階數學問題的 AI」將不再是遙不可及的願景。

然而，Buckmaster 在 Mastodon 上質疑 OpenAI 是否使用了其發表後的訓練資料，提出倫理疑慮。OpenAI 回應稱未直接取得任何使用者資料，僅可能因去識別化的使用紀錄間接提升模型。

未來，隨著 AI 計算成本持續下降、形式化驗證工具日益成熟，AI 在高階科學與數學領域的突破將加速。業界與學術界需要建立更透明的資料使用與成果驗證機制，確保創新同時兼顧倫理與公平。