OpenAI 发布数学领域前沿模型新成果并开源 Lean 证明形式化

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