OpenAI News·2026-10-06 20:00· 14 天前精选AI 评分62

OpenAI 公布前沿模型在数学开放问题上的进展

Sharing AI progress in mathematics

AI 导读

OpenAI 发布内部前沿模型在数学开放问题上取得的新结果，并在 GitHub 上公开 Lean 证明形式化及研究细节。

推荐理由

OpenAI 公开内部前沿模型在数学开放问题上的结果，并同步放出 Lean 形式化证明，可供研究者直接查阅。

来源：OpenAI News · openai.com

#论文/研究 #推理 #开源生态 #OpenAI #GitHub