OpenAI 分享数学领域 AI 进展：前沿模型新成果与 Lean 证明形式化开源

OpenAI 公布了内部前沿模型在数学开放问题上的新结果，并在 GitHub 上分享了 Lean 证明形式化及相关研究细节。此次发布聚焦于模型在数学推理方面的能力进展，相关代码与形式化证明已开源供研究社区参考。