OpenAI 公布内部前沿模型在数学开放问题上的新结果

OpenAI 发布内部前沿模型在数学开放问题上取得的新结果，并公开了 Lean 证明形式化内容与相关研究细节。这些材料已发布在 GitHub 上，供研究者查看。