研究openai2026-10-06
AIが数学の難問を解く進歩を公開
Sharing AI progress in mathematics
OpenAIが最新のAI（人工知能）を使って数学の難しい未解決問題に取り組んだ成果を公開し、AIが高度な思考ができることを示しました。
OpenAIは、社内の最先端モデルから得られた数学の未解決問題に関する新しい成果を発表し、Leanによる証明の形式化と研究の詳細をGitHubで共有しています。
この記事について質問
記事の内容に答えます。記事外のことは都度ウェブで調べます。