OpenAI 发布前沿模型数学开放问题新成果并开源 Lean 证明

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