数学の難問ナビエ・ストークス問題、解決の可能性

クレイ数学研究所（Clay Mathematics Institute）は、「ナビエ・ストークス方程式の存在と滑らかさ」の問題が「明らかに解決された」と発表した。現在、正式な審査プロセスが進行中で、研究所が証明の検証に取り組んでいる。

この問題は、クレイ数学研究所が2000年に選定した「ミレニアム懸賞問題」の一つだ。同研究所は数学上の未解決問題として7つの難問を選び、それぞれに100万ドル（約1億5000万円）の賞金を設けた。現在まで解決されたのはそのうち1問のみで、ナビエ・ストークス問題はこれまで20年以上にわたり未解決のまま残ってきた。

ナビエ・ストークス方程式は、流体（液体や気体）の動きを数学的に記述するための方程式だ。天気予報や航空機の設計、海流の予測など、現実の多くの場面で応用されている一方、その解が常に「滑らかに」存在するかどうか——つまり数学的に破綻なく定義できるかどうか——は、長年証明されてこなかった。この点を証明することが、懸賞問題の核心にある。

クレイ数学研究所が「明らかに解決された」と表現していることは重要だ。ただし、正式な審査がまだ完了していない点には注意が必要で、現時点では「解決の可能性が高い」という段階にとどまる。数学の世界では、提出された証明が後に誤りと判明することも少なくなく、審査の完了をもって初めて正式な解決と見なされる。

ミレニアム懸賞問題のうち、これまでに解決されたのは「ポアンカレ予想」のみで、ロシアの数学者グリゴリー・ペレルマンが2003年に証明を公表した。ペレルマンは賞金の受け取りを辞退したことでも知られる。ナビエ・ストークス問題が正式に解決されれば、四半世紀ぶり2例目の快挙となる。

数学の未解決問題への関心は近年、AI分野とも交差している。機械学習を使った数学的推論の研究が進み、AIが複雑な証明の発見や検証を補助する事例が増えてきた。今回の証明がどのようなプロセスで生まれたかは現時点で明らかでないが、数学とAIの接点が広がる時代における出来事として、その背景にも注目が集まると位置づけられる。

正式な審査の結果が公表されれば、100万ドルの賞金授与や数学界全体への影響など、さまざまな動きにつながる可能性がある。今後はクレイ数学研究所が審査をいつ完了させるか、そして証明の内容がどのように評価されるかが焦点となる。