OpenAIはNavier–Stokes方程式で画期的成果を達成したと主張するが、賞の懸賞問題は未解決のまま

OpenAIは、7つのミレニアム賞問題のひとつであるNavier–Stokes方程式の存在と滑らかさの問題について、提案された解決策を発表しました。同社によると、社内のモデルが解析的証明とLeanによる形式化作成を行い、滑らかで最初は静止している三次元の非圧縮性流体が、有限時間内に特異点を形成し得ることを示したといいます。この主張が独立に検証されれば、数学における重要な成果となります。しかし、提供された資料からは、その証明が査読を通過したこと、あるいはClay数学研究所に受理されたことは確認できません。

提案された証明と検証済みの解決策を区別することは重要です。第一資料は、2026年9月16日に公開されたOpenAI自身の発表であり、研究索引も読者を同社の解説と形式的証明に案内しているだけです。提供された資料のいずれも、数学者、学術誌、賞の主催団体による独立した評価ではありません。したがって、資料が支持できる最も強い結論は、OpenAIがこの問題の解決を主張しているということであり、数学コミュニティがすでに解決を確認したということではありません。

この問題は、三次元の非圧縮性流体を表す標準方程式が、滑らかな運動から始まる場合、常に滑らかさを保ち続けることができるかを問うものです。特異点が生じるとは、粘性が存在するにもかかわらず、流体の速度が有限時間内に際限なく増大することを意味します。OpenAIは、内側に向かってらせん状に回転し、軸方向に伸び、全体としてのエネルギーを有限に保ちながら、中心部が縮小して increasingly細長く変化する渦について説明しています。同社は、この構成によって公式なミレニアム賞問題の命題Cおよび命題Dが証明されると述べています。

発表では、この構成が滑らかな外力を用いるとも説明されています。この点は非常に重要です。つまり、この結果は、完全に外力のないNavier–Stokes流の中で特異点が生じたと表現すべきではありません。OpenAIは別途、AIエージェントがEuler方程式について、外力のない爆発的成長の問題を解決したと主張していますが、これは別の数学的問題であり、同じ成果として提示してはなりません。提供された文章には、どちらの構成も第一原理から検証できるほど十分な独立した技術資料が含まれていません。

OpenAIは、非常に大規模なAI支援型研究プロセスを実施したと説明しています。それによると、エージェントの調整担当グループはキャッシュされたインターネット上の資料とコードを利用し、Navier–Stokesの成果を見つけたグループには約10,000個のエージェントが同時に参加していました。同社の報告では、エージェントは開始から約88時間後の9月5日にこの成果に到達し、その後、GPT-6 Astraを用いてLeanによる形式化と検証にさらに17時間を要しました。これらは同社が報告した運用上の数値であり、数学的な正しさや、この証明がOpenAI自身のシステムから独立していることを証明するものではありません。

同社によると、数学者Tristan Buckmasterからの指示文が成果に影響を与えた可能性があるか調査し、影響はなかったと結論づけました。また、別個の外力を伴うEuler方程式の研究について、Anthropicの研究者Levent AlpögeとBuckmasterの優先権を認めたとも述べています。これらの出典に関する主張は、同時期に行われたAI支援型の数学研究の間に重複があった可能性に関わるため、重要です。ただし、調査結論の根拠は提供された発表そのものであり、資料一式には別個の監査報告書や、その結論を独立に確認する資料は含まれていません。

数学を専門としない読者にとって、実用的な重要性は間接的なものです。Navier–Stokes方程式は航空機の設計、気象予報、血流の研究に用いられていますが、数学モデルにおいて有限時間内に特異点が生じ得るとしても、それだけで実際の流体が無限の速度で動けることを示すわけではありません。OpenAI自身も、特異点を、ここで示された方程式の下での連続体モデルの破綻として位置づけています。提供された資料は、新しい工学的手法、気象予報の変更、医療応用を示すものではありません。

Leanによる形式化は重要です。機械によって検証された証明は、長大な解析的論証では見落としやすい欠陥を明らかにできるからです。しかし、形式化は、形式化された定理が意図したミレニアム賞問題と正確に一致すること、あるいはすべてのモデル化上および数学上の仮定が独立した専門家に受け入れられることを保証するものではありません。提供された資料には、形式化、その定義、賞の命題との対応関係に関する詳細な独立監査は含まれていません。

したがって、より広い教訓は、数学とAI支援型研究の双方に関わるものです。OpenAIは、長年未解決だった問題に対する提案された解決策の背後に、 computationとエージェントによる活動が非常に集中していたと報告しています。この経緯は、AIシステムが探索を整理し、着想を試し、形式的成果物を作り出す上でどのように役立つかを示している可能性があります。しかし、ここで提供された証拠だけでは、Navier–Stokes問題の現状を確定することはできません。責任ある読み方は、この発表を、査読、賞による検証、独立した再現の代替としてではなく、専門家の精査を必要とする真剣な主張として扱うことです。