OpenAI 发布数学未解问题研究成果并开源 Lean 形式化证明

OpenAI 发布了内部前沿模型在数学未解问题上的最新研究成果，并在 GitHub 上公开了 Lean 形式化证明与相关研究细节。本次分享展示了前沿 AI 模型在处理复杂数学证明领域的进展，相关代码与验证数据已全部对外开放。