AI最新情報読了 8 分

「もう1つ、実質的な前進があった」——ナビエ・ストークスを解いたOpenAIが、次に挑む懸賞問題の中身

Shiritomo編集部 @shiritomoAI_jp 2026年9月11日更新

青い糸がねじれながら渦を巻き、上下に引き伸ばされていく——。
OpenAIが9月8日にXへ投稿した1枚の3D画像には、「inward spiral（内向きの渦）」「axial stretching（軸方向の伸長）」という英語の注釈が添えられていました。
これは、90年近く誰も解けなかった数学の超難問「ナビエ・ストークス方程式」の証明を可視化したものです。
この一報だけでも十分に大きなニュースでしたが、話題はここで収まらず、2日と経たないうちにさらに大きな噂が広がり始めました。
AI開発の現場で今何が起きているのか、AIを仕事に使っている人にも無関係な話ではありません。

先に結論をまとめると：
– OpenAIは9月8日、内部の未公開モデルとAIエージェント1万体を88時間動かし、ナビエ・ストークス方程式の証明を発表しました
– その2日後、OpenAIはニューヨーク・タイムズに対し「別のミレニアム懸賞問題でも実質的な前進があった」と認め、Xでは「ホッジ予想では」との噂が拡散しています
– どの問題かは未確定で、証明そのものの独立検証もまだ途上です。
数学界では期待と懐疑が入り混じっています

ナビエ・ストークス、AIエージェント1万体が88時間で出した答え

クレイ数学研究所が2000年に選んだ「ミレニアム懸賞問題」は、解けば100万ドルの懸賞金がつく7つの数学の超難問です。
これまで正式に解決したと認められたのは、2010年にクレイ数学研究所が認定したポアンカレ予想ただ1つでした。
残る問題の1つ「ナビエ・ストークス方程式の存在と滑らかさ」は、水や空気の流れを記述する基礎方程式が、時間が経っても常に滑らかな解を持ち続けるかを問うものです。

OpenAIが発表したのは、3次元の流体がこの方程式に従うとき、有限の時間内に「特異点」（速度が無限大に発散してしまう点）が生じうることを示す証明でした。
GPT-6 Astraを大幅に上回るという内部の未公開モデルが、1万体のAIエージェントを並行して88時間動かして解に到達し、機械的に正しさを検証できる「Lean形式化」（証明を形式言語に書き直し、コンピュータが1行ずつ論理を確かめる仕組み）も添えて公開しています。

その発表を伝えたのが、OpenAI公式アカウントの投稿です。

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

The problem… pic.twitter.com/8zol3BPTL4
— OpenAI (@OpenAI) 2026年9月8日

投稿は公開から数日で11万件を超えるいいねを集め、数学に詳しくない層にも一気に広がりました。
日本語圏でも反応は早く、次のような投稿が話題になっています。

「人間が約90年解けなかった数学の超難問が、AIで解決される時代。
約1万のAIエージェントを同時に並列で繋いで、88時間で証明に到達したと…」

人間が約90年解けなかった数学の超難問が、AIで解決される時代。

約1万のAIエージェントを同時に並列で繋いで、88時間で証明に到達したと…。

何が変わっていくかっていうと、科学技術の進化のスピードだよね。とんでもない時代がコッカラ来ンだよ。

お前ら、本当に理解しているのか？ https://t.co/tfsCapaiQ9 pic.twitter.com/VXeJCSnl12
— ゆきママ (@yukimamax) 2026年9月9日

ただ、この発表を巡ってはOpenAIの数学チームが競合する研究者の功績を軽視しようとしたとする告発も広がり、数学界の反応は一枚岩ではありませんでした（この経緯は本記事末尾の関連記事に詳しくまとめています）。
そして、騒動はこれで終わりませんでした。

OpenAIが認めた「もう1つの前進」、正体は何なのか

発表から2日と経たないうちに、OpenAIはニューヨーク・タイムズの取材に対し、「ナビエ・ストークスの完成以降、別のミレニアム懸賞問題でも実質的な前進があった」と認めたと報じられました。
どの問題かはOpenAI自身まだ明らかにしていませんが、Xでは「ホッジ予想」の名前が真っ先に挙がっています。
さらに、競合するAnthropicが別の懸賞問題「バーチ・スウィナートン=ダイアー予想」を解いたのではないかという噂まで飛び交い、憶測が憶測を呼ぶ状態になっています。

この動きをいち早く伝えたXの投稿の1つがこちらです。
「OpenAIがナビエ・ストークスの完成に続き、この5日間で別のミレニアム懸賞問題でも『実質的な前進』を遂げたとニューヨーク・タイムズに認めた」という内容です。

OpenAI confirmed to the New York Times that they have made "substantial progress" on another Millennium Prize problem in the last five days, and are preparing to announce.

The rumors for the last 48 hours have been OpenAI solved the Hodge Conjecture, and that Anthropic has… pic.twitter.com/zp42Yb3xyc
— Andrew Curran (@AndrewCurran_) 2026年9月10日

結局、証明は本当に正しいのか

ここまでの情報はいずれも当事者や関係者の発言をベースにしたもので、査読を経た論文として発表されたわけではありません。
ナビエ・ストークスの証明についても、数学界による独立した検証はまだ途上です。
OpenAIが賞金を請求しない方針を示しているのも、「まだ正式な認定を求める段階ではない」という位置づけを裏付けています。
一方で、AIが人間の目では追いきれない量の論理展開を88時間で積み上げられること自体は、すでに多くの数学者が認めるところです。
正しいかどうかの結論が出るのはこれからでも、AIが数学研究の土俵に本格的に上がってきた事実は動かなそうです。

この後、何を見ておけばいいのか

2つ目の懸賞問題がホッジ予想なのか、Anthropicが本当にバーチ・スウィナートン=ダイアー予想を解いたのかは、現時点ではいずれも噂の域を出ません。
OpenAIが正式に問題名を公表するタイミングと、独立した数学者による検証結果が出るタイミングの両方が、今後しばらくの焦点になりそうです。

Shiritomo編集部の考察：検証より先に「発表」が来る時代への備え

今回の一連の動きで注目したいのは、証明の中身そのものよりも「発表の順番」です。
本来なら査読や第三者検証を経てから公表されるはずの数学的成果が、先にXでの発表という形で世に出て、検証は後追いになっています。
これは論文だけの話ではなく、AIが生成する情報全般に言えることでしょう。
SNS運用やAI活用の現場でも、AIが出した「それらしい答え」を検証より先に共有してしまう場面は増えています。
今回の一件は、発信のスピードと正確性のバランスをどう取るかという、意外と身近な問題の縮図なのかもしれません。
数学の世界の出来事だからと片付けず、自分たちが日々AIの出力をどう扱っているか、振り返るきっかけにしてもよさそうです。