OpenAI 分享 AI 在数学领域的进展

OpenAI 公布了内部前沿模型在数学开放问题上取得的新结果。同时，OpenAI 在 GitHub 分享了 Lean 证明形式化成果和相关研究细节。