OpenAIは、AIシステムがナビエ–ストークス問題を解決したと発表しました。これは数学で最も難しい未解決問題である7つのミレニアム賞問題の一つです。
同社は、10,000のAIエージェントが88時間にわたり協力して証明に到達したと述べた。NYUのトリスタン・バックマスター教授は、その功績をめぐって異議を唱えている。
OpenAIが主張すること
ナビエ–ストークス方程式は、空気や水などの流体の動きを記述します。
OpenAIの証明は、流体の速度が滑らかに保たれるのではなく無限に発散する有限時間内に爆発が発生しうることを示唆している。
この証拠は、OpenAIがリリース済みのGPT-6 Astraシステムを上回ると述べている未リリースのモデルから得られました。
GPT-6 Astraはその後、17時間かけて証明の論理を検証しました。
クレイ数学研究所は7つの問題のいずれかを解くことで100万ドルを提供しています。OpenAIは、この賞金を請求しないと述べています。
クレジット異議
NYUの教授トリスタン・バッカマスターは、自身とAnthropicの数学者レヴェント・アルポーゲが関連する結果に近づいていたと述べている。
彼らの作業は、コーディングに特化したAIモデルであるOpenAIのCodex内に存在していた。バックマスターは、それがOpenAIのチームにさらされた可能性があると述べた。
バックマスターは公の声明でその懸念に直接対応しました：
彼らのモデルが何をしたのか、どのようにしたのかはわかりません。私たちのデータが使用されたかどうかもわかりません。誰かを非難しているわけではありません。
— Tristan Buckmaster、ニューヨーク大学の数学者
OpenAIの研究者セバスチャン・ブベックが記者会見で発言し、同社が未発表の作業にアクセスしたり使用したりしていないことを否定した。
OpenAIはもう一つの点も認めた。研究者の製品利用がそのモデルの学習に影響を与えた可能性を完全に否定できないということだ。
この裁判は、OpenAIが報告されている1兆ドルの上場に向けて準備を進めている時期に発生しています。Anthropicは、自社のIPO推進を通じて、さらに大きな評価額を追求しています。