OpenAI は、人工知能によって作成されたナビエ・ストークスのミレニアム懸賞問題の解決策を発表した。同社によると、この発表には解法のテキスト解説と、Lean 言語による形式的証明が含まれている。

この主張の重要性は、提示された証明が独立した検証に耐えうるかどうかにかかっている。提供された資料には、解法そのものの全文、外部専門家による審査結果、あるいは数学コミュニティによる証明の承認に関する情報は含まれていない。