OpenAI 于 7 月 31 日发布研究合集，披露其前沿通用推理模型在高等数学与理论计算机科学领域取得十项进展，其中一项是“单发”攻克一个著名开放数学研究问题——不需要多轮尝试，一次推理直接给出正确解。相关论文共 249 页。
与以往论文最大的不同是开源程度：OpenAI 同步开放了 GitHub 仓库，包含 Lean 形式化证明以及模型自行撰写的论文。官方估算每题计算成本约 2000 美元，意味着这套“自动做数学研究”的流程已经进入低成本可复现阶段。这被部分观察者解读为推理模型从“评测刷分”走向“科研辅助”的标志性事件。
对开发者与科研人员的意义：形式化证明与自写论文的开放，让社区可以复现并扩展这套方法，而不是只看一张排行榜。对普通使用者而言，这条新闻说明前沿模型的深度推理能力仍在快速上升——选型时“推理深度”应作为与速度、价格并列的评估维度。