AI レポート · OpenAI · 2026-10-06 · ブログ・論評

数学分野における AI の進捗を共有

原題: Sharing AI progress in mathematics

OpenAI は、内部のフロンティアモデルによる数学の未解決問題に関する新たな成果を公開した。あわせて、Lean による証明の形式化と研究の詳細を GitHub 上で共有している。