OpenAIのナビエ・ストークス方程式「解決」発表：確認状況と研究の違い

確認日：2026年10月3日。OpenAIは9月8日、ナビエ・ストークス方程式のミレニアム懸賞問題を解決したと発表しました。ただし、発表の存在、証明の正しさ、数学界での受容、賞の認定は別の事柄です。現在どこまで確認できるのかを、一次資料を基に整理します。

結論から言うと、発表の対象は滑らかな外力のある3次元の非圧縮性流体です。「外力なしの流れもすべて解決した」「現実の水が無限の速さになると実験で分かった」という意味ではありません。一方、外力があることだけで懸賞問題の対象外になるわけでもありません。

この記事では、似た時期に公表された研究の条件、発表から現在までの動き、続報の読み方を扱います。式の各項や最大速度とエネルギーの計算は、別記事のナビエ・ストークス方程式の数学的な解説で詳しく説明しています。ここでは、その解説に進む前の判断材料を揃えます。

OpenAIのナビエ・ストークス方程式発表：確認状況

次の表は「誰が、何を確認したのか」を分けたものです。本記事は公開資料の照合であり、論文全体の独立検証やLeanのビルドは実行していません。未検証という記述は、証明に誤りを発見したという意味ではありません。

確認先はOpenAI公式発表、CMIの問題ページ、Lei・Renの解説論文です。同じ「解決」という言葉でも、著者の主張、第三者の検証、賞の手続きのどれを指すかで意味が変わります。

ナビエ・ストークス方程式は何を表すのか

水や空気では、場所ごとに流れる向きと速さが違います。ナビエ・ストークス方程式は、その速度の変化と、圧力差・粘性・外力の関係を表す式です。ここで扱うのは、密度が一定の非圧縮性流体。分子を一個ずつ追う代わりに、連続した物質として表します。

この画像だけでは非圧縮性の条件が省略されています。流体の小さな部分の体積が局所的に増減しない条件も、運動の式と併せて課します。また、画像の圧力pはPaで表す圧力ですが、数学の論文では密度で割った圧力を同じpで書く場合があります。式を比較するときは記号だけでなく定義も確認してください。

式があることと、任意の長い時間について滑らかな解が存在することは別です。1934年のルレイの仕事は、より広い意味での「弱い解」の存在につながりました。しかし、その解がいつも滑らかであるかは別の問題として残ります。微分を通常の意味で計算できる解と、積分を通して式を満たす解を同一視してはいけません。

なぜ3次元が難しいのか

速度が流体自身の移動にも関わるため、この式は非線形です。速度を2倍にしたとき、すべての項が同じように2倍になるわけではありません。また、3次元では渦の伸びなど、2次元にはない構造が現れます。CMIの正式な問題文は、2次元の対応する存在・滑らかさの結果と、3次元の問題を区別しています。

このため「2次元で分かったから3次元でも同じ」「コンピューターで安定に計算できたから、すべての時刻で大丈夫」という推論はできません。数値計算で扱う有限個の点・有限の時間と、定理が要求する範囲との間に、埋めるべき隔たりがあります。

OpenAIはどの条件での破綻を主張したのか

公開論文の定理1.1は、静止した初期状態から、滑らかな外力によって有限時間に速度が非有界になる流れを構成したと述べています。粘性は正で、運動エネルギーは一様に有界という主張です。外力は空間と時間の限られた範囲に台を持ちます。

ここで大切なのは、初めから無限大の力を押し込んだ例ではないことです。論文の構成では、速度が大きくなるときも、運動方程式の各項の釣り合いから滑らかな外力が残るようにします。これは特定の流れを構成する存在の主張であって、日常のどの渦でも同じ現象が起きるという主張ではありません。

また、最大速度と全体のエネルギーは異なる量です。速く動く領域が小さくなれば、局所的な速度の増大と全体の有限なエネルギーは直ちに矛盾しません。ただし、この直感だけで方程式を満たす例が完成するわけではなく、その両立を厳密に示す部分こそ証明の課題です。

外力があっても懸賞問題の対象になる理由

CMIの正式な問題文にはA〜Dの四つの選択肢があります。A・Bは外力なしでの存在と滑らかさ、C・Dは条件を満たす外力のもとでの破綻を扱います。空間全体と周期的な空間という区別もあります。四つ全部を一度に示すことを要求する問題ではありません。

したがって、C・Dへの解答を主張することと、外力なしのすべての疑問に答えることは区別します。ニュースの「解決」を読む際は、まず対象条件を一行で書き出すと混乱を減らせます。「3次元・粘性あり・滑らかな外力あり」が、今回の記事で追っている条件です。

似た時期の研究は同じ問題を解いたのか

バックマスター氏とアルポージ氏の研究も話題になりました。ただし、研究対象を揃えずに「どちらが先か」とだけ比べると、別の定理を同じ成果として扱ってしまいます。粘性を取り除いたオイラー方程式と、粘性のあるナビエ・ストークス方程式、さらに外力の有無を区別する必要があります。

表は各当事者が公表した主張の比較で、優先権や証明の正しさを本記事が認定するものではありません。似た言葉の見出しが並んでいても、条件が一つ違えば必要な議論も変わります。オイラーの成果から粘性ありの成果へは、別の論証が必要です。

研究者の所属と企業の研究を分ける

バックマスター氏の公開声明は、二人の研究を雇用主の公式な関与を伴わない個人的な共同研究と説明しています。また、Claudeに加えCodexなど複数のAIを使ったと述べています。所属企業だけから「OpenAI対Anthropicの公式対決」とまとめるのは適切ではありません。

声明には、発表方法や著者の扱いをめぐるやり取りへの異議も記されています。一方、OpenAIは共同発表を提案したと説明し、9月10日の追記では、該当ユーザーの入力が成果に影響しなかったとする自社調査結果を公表しました。これらは当事者の説明です。本記事は私的な会話や調査内容を独立に確認していません。

この論点では、研究の条件、過去の着想への貢献、データ利用、発表時の説明を分けて読む必要があります。発表日が近いという一事だけで、盗用や完全な独立性を結論することはできません。逆に、証明の評価に重要な先行研究や条件を、省いてよいわけでもありません。

発表から9月末までに何が進んだか

新たに確認したLei・Renの論文は、OpenAIの論文における流れの形の構成を説明する第I部です。著者らはその成果を重要な進展と評価していますが、振動する補正による残差の処理は別の第II部で扱うとしています。したがって、これ一つを「全体の検証が完了した」という証拠にはできません。

また、著者らはこの文書を理解を助ける解説とし、学術誌には投稿しない旨を記しています。読める説明が増えたことは有益ですが、査読済み論文への掲載とは別です。arXivの投稿・改訂日、論文の目的、扱う範囲をそれぞれ見ると、続報の位置づけを判断しやすくなります。

AIの探索規模とLean検証をどう評価するか

OpenAIの説明では、ナビエ・ストークスの結果を得たグループは約1万のエージェントを同時に動かし、最初の起動から約88時間で論証に到達、さらに約17時間を形式化と検証に使いました。この問題に関する出力は約1300億トークン、メッセージは約270万件としています。これらは企業による実施報告です。

大きな計算量は、証明の正しさを直接保証しません。また、一度の成功例から、一般の利用者が同じモデルや同じ費用で再現できるとも言えません。比較には、使用モデル、計算資源、試行回数、人間が与えた方針、失敗した試行も含めた情報が必要になります。単に「AIが何時間で解いた」という数字だけでは評価できません。

Leanは、形式的に書かれた命題の論理を検査するための仕組みです。ただし、検査対象の定義と仮定が元の問題に対応しているかは確認が必要です。検査を通ること、意図した定理を表していること、人間がその仕組みを理解できることは、関連していても同じ作業ではありません。

例えば、強い仮定を追加した別の命題を証明していたら、論理的には正しくても元の問いへの答えにならない場合があります。これは今回のコードにその欠陥があるとの指摘ではなく、形式証明を読む際の一般的な注意点です。本記事は証明コードの全依存関係を監査したとは主張しません。

賞金の認定と数学の検証は別の手続き

CMIの賞の規則では、所定の媒体での出版、出版後少なくとも2年の経過、世界の数学界での一般的な受容が、検討の前提です。2年が経てば自動的に受賞する制度ではありません。企業の発表日をそのまま賞の時計の起点とみなすこともできません。

10月3日に確認した問題ページにはActiveと表示されています。この表示だけから「証明は誤り」「更新が遅いだけ」のどちらも断定できません。OpenAIは賞金を請求する意向がないと述べていますが、その意向自体も数学的な正しさを左右する根拠ではありません。

暮らしへの応用について、どこまで言えるか

流体の式は、天気予報や航空機設計、血流の解析などにも関わります。しかし、ある数学的な条件で破綻する例が得られることと、予報精度がすぐ向上することは別です。現実の用途では、境界、圧縮性、温度、計算方法、観測データなども考える必要があります。

同様に、大量のAIを使った数学研究の成功から、創薬や新素材の発見までが直ちに実現すると結論することはできません。応用先ごとに実験や評価が必要です。このニュースから読み取るべきなのは、具体的に提示された成果と検証方法であり、まだ示されていない産業上の効果ではありません。

続報を自分で確かめるための読み方

新しい記事を見たら、まず結論が書かれた一次資料へ進んでください。次に、何が更新されたのかを確認します。定理の修正なのか、独立した検証なのか、読みやすい解説なのか、単なる感想なのかで、判断への重みは違います。著名な人のコメントでも、証明全体を読んだのかは別に確認します。

式を詳しく学びたい場合は、前掲の数学解説へ進んでください。ニュースとして追う場合は、本記事の確認状況表と各一次資料を照らし合わせると、発表の見出しだけに頼らず変更点を追えます。確認日以降の出来事については、その時点の資料を改めて確認する必要があります。

よくある質問

ナビエ・ストークス方程式は完全に解決したの？

OpenAIはC・Dに対応する結果を主張しています。本記事の調査は公開資料の確認で、全証明の独立検証ではありません。対象条件を付けずに「すべて解決」と言い換えたり、賞が未認定だから誤りだと判断したりするのは避けてください。

外力のあるオイラーの成果が先なら、同じ成果なの？

同じではありません。粘性の有無と外力の条件が異なります。先行研究への貢献の評価は重要ですが、まず定理の対象を揃えて比較する必要があります。所属企業や発表日の前後だけでは、この違いは分かりません。

現実の水が無限の速さで動くということ？

現実の水についてそのような実験結果を示したものではありません。連続体としての数学モデルで、特定の条件から滑らかさが失われるかを問う研究です。モデルの結論を現実へ当てはめるには、モデルが使える範囲を別に検討します。

参照資料：OpenAI公式発表・公開論文、CMI正式問題文・問題ページ・賞の規則、バックマスター氏の声明、Lei・Renの解説論文。リンクは該当する節に配置しました。いずれも2026年10月3日に確認。記事の比較表と読み方の整理は、これらの資料を照合したXypha編集室によるものです。