AIが100万ドルの数学問題を解いたらしいので、ゼロから調べ倒してみた

2026年10月17日　書いた人：独身A

「AIが100万ドルの数学の難問を解いた」というニュースを見た。2026年9月のことで、問題の名前は「ナビエ・ストークス方程式」。

名前を聞いても、何ひとつ浮かばなかった。

数学は高校で静かにあきらめた側の人間なので、普段なら見出しだけ読んで通り過ぎるところなんだけど、「100万ドル」と「AI」が並んでいると、さすがに中身が気になる。日本語の記事は「すごい」「歴史的」で終わっていて、何がすごいのかまでは書いていなかったので、また英語の記事を読みあさった。発表したOpenAI自身の説明、数学専門のメディア、懸賞を出している研究所のコメント、証明に疑問を投げた論文まで。

先に言っておくと、この記事を読むのに数学の知識はいらない。式もほとんど出てこない。わたしが理解できた範囲を、理解できた順番で書いていく。

まず、「100万ドルの数学問題」ってなに

2000年に、アメリカのクレイ数学研究所という団体が、数学の大きな未解決問題を7つ選んで、それぞれに100万ドルの懸賞をかけた。「ミレニアム懸賞問題」と呼ばれている。発表

7つのうち、これまでに解けたのは「ポアンカレ予想」のひとつだけ。ロシアの数学者が解いて、賞金を受け取らなかったことでも有名になった。残りの6つは、20年以上たってもまだ誰も解いていなかった。ナビエ・ストークス方程式は、その残り6つのうちのひとつ。

ちなみに100万ドルは、日本円にすると1億円をゆうに超える。数学の問題につく値段としては、ちょっと聞いたことがない。

ナビエ・ストークス方程式は「流れのルール」

調べてみてまず安心したのは、この式が言っていること自体はわりと素朴だったこと。

川の水を、小さなかたまりに分けて考える。ひとつのかたまりがどっちへ、どれくらいの勢いで動くかは、だいたい次の3つで決まる。まわりの水から押される力（圧力の差）。ねばりによるブレーキ。重力のような、外から加わる力。

ナビエ・ストークス方程式は、これを全部のかたまりについて同時に書いたもの。19世紀にフランスのナビエと、イギリスで活躍したストークスがまとめたので、2人の名前がついている。天気予報、飛行機の設計、血液の流れのシミュレーションまで、流れを計算するところではだいたいこの式が使われているらしい。

じゃあ、何が「未解決」なのか

ここが最初のつまずきポイントだった。式は200年近く前からあって、毎日使われている。なのに何が解けていないのか。

答えは、「この式で計算した流れは、いつまでもなめらかなままなのか」がわかっていない、ということだった。

なめらかというのは、速さや向きが場所によってなだらかに変わっていく状態のこと。ふつうの水の流れは、だいたいこう見える。ところが理屈の上では、ある一点だけ速さがどんどん上がって、有限の時間のうちに無限大になってしまう可能性がある。そうなると式はそこで意味をなくす。数学ではこれを「爆発（ブローアップ）」とか「特異点ができる」と呼ぶ。

「有限の時間で無限大」というのがピンとこなかったので、自分でグラフを描いてみた。

灰色のほうは、どれだけ大きくなっても、どの時刻でも数字としては決まっている。赤いほうは、大きくなるほど増え方が加速するので、1秒ちょうどで数字として決まらなくなる。ナビエ・ストークス方程式の流れが、赤みたいなことを起こすのかどうか。それが問われていた。

なぜ「爆発するかも」と疑われていたのか

カギは渦だった。フィギュアスケートの選手が、広げていた腕を縮めると回転が一気に速くなる。水の渦も同じで、渦が細く引き伸ばされると、そのぶん速く回る。細くなるほど速く回り、速く回るほどさらに引き伸ばされる、という悪循環が続けば、一点で速さが無限大になってもおかしくない。推測

一方で、水にはねばりがある。ねばりは速さの差をならして、渦をなだめる方向に働く。

つまり式の中で、「渦が細く速くなろうとする力」と「ねばりが止めようとする力」が綱引きをしている。どちらが最後に勝つのかを、誰も証明できなかった。

問題は4通りの形で出されている

ここは調べていて意外だったところ。懸賞の問題文は、数学者のチャールズ・フェファーマン氏が書いたもので、答え方が4通り用意されている。発表

大きく分けると2種類。「どんなになめらかな始まり方でも、ずっとなめらかなままだ」と証明するか（AとB）。「なめらかに始まったのに、途中で爆発する例がある」と示すか（CとD）。どれかひとつに答えられれば、問題は解けたことになる。

CとDでは、外から「なめらかな力」を加え続けてもいいことになっている。なめらかな力というのは、急にガツンと叩くような力ではなく、場所によっても時間によってもなだらかに変わる力のこと。水をかき混ぜ続けるスプーンを、ものすごく行儀よくしたもの、くらいに思っている。推測

そして大事なのが、力を加えない場合（AとB）は、いまも誰にも答えが出ていないということ。今回の発表で「ナビエ・ストークス問題が全部終わった」わけではなかった。報道

AIは何をしたのか

OpenAIの発表を自分なりに読むと、こうなる。

止まっている、なめらかな水がある。そこに、なめらかな力を加え続ける。すると、有限の時間のうちに一点で速さが無限大になる。そういう例をAIが組み立てて、証明まで書いた。発表

やり方がまた、人間の数学とはだいぶ違う。社内のまだ公開していないAIを、およそ1万体同時に動かして、お互いにやりとりさせながら取り組ませたそうだ。9月5日、動かし始めてから約88時間で答えにたどり着いた。そのあいだにAI同士が送り合ったメッセージは約270万通。発表 かかった計算の費用は数百万ドル規模だと、OpenAIの幹部が話している。報道

そのあと、別のAIが17時間かけて、証明を「Lean」というコンピュータ用の言葉に書き直し、機械で正しさを確認したという。発表 Leanについては、あとでもう少し書く。

OpenAIは、この結果で賞金を受け取るつもりはない、とも書いていた。発表

「爆発」はどうやって作るのか

ここはさすがに証明の中身までは追えなかった。ただ、数学専門のメディアQuanta Magazineの記事によると、今回の証明の土台には、スペインの数学者ディエゴ・コルドバ氏とルイス・マルティネス＝ソロア氏が考えた作戦があるらしい。報道

その作戦は、爆発しない流れを「層」として無限に重ねていく、というもの。1つ目の層の動きが、ひとまわり小さくて速い2つ目の層を生み、それがさらに小さくて速い3つ目の層を生む。この連鎖（カスケード）を無限に続けると、最後に一点で爆発が起きる。2023年に2人は、この作戦で、ねばりのない水の式（オイラー方程式）が爆発する例を作っていた。ただそのときは、外から加える力がなめらかではなかったので、懸賞の条件には届かなかった。報道

無限に重ねるのに有限の時間で終わるのが不思議だったので、わたしなりのたとえで計算してみた。層がひとつ進むたびに、大きさが半分になって、速さが2倍になって、かかる時間が半分になるとする。1層目に0.5秒、2層目に0.25秒、3層目に0.125秒。足していくと、何層進んでも合計は1秒を超えない。でも速さのほうは、層が進むたびに倍々で増えていく。推測

数学者のコルドバ氏はQuantaの取材に、「10年前は、ナビエ・ストークス方程式に特異点があるなんて誰も信じていなかった」と話している。報道 懸賞の問題文を書いたフェファーマン氏も、解けたことに「ぞくぞくした」と言いつつ、物語の主役はこの2人だと名前を挙げていた。報道

「機械で確認済み」なのに、まだ確定じゃない理由

ここがいちばん面白かったところかもしれない。

Leanは、数学の証明を一行ずつ機械でチェックするためのソフト。正しく書けていれば通り、ひとつでも論理が飛んでいれば止まる。計算ドリルの自動採点みたいなもので、採点自体はほぼ間違えない。推測

問題は、人間の言葉で書いた証明を、Leanの言葉に「翻訳」するところ。今回はそこもAIがやった。10月6日、数学者らのグループが「Leanで確認された証明は、OpenAIが文章で説明した証明と一致していない」とする論文を出した。報道 採点機は正しく採点したけれど、問題文を写す段階でずれていたかもしれない、という指摘だ。

ただし、この論文の著者は、OpenAIの証明そのものが間違っているとは言っていない。OpenAIも、文章とコードのずれは把握していて、見つかった誤りは直していく、とメディアに答えている。報道 いまの状態を正直に書くと、「たぶん大筋は合っていそうだけど、人間がきちんと確かめ終わるまでは確定ではない」になる。推測

賞金は出るのか

懸賞を出しているクレイ数学研究所は、発表から3日後の9月11日に、問題は「どうやら解決されたようだ」とコメントした。報道 ただ同時に、審査は「わざとゆっくり」「徹底的に厳密に」進めると話していて、いまも公式には未解決の扱いのまま。報道

研究所のルールでは、ふつうは専門家の査読がある場所で論文として発表されて、さらに時間をかけて数学者たちの検証に耐えることが求められる、と伝えられている。報道 そもそもOpenAIは賞金を受け取らないと言っているので、100万ドルの行き先は、しばらく決まりそうにない。

「誰が最初に解いたか」の話もある

もうひとつややこしいのが、同じころに人間の数学者のチームも近い結果を出していたこと。ニューヨーク大学のトリスタン・バックマスター氏と数学者のレベント・アルペゲ氏は、OpenAIの発表の数時間前に、なめらかな力を加えたオイラー方程式（ねばりのない水の式）などで爆発が起きることを示す論文を出していた。2人もAIを道具として使っていたそうだ。報道

OpenAIは、力を加えたオイラー方程式については2人が先だったと認めている。発表 どちらがどれだけ影響し合ったのかについては、双方の言い分が食い違っていて、まだ整理がついていない。報道 ここは当事者の話を外から判断できないので、食い違っている、とだけ書いておく。

わたしたちの生活に関係はあるのか

正直に言うと、明日からの天気予報が当たるようになるわけではない。

本物の水や空気は小さな分子の集まりで、ナビエ・ストークス方程式はそれを「なめらかな液体」とみなして計算している。爆発が起きるような極端に小さいところでは、そもそもこの見なし方が通用しなくなる。アメリカの研究者は、空気なら渦の太さが70ナノメートルくらいになったところで特異点が現れる、という見積もりをNatureに話していた。報道 髪の毛の太さのおよそ1000分の1だ。

それでもすごいとされている理由は、2つある気がしている。ひとつは、毎日使われている式が、理屈の上ではこんなに危ういふるまいをすると示したこと。もうひとつは、数学の最前線の問題で、AIが証明の中心を担ったこと。数学者のテレンス・タオ氏は、こうした難問を解くこと自体は数学の理解を深めるための「代わりの目標」にすぎない、という趣旨のことを書いていて、わたしはこれがいちばんしっくりきた。報道

調べてもわからなかったこと

人間の数学者による検証がいつ終わるのか。Leanのコードと文章の証明のずれが、どれくらい大きいものなのか。力を加えない場合（AとB）にも爆発は起きるのか。どれも、まだ誰にも答えが出ていない。

このページは、新しい情報が出たら書き足していく。

ついでに気になったこと

AIが数学者の仕事を奪うの？

わからない。ただ、今回の証明の土台になる作戦を考えたマルティネス＝ソロア氏は、AIはこれまで自分のやり方に合わなかったけれど「自分のほうが合わせないといけないね」と話している。報道 奪われるというより、道具が急に変わった、という空気を感じた。推測

ほかのミレニアム懸賞問題もAIが解くの？

これも誰にもわからない。今回は、人間が何年もかけて作った作戦があって、その上にAIが積み上げた形だった。

「爆発」って、本当に水が爆発するの？

しない。式の中で、ある一点の速さが無限大になって、計算が意味をなくすことをそう呼んでいるだけ。本物の水はその前に分子の世界に入ってしまう。

読みあさった記事の一覧

英語の記事を中心に、9月8日の発表から10月上旬までに出たものを読んだ。記事によって説明が食い違うところは、OpenAIの発表本文と、数学専門メディアのQuantaの記述を優先した。

• OpenAI：On the Navier–Stokes Millennium Prize Problem
• Quanta Magazine：AI Has Solved One of Math's $1 Million Millennium Prize Problems
• Implicator：Clay Institute Won't Call Navier-Stokes Solved by OpenAI
• Xenospectrum：クレイ研究所の審査の進め方について
• Xenospectrum：OpenAI Claims Its AI Proved a Navier-Stokes Blowup
• ScienceABC：Did AI Solve The Navier-Stokes Problem? What Was Proved, And Why It Isn't Over
• The Tufts Daily：Mathematicians still checking the Navier-Stokes proof
• AI Weekly：Paper flags gap in OpenAI's Lean-verified Navier-Stokes proof
• arXiv：Navier-Stokes lost in translation（Bastounis, Circelli, Hansen）
• Wikipedia：Navier–Stokes existence and smoothness

更新履歴：2026年10月17日 公開

※この記事は2026年10月17日時点の海外報道と発表をもとに、数学の専門家ではない個人が調べてまとめたものです。「推測」と書いたところはわたしの考えやたとえで、証明の中身を正確に説明したものではありません。