OpenAIは、約10,000のエージェントがたった88時間で協力し、数学で最も有名な未解決問題の1つを解決した、リリースされていない実験的なAIシステムについて述べている。
同社は、ナビエ–ストークスの存在と滑らかさの問題に対する提案された解決策を発表しました。これは、100万ドルの賞金がかけられた7つのミレニアム懸賞問題の一つです。これらの式は、水や空気などの流体の動きを記述しており、未解決の問いは、完全に滑らかな流れが最終的に崩壊し、速度が無制限に増大する可能性があるかどうかを問うものです。
OpenAIのシステムはそれが可能であると述べている。その証明では、流体の渦が次第に引き伸ばされ集中し、システムの総エネルギーは有限のまま、有限時間内に速度が無限大になる様子を描いている。
現在の物理学の理解によると、実在の流体は無限に速く動くことはできません。十分に極端なスケールでは、ナビエ–ストークス方程式が流体を一つの連続体として扱うという前提が、物理的現実と一致しなくなります。
この結果は、OpenAIがGPT-6 Astra（同社が公開している最も高度なモデル）よりもはるかに優れた能力を持つ内部モデルから得られました。約10,000のエージェントがナビエ–ストークス方程式の解決に取り組み、270万件のメッセージを交換し、約1300億トークンを生成した後、Astraはさらに17時間かけて証明の形式化と検証を行いました。
しかし、証明そのものの実用的な影響には時間がかかります。ナビエ–ストークス方程式は航空機設計、天気予報、血液流研究などの分野で使用されているため、これらの方程式がどこで破綻するかをより深く理解することで、科学者が極端かつ乱流をモデル化する方法が将来的に改善される可能性があります。
より大きな意味合いは、それを発見したシステムにあるかもしれません。数千のAIエージェントがわずか数日で90年間解かれていなかった数学的問題を攻撃できるのであれば、同様のアプローチを最終的に材料科学、エネルギー、航空宇宙、医療その他の分野の難問に応用できる可能性があります。
その結果がどの程度独立して導き出されたかについて、すでに議論が起きています。
ニューヨーク大学の数学者トリスタン・バッカマスターとAnthropicの研究者レヴェント・アルポーゲは、それぞれ関連する流体力学の問題に取り組んでおり、研究中にAIツールを使用していた。バッカマスターは、未発表の研究成果がOpenAIの製品に取り込まれ、同社のモデルに影響を与えた可能性があると、ソーシャルネットワークMastodon上の一連の投稿で疑問を呈している。
バックマスターは、自身とアルペーゲが、コーデックスを含む複数のAIツールを広く活用しながら、滑らかな外力に関するこの問題への異例のアプローチを約1年間追求したと述べた。
彼は、自分以外に同じアプローチを追求している人はほとんどいないと述べ、ペアが進展を遂げたことを知った直後にOpenAIがどのようにしてそれに到達したのか疑問を呈した。
バックマスターは、OpenAIとの議論中に、最初にプロンプトを見せられ、同社の内部研究は問題文を超える人間の入力なしに始まったと説明されたと述べた。
バックマスターによると、その口座は会話の過程で変更され、OpenAIは最終的に、バックマスターとアルポーゲの研究に関する情報が会社に届いた直後に最初のプロンプトが送信されたことを認めた。
OpenAIは、その研究者やエージェントは公開前に自らの作業を確認していないこと、また特定のユーザーデータはアクセスされていないと回答しました。同社は、OpenAI製品の利用から派生した匿名化されたデータがモデルの改善に役立った可能性を排除できないと追加で述べましたが、その証明自体は大きく異なるとしています。
したがって、この証明はまだ公式に認定された解決策ではありません。賞を授与するクレイ数学研究所は、提案された解決策が長期間にわたる検証を経て、数学者の間で広く受け入れられるまで、100万ドルの賞金の授与を検討しません。
一方、OpenAIは賞を主張する意図がないと述べ、その結果を自社の研究システムがいかに急速に進化しているかの証拠と位置づけています。