OpenAI News·2026-10-06 20:00· 19 小时前精选AI 评分61

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

Sharing AI progress in mathematics

AI 导读

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

推荐理由

OpenAI 公布内部前沿模型在数学未解问题上的结果，并开源 Lean 证明形式化，读者可查看研究细节。

来源：OpenAI News · openai.com