OpenAI News·2026-10-06 21:00· 13 日前AIスコア55

OpenAI、社内フロンティアモデルによる数学の未解決問題の新成果を公開

Sharing AI progress in mathematics

AIによる概要

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

出典: OpenAI News · openai.com