OpenAI 分享数学 AI 进展

OpenAI 发布了其内部前沿模型在数学开放问题上取得的新成果。该公司还在 GitHub 上分享了 Lean 证明形式化及研究细节。