OpenAI、渦巻く論争の中で数学における驚異的なブレイクスルーを主張

史上2度目となる、7つのミレニアム懸賞問題の1つの解決が成し遂げられた。数学界最大の標的であるこれらの問題には、それぞれ100万ドルの賞金がかけられている。しかし、1度目とは異なり、今回の解決者は人工知能のスタートアップだった。

今日、OpenAIは自社の内部モデルが、数学者が流体の動きを研究するために用いるナビエ–ストークス方程式には致命的な欠陥があることを証明したと発表した。この発表は、数学者のTristan Buckmasterが、彼と彼の同僚であるLevent Alpögeが関連する問題を解くために特定の手法を用いていることをOpenAIが察知した後に、同社がその証明に取り組んだと主張したことを受けてのものだ。OpenAIはこれらの疑惑を否定している。

OpenAIの証明は、まれなケースにおいてナビエ–ストークス方程式が「爆発（blow up）」すること、すなわち、流体の速度がある地点で無限大になることを示している。これは自然界では不可能な現象である。同社は、この証明がプログラミング言語Leanを使用して検証されたと述べており、その正しさはほぼ保証されている。

科学ジャーナリズムへの支援について

この記事をお楽しみいただけているなら、購読による私たちの受賞歴のあるジャーナリズムへの支援をご検討ください。購読いただくことで、今日の私たちの世界を形作る発見やアイデアに関する、影響力のある物語の未来を確かなものにする助けとなります。

「少しショックを受けています」とDiego Córdobaは語る。彼とLuis Martínez-Zoroaは、AIがこの問題を解決するために使用した「フォーシング（forcing）」と呼ばれる手法を本来開発した人物だ。「もし解決されたのであれば、私たちにとって大きな驚きです」とCórdobaは言う。

OpenAIが証明を発表する前夜、Buckmasterは、彼とAlpöge（同じく数学者でありAnthropicの従業員でもある）が、ナビエ–ストークス問題解決へのステップと広く見なされているオイラー方程式を「爆発」させたとSNSに投稿した。月曜日に発表された声明の中で、Buckmasterは、OpenAIが先週の時点で二人の進捗を知り、BuckmasterとAlpögeが完全な問題を解くために用いていたのと同じ手法を採用したと主張した。

火曜日の記者会見で、OpenAIの数学者Sebastien Bubeckは証明の起源に関する噂を否定した。Bubeckは、OpenAIの内部モデルはBuckmasterとAlpögeが採用した手段とは全く異なる方法で、独自にオイラー問題を解決したと述べた。しかし、ナビエ–ストークスの完全な問題に対するOpenAIの解法は、二人の数学者が使用したのと同様の手法に従っていた。そしてBubeckによれば、その証明は週末にかけて作成されたという。つまり、Buckmasterが自身とAlpögeの結果のニュースがOpenAIに届いたと主張する時間よりも後のことである。Bubeckは、二人の数学者の研究がOpenAIに影響を与えたことを強く否定した。「私たちは彼らのプロンプトもモデルも証明も使用していません」と彼は述べた。