OpenAI、ミレニアム賞問題の解決を主張、学者らが功績に異議

OpenAIは、その人工知能システムがミレニアム賞問題の一つであり、数学で最も難しい未解決問題の一つであるナビエ・ストークス問題を解決したと主張している。

同社によると、10,000のAIエージェントが88時間協力して証明を生成した。しかし、ニューヨーク大学のTristan Buckmaster教授が功績の帰属に異議を唱えている。

OpenAIの主張

ナビエ・ストークス方程式は、空気や水などの流体の運動を支配する。

OpenAIによる証明は、方程式が有限時間爆発を示す可能性があることを示している。これは流体速度が滑らかさを保たず無限大になる現象である。

私たちは、数学の最前線にある最も深遠な問題の一つであるナビエ・ストークス・ミレニアム賞問題の解決策を共有しています。

この証明は、GPT-6 Astraをはるかに凌ぐ性能を持つOpenAIの次世代モデルを使用したエージェント群によって生成されました。

問題… pic.twitter.com/8zol3BPTL4

— OpenAI (@OpenAI) 2026年9月8日

この解決策は、OpenAIによると公開中のGPT-6 Astraシステムを上回る性能を持つ未公開モデルによって生成された。

その後、GPT-6 Astraが17時間かけて証明の論理的整合性を検証した。

クレイ数学研究所は7つのミレニアム問題それぞれに100万ドルの賞金を設定している。OpenAIはその賞金を請求しないと述べている。

功績をめぐる論争

ニューヨーク大学のTristan Buckmasterは、自身とAnthropicの数学者Levent Alpögeが関連する結果に近づいていたと述べている。

彼らの研究は、コーディング向けAIモデルであるOpenAIのCodex内に保存されていた。Buckmasterは、これによりOpenAIチームがアクセスできた可能性があると指摘した。

Buckmasterは公開声明で懸念に直接言及した：

「私は彼らのモデルが何をしたのか、どのようにしたのかを知りません。私たちのデータが使用されたかどうかも分かりません。私は誰も何も非難しているわけではありません。」

— Tristan Buckmaster、ニューヨーク大学数学者

記者会見で、OpenAIの研究者Sebastien Bubeckが応じた。彼は、同社が彼らの未発表研究にアクセスしたり利用したりしたという主張を否定した。

OpenAIは別の点も認めた。研究者による製品の使用がモデルの学習に影響を与えた可能性を排除できないとしている。

この論争は、OpenAIが報告されている1兆ドルの新規株式公開（IPO）に向けて準備を進めている中で発生している。Anthropicは独自のIPOを通じてさらに高い評価額を求めている。