OpenAI 分享 AI 在数学开放问题上的研究进展

OpenAI 公布内部前沿模型在数学开放问题上的新研究结果。相关 Lean 证明形式化与研究细节已在 GitHub 分享。