OpenAI 分享前沿模型解决数学开放问题的结果与 Lean 证明

阶段、条件与复现 · 深读核对

• 新能力对应什么具体任务与最小输入输出？
• 代码、模型、数据、许可与可用入口是否明确？
• 效果、总成本、失效条件与实际工作流如何验证？

这些是阅读核对问题；材料未说明的条件保留未知。请阅读原文核验。