オープンAI、ナビエ・ストークス解明主張に異議

オープンAIによるナビエ・ストークス方程式の解法発表は、AIがますます役割を果たす数学分野における重要な主張だ。同社は8月28日から高度な能力を持つモデルを訓練し、1000以上のエージェントを50時間以上投入した。計算コストは「数百万ドル単位」に上ったと研究責任者のマーク・チェン氏は述べ、こうした取り組みの規模を示している。

論争の焦点は、数学者トリスタン・バックマスター氏の疑惑だ。同氏はAnthropic研究者レベント・アルポーゲ氏と共に、関連分野での重要な進展を記した文書を公開。オープンAIが自分たちの研究を知り、問題に資源を投入し始めたため、結果と功績に影響を与えた可能性があると主張する。オープンAI側は、研究者セバスチャン・ブベック氏らの声明で非強制オイラーにおける両氏の優先権を認めつつも、プロンプトや証明を使用した事実はないと否定している。

この紛争は、AIの証明への関与が功績や方法論をめぐる衝突をより頻繁に引き起こす可能性を示している。結果は、Leanプログラミング言語で形式化されたオープンAIの証明が独立して検証されるかどうか、そしてバックマスター氏の疑惑が裏付けられるかどうかにかかっているかもしれない。数学者にとって、この出来事はデータ使用やAI研究所との協力に関する規範を形成し、こうした連携が進む中で透明性と帰属が重要になることを示唆している。