OpenAI、
OpenAI Newsこの話題 4ソース →
要
AI要約
3行で- OpenAI が数学の未解決問題に関する成果を公開しました。
- 内部のフロンティアモデルによる結果です。
- Lean の証明形式化と研究詳細を GitHub で共有しました。
AI要約です。詳しくは出典へ。誤りを報告
Karunews が選んだ理由数学の未解決問題に対するフロンティアモデルの成果と Lean 証明の形式化が公開され、検証可能な形で進展を確認できます。
典
出典
4ソース · 一次情報OpenAI News一次Sharing AI progress in mathematicsopenai.com
出典を読む この話題を見る