2026.09.21の朝刊

OpenAIは、ミレニアム懸賞問題の一つであるナビエ–ストークス懸賞問題に対し、AIが生成した解決策を公開しました。公開内容には詳細な解説文書に加え、定理証明支援言語「Lean」を用いた形式的な証明が含まれています。