OpenAI 一億美元 Navier-Stokes 解決方案引發競爭對手功勞之爭

OpenAI 表示其內部模型解決了懸賞一百萬美元的 Navier-Stokes 千禧年大獎問題，競爭數學家指控該公司在得知他們的平行研究後倉促發表證明。

「我們沒有使用他們的提示詞、模型或證明，」OpenAI 數學家兼 AI 研究員 Sebastien Bubeck 在週二的新聞簡報中表示，回應紐約大學數學家 Tristan Buckmaster 的指控。

OpenAI 從 8 月 28 日開始部署超過 1,000 個 AI 代理，耗時超過 50 小時攻克這一問題，據 OpenAI 研究主管 Mark Chen 表示，運算成本「達到數百萬美元」。該證明顯示 Navier-Stokes 方程式可能「爆炸」——即產生自然界不可能出現的無限流體速度——並已透過 Lean 程式語言進行驗證。OpenAI 未透露該模型的名稱。

這一成果標誌著七個 Clay 千禧年問題中第二個被人類解決，每個問題均設有一百萬美元獎金，同時也是首次由 AI 公司攻克。但功勞歸屬之爭可能掩蓋這一成就，並引發人們對 AI 實驗室在尖端模型攻克數學界最艱深開放問題時如何處理署名的質疑。

Buckmaster 與 Anthropic 數學家 Levent Alpöge 週一發布文件，證明 Euler 方程式——Navier-Stokes 的無摩擦近親——會爆炸，這一結果被廣泛視為邁向完整問題的關鍵一步。根據 Buckmaster 的聲明，兩人使用了 Anthropic 的 AI 模型和 OpenAI 的 Codex 來解析數學可能性。

在該聲明中，Buckmaster 指控 OpenAI 上週得知了兩人的進展，並將其自身研究轉向 Buckmaster 與 Alpöge 一直在使用的「強迫」方法。他聲稱 OpenAI 向他提供了一篇宣布 Navier-Stokes 成果論文的唯一署名權，但將 Alpöge 排除在外，因為後者任職於 OpenAI 的競爭對手。Buckmaster 表示，當他威脅要聯繫媒體時，對方告訴他「你何必毀掉自己的職業生涯？」

Bubeck 否認了這些指控，表示 OpenAI 的內部模型透過不同方式獨立解決了 Euler 問題，完整的 Navier-Stokes 證明是在上週末完成。「我們——無論是研究人員還是代理——在他們的作品昨晚公開之前，都沒有看過他們的任何成果，」他表示。

基於「強迫」法的一百萬美元證明

爭議中心所涉及的數學方法可追溯至 Diego Córdoba 與 Luis Martínez-Zoroa，他們開發了一種名為「強迫」的技術，利用 Navier-Stokes 方程式中多數數學家忽略的一項。Buckmaster 表示 Martínez-Zoroa 憑藉這一基礎洞見應獲得菲爾茲獎。

除功勞之爭外，還存在數學層面的疑問。Clay 問題的字面表述包含強迫項，但許多數學家研究的是不含該項的版本。部分學界人士可能主張該問題僅是透過漏洞被解決，使 Clay 研究所及整個領域在是否頒發獎金上面臨兩難。

「如果這真的完成了，對我們來說將是巨大的意外，」Córdoba 對該成果表達了謹慎態度。

AI 完成數學證明時，功勞歸誰？

此爭議出現之際，AI 實驗室正競相展示前沿數學能力。OpenAI、Anthropic 和 Google DeepMind 均已投入巨資訓練專門解決形式數學問題的模型，將產出可驗證證明視為推理能力的代理指標。

對投資人而言，利害關係遠不止於面子之爭。OpenAI 的聲明若經獨立驗證，將強化其在邁向通用人工智慧競賽中的地位，並可能影響市場對 AI 研究能力的估值。Anthropic 透過 Alpöge 的參與——以及 OpenAI 是否不當使用競爭對手員工資訊的爭議——增添了一層競爭維度，可能影響各實驗室未來在研究上的合作或競爭方式。

芝加哥大學數學家 Luis Silvestre 概括了當下氛圍：「昨天和今天是瘋狂的日子。我們整個學界都在討論這件事的影響。」

Clay 研究所尚未就是否接受 OpenAI 的證明或如何裁定競爭雙方的主張發表評論。對 Lean 形式化證明的驗證可能需要數月時間，而署名的爭議可能需要更長時間才能解決。

本文僅供參考，不構成投資建議。