OpenAIがナビエ・ストークス方程式の証明を公開し、数学者による功績横取りの非難に正面から応じた。

動察 Beating AI 速報、OpenAI は AI によって完成された Navier-Stokes の証明を公開した。これは約 90 年間未解決だった数学の難問であり、7 つの「ミレニアム懸賞問題」の一つで、賞金は 100 万ドルだ。

OpenAI によると、使用されたのはまだ訓練中で GPT-6 Astra よりも明らかに能力が高い内部モデルで、約 1 万のエージェントが協力し、88 時間で解法を見つけ、その後 Astra を使って 17 時間かけて Lean による機械検証を完了した。論文と検証コードは公開されているが、数学界の審査を受ける必要がある。

この成果の背後には、先取り発表をめぐる論争もある。ニューヨーク大学の数学者 Tristan Buckmaster と Anthropic の従業員 Levent Alpöge は、以前に Claude と Codex を活用して同じ方向の研究を進めていた。Buckmaster によると、2 人の未公開の進展が OpenAI に伝わった後、OpenAI は数日以内に大量の計算リソースを投入して同じルートに取り組み、さらに Buckmaster に OpenAI の Navier-Stokes 証明の書き直しを提案したが、Alpöge の名前を載せることは許可しなかったという。

OpenAI は現在、この突貫作業が確かに「Anthropic がミレニアム懸賞問題を解決したかもしれない」という噂から始まったことを認めている。9 月 1 日、チームは新しいモデルに複数の数学難問に挑戦させ始め、まず約 100 のエージェントで Euler の結果を作り出し、その後リソースを Navier-Stokes に集中させ、最終的に約 1 万のエージェントに拡大した。OpenAI は Buckmaster が論文を公開する前に彼の研究を見たことを否定し、特定のユーザーデータを呼び出したことも否定しているが、別の可能性を完全には排除していない：2 人が OpenAI 製品を使用して生成した匿名化データが、モデルの改善に使用された可能性があるということだ。

Sébastien Bubeck も署名と「キャリアを台無しにする」という論争に応じた。彼は、Alpöge に 2 人の既存の成果の署名を放棄するよう要求したことはないと述べた。当時話し合われていたのは、Buckmaster に OpenAI の証明の主筆を任せることであり、Anthropic の従業員に OpenAI の仕事の署名をさせるのは適切ではないと考えたという。「なぜ自分のキャリアを台無しにするのか」という発言について、Bubeck は言葉遣いが悪かったと認めて謝罪したが、脅迫ではないと否定した。Sam Altman も公に Bubeck を支持し、OpenAI が当初 Anthropic の噂を聞いて、自社のモデルができるかどうかを確認したかったと確認した。

OpenAIは、この難題に対応する100万ドルの賞金を受け取らないと表明している。