OpenAIのAIが88時間で解いた「ナビエストークス方程式」——90年間なぜ誰にも解けなかったの?

1万のAIが、88時間動き続けた。

目的は「90年間、世界中の数学者が解けなかった問題を解くこと」だった。

2026年9月8日、OpenAIがあるニュースを発表した。それがXで一気に広がり、今日のトレンドに「ナビエストークス」という文字が躍り出た。「それ、なに?」と思った人は多いだろう。数学の授業で習ったことがない名前だ。

でも、実はこの方程式、天気予報・飛行機の設計・血液の流れまで、身の回りのあちこちで使われている。解けたとしたら、世界が少し変わるかもしれない。なぜ90年間も謎のままだったのか、1万のAIが88時間で何を証明したのか、順番に見ていこう。

• OpenAIが2026年9月8日、ナビエストークス方程式を解いたと発表した
• 100万ドルの賞金がかかる「ミレニアム懸賞問題」の1つで、約90年間未解決だった
• 1万のAIエージェントが88時間並列で動き、「有限時間爆発」という証明を出した
• 正式認定には査読と2年以上の検証期間が必要で、功績争いも起きている
• OpenAIは「賞金は請求しない」と表明、AI能力のデモとして結果を公開した

ナビエストークスって、どんな方程式?

水がどう流れるか、風がどう動くか。そういった「流体（つまり、液体や気体の動き）」を計算するための方程式が、ナビエストークス方程式だ。

1822年と1845年にフランスとイギリスの数学者が別々に作り、やがて2人の名前を合わせて「ナビエストークス」と呼ばれるようになった。

台風の雨雲がどこへ進むかを予測するのも、飛行機の翼が空気抵抗をどう受けるかを設計するのも、この方程式がベースになっている。身近なところでは、スポーツ飲料がビンの中でくるくる回るようすも、正確に計算できる。

ただし大切なのは「使える」ことと「証明できる」ことは別だ、ということだ。ナビエストークス方程式はコンピュータでのシミュレーションに長年使われてきた。でも「この方程式の答えが、どんな状況でも必ず存在するか」は、数学的にまだ証明されていなかった。

その「未証明の核心部分」こそが、今回解かれたとOpenAIが主張しているところだ。次のセクションで、なぜそれが90年間難しかったのかを見ていこう。

なぜ90年間、誰にも解けなかったの?

ここが一番おもしろい部分だ。

コンピュータでシミュレーションすれば「だいたいこうなる」という結果は出せる。でも数学の世界では「だいたい」は証明にならない。「どんな条件でも、絶対にこうなる」と示さないといけない。

ナビエストークス方程式の難しさは、ある条件下で「答えが爆発的に発散するか、それとも滑らかに続くか」がわからない点にある。水の渦を思い浮かべてほしい。回転する水はだんだん速くなることがある。では「無限に速くなって、答えが崩れてしまうのか」「それとも崩れずに続くのか」——この問いに、数学的な確実な答えがなかった。

この問いに100万ドルの賞金をつけたのが「ミレニアム懸賞問題（Millennium Prize Problems）」だ。2000年にクレイ数学研究所が「世界で最も難しい7つの問題」を選び、それぞれに100万ドルを用意した。

ナビエストークスはその1つで、2026年まで正式に解かれたのは「ポアンカレ予想（2003年、数学者グリゴリー・ペレルマンによる）」だけだった。今回、2つ目の解決になるかもしれない——それが衝撃の理由だ。どんな方法でAIが突破したのかは、次のセクションで説明する。

1万のAIが88時間でやったこと

OpenAIは今回、まだ一般公開していない次世代モデルを使った。「GPT-6 Astraよりも、はるかに能力が高い」と説明している。

そのAIが約1万のエージェント（並列で動く分身のようなもの）を同時に起動した。1万の分身が「違う角度から同じ問題にアプローチ」し、情報を共有しながら進めた。かかった時間は88時間——丸3日半ちょっとだ。

コストは「数百万ドル（数億円）」とOpenAIは明かしている。

そして出た答えは「有限時間爆発（finite-time blowup）が起きる」というものだった。特定の渦の条件下では、方程式の答えが有限の時間で崩れてしまうことを示した——ということだ。

さらにLean（リーン）と呼ばれる形式証明システムで検証済みとしている。Leanは「数学の証明を機械が確認できる言語」で、人間の見落としをなくすために使われる専用ツールだ。でもこれがゴールではなく、人間の数学者による確認が次のステップになる。

「本当に解けたの?」という疑問も残る

ただし、数学の世界で「解けた」と認められるには、もう少し時間がかかる。

ミレニアム懸賞問題の賞金は、発表から2年間の査読（専門家の審査）を経て初めて認定される。ペレルマンのポアンカレ予想の証明も、認定まで3年かかっている。

今回は別の問題もある。数学者のセバスチャン・ビュベック（Sébastien Bubeck）が「OpenAIの成果は、自分たちの未公開研究の内容と重なっている」と主張しているのだ。功績の帰属——誰が最初にこのアイデアを持ったか——をめぐって、現在もやりとりが続いている。

OpenAI自身も「賞金は請求しない」と表明していて、あくまで「自分たちのAIの能力を示すため」に結果を公開したと説明している。部活の大会で「どちらが最初にアイデアを出したか」という確認が続いているような状況だ。次は、この問いが「解けた」としたら何が変わるのかを見ていこう。

解けたら、天気予報や飛行機が変わる?

ナビエストークス方程式は「使える計算式」としてすでに活躍しているが、解の性質がわかることでより精度が上がる可能性がある。

天気予報を例にとると、現在の気象シミュレーションは「方程式が爆発しないよう、うまく近似して計算する」方法を使っている。「爆発する条件」が明確になれば、そこを避けた計算が設計でき、予報の誤差が減る可能性がある。

飛行機の設計でも同じで、乱流（気流の乱れ）の計算がより正確になれば燃費の改善につながる。医療では、血液の流れや脳梗塞・動脈瘤の研究にも関係してくる。

ただし「証明されたから明日から変わる」というものではない。証明の内容を応用に落とし込む研究が必要で、実際に活用されるまでには数年〜数十年かかるのが普通だ。それでも「理論の壁が取り除かれた」ことの意味は小さくない。

よく聞かれる疑問（Q&A）

Q. ミレニアム懸賞問題って、あと何個残ってるの?

ポアンカレ予想が2003年に解かれていて、ナビエストークスが正式認定されると残りは5問になる（現在はまだ認定待ち）。残る問題には「P対NP問題」「リーマン予想」などがある。それぞれに100万ドルの賞金がついている。

Q. OpenAIの「未公開モデル」って、GPT-6より強いってこと?

そう説明されている。GPT-6 Astra（2026年時点でのOpenAIの最新公開モデル）より「はるかに能力が高い」とOpenAIが述べているが、具体的なモデル名や仕様は公表されていない。

Q. なんでOpenAIは100万ドルをもらわないの?

OpenAIは「賞金は請求しない」と表明している。この結果は「AIの能力を示すため」に公開したもので、賞金よりも「AIがここまで進化した」というメッセージを届けることが目的だったようだ。

Q. ナビエストークス方程式って、学校で習うの?

中学・高校の通常カリキュラムでは習わない。偏微分方程式（へんびぶんほうていしき）と呼ばれる種類の方程式で、大学の理工学部に入ってから学ぶ内容だ。ただし「水がどう流れるか」という問いへの好奇心は、いつから持ってもいい。

Q. AIが難問を解いていったら、数学者の仕事はなくなるの?

今のところAIは「証明の探索」を加速するツールで、その証明が正しいかを判断するのは人間の数学者だ。今回もLean形式証明で確認された後、専門家の査読が必要になる。AIが「問題を自分で発見する力」を持つようになるかは、まだ未知数だ。

Q. ナビエストークス方程式が解けたら、天気予報は具体的にどう変わるの?

理論的には、現在「爆発しないよう近似している部分」をより正確に計算できるようになる可能性がある。ただし研究の成果が実際の気象モデルに組み込まれるまでには、数年〜十数年の研究が必要だ。

AIが数学を証明した日の、本当の意味

OpenAIの発表が正式に認められるには、まだ時間がかかる。功績の問題も解決されていないし、査読にはおそらく2年以上かかる。

でも今回の出来事は「証明できた・できない」以上の意味を持っている。AIが1万という分身を使い、人間が90年かけても解けなかった問題に「答え」を出した。それも88時間で。

数学は「正しいか正しくないか」がはっきりしている世界だ。そこにAIが本格的に入ってきたという事実は、これからの科学の進み方を変えていく可能性がある。

残り5つのミレニアム懸賞問題も、いつかAIが解く日が来るかもしれない。今日の出来事がその第一歩だとしたら、「ナビエストークス」という名前は、これから教科書に載る可能性だってある。