OpenAI News·· 2 天前精选
OpenAI 公布 AI 数学研究结果与 Lean 证明资料
Sharing AI progress in mathematics
AI 导读
OpenAI 公布内部前沿模型在数学开放问题上的一批研究结果，并在 GitHub 分享研究细节和部分证明的 Lean 形式化资料，供研究社区进一步检查与讨论。
推荐理由
Danbo 编辑部核对官方原文整理
来源：OpenAI News · openai.com
OpenAI 公布 AI 数学研究结果与 Lean 证明资料