OpenAIの伝説的な数学的マイルストーンを巡る騒動

OpenAIは、以前The New York TimesによっておよびWiredで報じられた通り、約90年間にわたり未解決のままだった数学の難問に対する解法を発見したと述べている。火曜日のブログ投稿で、OpenAIは、新しくリリースされたGPT-6 Astraよりも強力な内部AIモデルと10,000の並行エージェントを使用して、液体や気体の流れに関連するNavier-Stokes問題の解法を発見したと発表した。Navier-Stokes問題は7つのMillennium Prize Problemsの一つであり、それぞれに解決に対して$1 millionの報奨金が設定されている。

OpenAIは、8月28日に内部AIモデルのトレーニングを開始したと述べており、そのモデルは「数学を含む我々のベンチマークにおいて前例のない性能を示した」という。この解法は数学界にとって大きなブレイクスルーであるが、論争がないわけではない。

OpenAIの発表のわずか1日前、New York Universityの数学教授Tristan Buckmasterは、Anthropicの研究者Levent Alpögeと協力して関連する問題に関する研究結果を発表した。これらの結果を発表する際、Buckmasterは、同社が彼らの進捗について耳にしたことを知り、OpenAIに連絡したと主張している。しかし、Buckmasterは、OpenAIがNavier-Stokes方程式の証明を、彼とAlpögeがOpenAIのCodexやAnthropicのClaudeを使用して取り組んでいたルートを使用して作成したことを発見した。

声明の中で、Buckmasterは、OpenAIがNavier-Stokesの解法に近づくために彼らのCodexデータにアクセスしたのではないかという懸念を提起している。「このプロジェクトの全期間を通じてすべてのドラフトを入力していたCodexのセッションを、モデルが学習に使用したのか、あるいはアクセスしたのかを尋ねた」とBuckmasterは書いている。「モデルはユーザーデータを参照していないと言われた。トレーニングについて再度尋ねたが、回答は得られなかった。」

OpenAIは現在、火曜日の発表でこれらの疑念を払拭しようとしており、「この問題を解決するために特定のユーザーデータにアクセスしたことはない」と述べている。さらに、「可能性は低いが、彼らの当社製品の使用から派生した匿名化されたデータがモデルの改善に役立った可能性を排除することはできない」と付け加えている。コメントを求められた際、OpenAIはThe Vergeに対し、ブログ投稿の内容を反映したX上の声明を案内した。

OpenAIの技術スタッフであるSebastien Bubeckも同様に述べた。「昨夜、彼ら[BuckmasterとAlpöge]が公表するまで、彼らの研究内容は一切見ていなかった。後知恵で見れば、我々の証明は大きく異なり、証明された正確な結果さえも異なっていることがわかる。」

一方、BuckmasterはMastodonへの投稿でこれに反論し、OpenAIは「我々が結果を見つけた後の期間のトレーニングデータを使用したことを公然と認めている」と主張した。

OpenAIは、$1 millionの賞金を受け取る予定はないとしている。