発表内容と現状

発表によれば、OpenAIはミレニアム懸賞問題の一つに数えられるナビエ・ストークス方程式の解法に到達したとしている。証明は形式検証言語Leanで整備され、公開リポジトリを通じて参照可能となっている。

ただし、この解法の数学的な真偽は現時点で確定していない。独立した検証はまだ完了しておらず、クレイ数学研究所（CMI）による承認もなされていない。このため、「OpenAIがナビエ・ストークス問題を解決した」という上位の命題にまで拡大することには、現時点では根拠が不足している。

今後の焦点

解法が数学界で認められるかどうかは、独立検証とCMIの判断を待つことになる。発表の実質的な意義は、この検証プロセスの結果によって初めて確定する。

OpenAIがナビエ・ストークス方程式の解法発見を発表したという主張自体は、一次資料と複数の独立した報道によって確立されており、Verdict: 概ね事実