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