投稿者 投稿日: カテゴリー AIニュース
OpenAIのAIエージェント約1万体が、ミレニアム懸賞問題の一つを解いたと発表しました。
2026年9月8日、OpenAIの数学チームが、未公開の内部モデル上で動く約1万体の自律AIエージェントを使い、3次元ナビエ・ストークス方程式に特異点が存在することを示したと発表しました。これは2000年にクレイ数学研究所が提示した、1問あたり賞金100万ドルのミレニアム懸賞問題の一つにあたります。同研究所は9月11日、この問題が「どうやら解決されたようだ」とする声明を出しました。本記事は、EC支援19年・5,000社超の実績を持ち、AI導入支援は2023年から提供する株式会社オルセル（うるチカラ運営）が解説します。
AIエージェント1万体が88時間で出した証明とは何か
今回の発表の中身は、AIエージェントの大群による分業で、88時間かけて数学の証明を組み上げたというものです。Quanta Magazineによると、OpenAIはまず約100体のエージェントを約50時間動かしてオイラー方程式に関する結果を出し、続いて約1万体という規模に拡大してナビエ・ストークス問題に取り組みました。88時間後に特異点の証明が得られ、さらに17時間かけて別のAIモデルがその証明を形式化しています。エージェント同士がやり取りしたメッセージは合計で約500万通にのぼり、OpenAIのセバスチャン・ブベックは計算コストを数百万ドル規模と見積もっています。
ナビエ・ストークス方程式は、19世紀半ばに書き下された、海流から気流までの流体の動きを記述する微分方程式です。長年未解決だったのは、その解が常に滑らかなままなのか、それともごく微小な部分が無限の速さで流れ出す「特異点」が生じうるのか、という問いでした。今回示されたのは後者、つまり特異点は生じうる、という答えにあたります。
重要なのは、この証明がLeanというプログラミング言語で形式検証されている点です。形式検証は、証明の論理的な穴を機械的に潰す仕組みで、数学者が結果の正しさに一定の確信を持てる根拠になります。ただしQuantaも指摘するとおり、Leanで真だと示された命題が、数学者が本来証明したかった命題と論理的に同値かどうかを確かめる作業は、依然として人間の仕事として残ります。
なぜ重要か：証明を「誰が書いたか」が曖昧になり始めた
今回の件が業界にとって重い理由は、成果そのものよりも、成果の帰属と検証のプロセスが揺らいだことにあります。クレイ数学研究所は9月11日の声明で、ナビエ・ストークス問題が「どうやら解決されたようだ」と述べたうえで、賞の授与に至る評価と功績の割り当てのプロセスは「意図的に急がない」と明記しました。同研究所の規定では、ミレニアム懸賞問題の解決は査読付き論文の形をとる必要があり、その後さらに精査されます。つまり現時点は「解決した」ではなく「解決したらしい」という段階です。
功績をめぐる争いも起きています。OpenAIの発表の12時間前には、ニューヨーク大学のトリスタン・バックマスターが、Anthropicのレベント・アルペジとの共同研究で関連する複数の問題を解いたと公表していました。OpenAIは3次元オイラー方程式の結果についてはこの2人の先行を認める一方、ナビエ・ストークスについては自社の成果だと主張しています。バックマスターは、自分たちがOpenAIのモデルを使って進めた研究の内容が、OpenAI側に伝わった可能性を示唆しています。当事者それぞれの言い分が食い違っており、経緯の確定にはまだ時間がかかりそうです。
もう一つ見落とされがちなのが、土台をつくったのが人間だという点です。マドリードのICMATのディエゴ・コルドバと、CUNEF大学のルイス・マルティネス・ソロアは、コンピュータに頼らない解析的手法を2021年頃から積み上げ、2023年にはオイラー方程式の特異点を示していました。今回の2チームはいずれもこの研究に強く依拠しています。AIが最後の一段を登ったとしても、階段そのものは人間が組んだという構図です。
今後の動き：検証プロセスと、エージェント運用のコスト感
今後しばらくは、証明の中身よりも検証の手続きが焦点になります。クレイ数学研究所が査読付き論文を待つ以上、賞金の授与や「解決」の公式認定が出るまでには相当の時間がかかります。その間に、Leanの形式検証をどこまで信頼してよいのか、AIが生成した長大な証明を人間がどう読むのか、といった作法の議論が進むはずです。バックマスター自身が、公開した論文の一つを「AIスロップとしか言いようがない」と表現しており、読みやすさと正しさは別問題だという現実も突きつけられています。
ビジネス側から見て拾っておきたいのは、数字で示されたマルチエージェント運用の輪郭です。約1万体を88時間動かし、約500万通のメッセージをやり取りして、コストは数百万ドル規模。AIエージェントを大量に並列で走らせるという発想が、いまどのくらいの資源を食うのかが、初めて具体的な桁で示されました。ECの現場で語られるエージェント活用は、せいぜい数体から数十体の規模です。うるチカラでもAIエージェントのトークン消費が14倍に伸びた件を取り上げましたが、今回の数字はその延長線上にある上限値として参考になります。規模を上げれば解ける問題の幅は広がるが、コストは線形では済まない、という感覚を持っておく価値はあります。
まとめ
AIエージェント約1万体が88時間でミレニアム懸賞問題の一つに答えを出し、クレイ数学研究所は「どうやら解決されたようだ」という慎重な表現で受け止めました。形式検証は通っているものの、査読も功績の確定もこれからです。AIが到達点を押し上げた一方で、土台は人間の研究者が長年かけて積み上げたものでした。過去のOpenAIによる未解決数学問題の発表や、LLMが得意な数学と不得意な数学の切り分けとあわせて追うと、いまAIがどこまで来ているのかが見えてきます。
参考文献
- Quanta Magazine – AI Has Solved One of Math’s $1 Million Millennium Prize Problems
- Clay Mathematics Institute – Navier-Stokes Announcement
- Clay Mathematics Institute – Navier-Stokes Equation（問題の公式説明）
- Clay Mathematics Institute – Rules for the Millennium Prize Problems
- Tristan Buckmaster – Statement
※うるチカラでは、生成AIの導入支援から運用最適化まで、貴社のEC事業に合わせたカスタマイズ提案を行っています。無料相談（30分）も実施中ですので、お気軽にお問い合わせください。
https://uruchikara.jp/contact/
引用元: Quanta Magazine
【監修】齋藤竹紘（株式会社オルセル代表 / 19年・5,000社のEC支援実績）
株式会社オルセル代表取締役 / うるチカラ編集長。19年・5,000社以上のEC支援実績を持ち、楽天市場・Amazon・Yahoo!ショッピング・Shopify・Shopee越境ECの実装ノウハウを保有。AI×ECに関する書籍を3冊執筆。「現場で使えるAI実装」を一次情報として発信しています。
この記事を読んだ人は、こんな記事も読んでいます
