2026.10.06 TUE21:00 JSTOpenAI
OpenAI 数学の未解決問題で新成果共有
様子見研究共有・成果公開
OpenAIがAIで数学の難しい問題を解いた結果と証明を公開しました。
- 内部フロンティアモデルによる数学の未解決問題の新結果を公開した
- Lean形式化証明と研究詳細をGitHubで共有
- IAS助言グループと相談のうえでリリース
目線
数学や形式検証に関心ある研究者はGitHubのLean証明を確認する段階。
対象
数学・形式手法研究者
使える場面
- 未解決問題のAI成果確認
- Lean証明の検証
試すなら
公式ページとGitHubの詳細を読む
確認点
製品APIや一般利用への直接提供ではない
一次ソース
- OpenAI - Sharing AI progress in mathematicsopenai.com
- OpenAI公式X投稿x.com