OpenAI 公布内部前沿模型数学成果

OpenAI 发布了其内部前沿模型在数学开放问题上的新结果，并在 GitHub 上公开了 Lean 证明形式化内容和研究细节。这对关注 AI 数学推理能力的研究者和开发者有参考价值。

原文来自 OpenAI 官方博客，版权归原作者所有。中文标题和摘要由 AI 根据原文自动生成，可能有误，请以原文为准。