ナビエ・ストークス・ミレニアム懸賞問題について

AIが生成したナビエ・ストークス方程式のミレニアム懸賞問題の解法について報告。AIによる数学的証明の生成と、Lean formal proof systemを用いた形式証明の妥当性について解説している。

• AIがナビエ・ストークス方程式のミレニアム懸賞問題の解法を生成した。
• 生成された解法は、Lean formal proof systemを用いて形式的に証明されている。
• AIによる数学的証明の生成能力の高さを示している。
• 数学の未解決問題に対するAIの貢献可能性を示す事例である。