722份手稿一次性公开
OpenAI发布了一批由其未发布的前沿模型产出的数学手稿，共计722份，覆盖372个结果族，其中包含对数百个开放数学问题的解答。许多证明附带Lean形式化验证，其余则标注为未经独立验证。
平均每个结果3小时思考
OpenAI称，平均每个数学结果耗费约3小时的ChatGPT Pro思考时间。这批手稿展示了前沿模型在数学研究领域的真实生产力，也引发了对「AI数学成果如何评审」的讨论。
独立验证仍受限
由于OpenAI未公开完整提示词与逐题计算耗时，外界目前无法独立评估这些成果的质量分布。数学界普遍认为，附带Lean证明的部分可信度较高，而未验证结果需要数学家逐一复核。
AI for Science加速
从AlphaFold的蛋白质结构预测到数学定理证明，AI正在科学核心领域持续突破。若这批手稿中的成果经同行评议确认，将是AI首次在单一学科一次性贡献数百个新结果，标志着AI科研辅助进入新阶段。