数学のAI研究の進展を共有

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

原文の言語 · 英語

確認済み · 2026年10月10日