OpenAI、AIがナビエ–ストークス方程式の爆発問題を解決したと主張、ニューヨーク大学の数学者がタイムラインに異議

OpenAIは、内部のAIモデルがナビエ–ストークス方程式が発散する可能性を示したと発表した。この方程式は流体の動きを記述するものであり、発散とは数学的に無限の速度が予測される点を指す。この問題は、Clay数学研究所が1つあたり100万ドルの賞金を懸ける7つのミレニアム懸賞問題の1つである。OpenAIは、この結果を得るのに88時間かかったと述べた。約10,000の調整されたAIエージェントがこの結果に取り組んだとされ、これらのエージェントは並列で動作する同社モデルのコピーであった。Leanが証明を段階的に検証した。NYUの数学者Tristan Buckmasterは、自身とLevent AlpögeがAIモデルを用いて流体の発散証明を追求するためにほぼ1年を費やしたと述べた。Buckmasterは、8月22日までに解決策を得ていたと語った。彼は9月3日にOpenAIの数学者にこのプロジェクトについて話したが、このプロジェクトは個人的なものであり、どちらの会社とも関係がないと説明した。3日後、Sébastien BubeckはBuckmasterに、内部モデルが強制ナビエ–ストークス方程式に対する100ページの証明を生成したと伝えた。Buckmasterは、そのアプローチがほとんど他の誰も追求していない狭いアプローチであると述べた。Bubeckは、Buckmasterのチームの発表の翌日にOpenAIが発表することを提案し、Alpögeが競合ラボで働いていたため、Buckmasterに単独で論文を執筆することを提案した。Buckmasterは、Bubeckが「なぜ自分のキャリアを台無しにするのか？」と尋ねたと語った。その後、Buckmasterは自身の発見を含む研究論文を発表し、Alpögeを共同著者として記載した。OpenAIは発表で両研究者を一切謝辞していない。ある引用ツイートでは、OpenAIが製品利用からの匿名化データがモデルの改善に寄与した可能性を否定できないと認めている。Bubeck、OpenAI、AltmanはBuckmasterの主張を否定した。BubeckはAlpögeとの調整された発表を提案するテキストを共有した。また、OpenAIのプロンプトを提供した。Bubeckは善意で行動したと主張した。Sam Altmanは、Bubeckが一貫して誠実で寛大な行動を取ったと述べた。Altmanは、Buckmasterのチームがナビエ–ストークス全体ではなくEuler方程式のみを解決したことを認識した後、彼らに先に発表する選択肢を提供したと語った。OpenAIは、公開前に両者の作業を一切見ておらず、特定のユーザーデータにアクセスしなかったと述べた。OpenAIは製品利用からの匿名化データがモデルの改善に寄与した可能性を明確には否定していない。フィールズ賞受賞者Terence Taoは、BuckmasterとAlpögeの基礎的な数学的成果を卓越した業績と称賛した。彼らの最も進んだ結果は、最終的なLean検証を待って未公開である。OpenAI以外では誰も100ページの証明を独立して検証していない。