研究OpenAI
OpenAIは、ミレニアム懸賞問題の一つであるナビエ–ストークス懸賞問題に対し、AIが生成した解決策を公開しました。公開内容には詳細な解説文書に加え、定理証明支援言語「Lean」を用いた形式的な証明が含まれています。
この日にAI朝刊へ追加されたニュースを、重要度の高い順に。発表日が前日以前・不明の記事も含みます。
1件のニュース
OpenAIは、ミレニアム懸賞問題の一つであるナビエ–ストークス懸賞問題に対し、AIが生成した解決策を公開しました。公開内容には詳細な解説文書に加え、定理証明支援言語「Lean」を用いた形式的な証明が含まれています。