OpenAIが2026年9月に発表したナビエ・ストークス方程式のミレニアム懸賞問題に関する主張は、具体的な数学的構成に基づいています。流体の速度場は、初めは滑らかで、滑らかな外力を受け、運動エネルギーも有限に保たれるにもかかわらず、有限時間で非有界になるというものです。OpenAIは解析的な論文と、明示的な規則に照らして数学的議論を検証するシステム「Lean」で形式化した証明の両方を提示しました。正式に解決されたミレニアム懸賞問題と見なされるには、なお独立した検証が必要です。
主張が対象とする条件
クレイ数学研究所は2000年、7つのミレニアム懸賞問題を設定し、それぞれに$100万の賞金をかけました。今回の発表以前に正式に解決されたのは、1問だけでした。ナビエ・ストークス問題が問うのは、厳密に定められた条件の下で流体運動の方程式が何を許すかです。目を引く渦巻きをシミュレーションで作れるかどうかだけを問うものではありません。
OpenAIの論文が対象とするのは、公式の問題文にある命題Cです。命題Cでは、R³と表記される3次元空間で、滑らかな解が有限時間の後に破綻することを求めます。その構成は、滑らかで発散がゼロの速度場から始まり、滑らかな外力を用い、問題が定める有限エネルギーの要件を満たさなければなりません。「発散がゼロ」とは非圧縮性を表し、モデル上の微小な流体要素は移動しても体積が変わりません。
OpenAIの構成では、流体は静止状態から始まります。その後、設計された外力によって、時刻t = 1に速度が特異点、つまり非有界な値へ向かいます。これは、こうした条件の下で滑らかな解が常に滑らかさを保つという考えへの反例です。通常の液体が無限の速度に達し得ることを示したものではありません。
移動する流体要素が重要な理由
ナビエ・ストークス方程式は、ニュートンの「力＝質量×加速度」という考え方を、場所や時刻によって速度が変わる流体に適用したものです。流体要素は、現在いる場所の速度が時間とともに変わることで加速します。また、移動先ですでに速度が異なっていることによっても加速します。後者は移流加速度と呼ばれます。
流体の密度を1に規格化すると、この方程式は、2種類の加速度と3種類の力の釣り合いを表します。3種類の力は、流体中に速度の差を拡散させる粘性、圧力差、外力です。速度はベクトル場であり、各時刻の各位置に方向と速さを割り当てます。方程式の意味を理解するには、固定した1点だけを調べるのではなく、移動する流体要素を追うことが欠かせません。
▲ 移動する流体要素に働く力
証明の中心的な難しさは、外力にあります。発散する速度場を先に設定し、方程式を満たすために必要な外力を計算することはできます。しかし、速度場を任意に選ぶと、外力も発散したり、不規則になったりするかもしれません。それでは命題Cを満たしません。
OpenAIの手法では、空間的に振動し、半径方向、高さ方向、時間方向に局在する速度パルスの列を設計します。計算で得られる外力に含まれる、問題となる非線形項が打ち消し合うようにパルスを調整しています。この構成は、必要な外力を滑らかで有界に保ちながら、速度を特異にすることを狙ったものです。
渦巻きの画像では分からないこと
広く出回っている渦巻き状の画像は広報用のイラストであり、証明から直接生成された図ではありません。OpenAIによる約100ページの論文の図1は、より控えめな模式図です。平面内で内側へ渦巻きながら、鉛直軸に沿って互いに反対方向に引き伸ばされる流れを描いています。
▲ 広報用イラストと技術的な模式図
技術的な模式図でさえ、分かりやすさのために鉛直方向の高さを誇張しています。論文では縦横比に関するスケーリングパラメータが1/100未満とされており、中心部は図から受ける印象よりはるかに薄く、小さくなります。特異点への接近を捉えるには、tauを1 − tと定義すると分かりやすくなります。tauがゼロに近づくにつれ、回転する構造は原点へ向かって縮み、速度は増大します。
この組み合わせにより、発散に近づいても全運動エネルギーを有限に保てる理由が分かります。極端な速度を持つ領域が十分な速さで縮むため、空間全体で積分したエネルギーは有限にとどまります。この形状を示す3Dアニメーションは、内側への渦巻きと軸方向への引き伸ばしを理解する助けになりますが、解析的な議論やその形式的な検証の代わりにはなりません。
確立されたこと、まだ確立されていないこと
OpenAIによると、この成果の開発には1万の自動化されたAIエージェントが同時に取り組みました。報告された実行では、270万件のメッセージと1300億の出力トークンが発生しました。コミュニティによる試算では、API利用料に換算した計算コストは$1000万 ～ $4000万です。この範囲は推定値であり、賞金額でも数学的な妥当性の尺度でもありません。
Leanによる形式化は主張の重要な部分ですが、独立した数学者やLeanコミュニティによる検証はまだ完了していません。クレイ数学研究所も、賞の授与を検討する前に、要件を満たす学術誌への掲載と2年間の検証期間を求めています。公表、形式的な証明、正式な受賞決定は、それぞれ異なる段階です。
OpenAIの発表と同じ日には、別の数学研究も公表されました。2人の数学者が、滑らかな外力の下で3次元非圧縮性オイラー方程式の解が有限時間で発散することを示すプレプリント3本を公開しました。オイラー方程式ではナビエ・ストークス方程式の粘性項を取り除くため、これらの成果は密接に関連する方程式を扱ったものであり、それだけで粘性のある場合を解決するわけではありません。
主張されているナビエ・ストークス方程式の結果には、数学と物理的な予測との間に明確な境界もあります。この構成が表す極端な条件の下では、現実の液体はモデル上の特異点に達する前に気化します。検証されているのは、懸賞問題で定められた仮定の下で方程式が破綻を許すかどうかであり、実験室の流体で再現できるかどうかではありません。
次の画期的な主張をどう読むか
自動化された証明は、ある構成がなぜ機能するのかという説明より先に答えをもたらすかもしれません。この結果は形式的な目標を満たす可能性がある一方、背後にある発想を理解し、役立てられるようにするには、数学者にさらなる仕事が残ります。この違いは重要です。検証済みの結論と明快な概念的説明は、どちらも価値がありますが、同じ成果ではありません。
今回の主張について、読者が具体的にできることは3つあります。
- 公式の問題文を確認する。 主張の対象となっている選択肢（今回は命題C）を特定し、初期条件、外力、エネルギーに関する要件を確かめます。
- 図版と論文を見比べる。 広報用の画像は構成の趣旨を伝えられても、その比率を正確に示しているとは限らず、証明の根拠にもなりません。
- 独立した検証を追う。 解析的な議論とLeanによる形式化が精査されるかを確認し、その後、受賞決定までに必要な掲載と審査の節目を追います。
OpenAIの構成は、命題Cが求める種類の有限時間での反例を提示しているように見えます。正式に認められるかどうかは、まだ分かりません。重要なのは、劇的な渦の画像を結果そのものと取り違えるのではなく、主張の正確な内容、外力を滑らかに保つ仕組み、独立した検証を調べることです。