OpenAI 于 7 月 31 日发布一份 249 页的研究合集，将其前沿推理模型在高等数学与理论计算机科学方向的十项进展一次性摊开。最抓眼球的一条是：模型以"单发"（single attempt）方式攻克了一个此前悬而未决的著名开放数学问题，全程无需多次重试与人工干预。从"会做题"到"能独立推进开放问题"，这或许是推理模型迈向"自主数学研究"最具象的一次展示。

十项进展与"单发"攻克

合集覆盖高等数学与理论计算机科学两大方向，共包含十项具体进展。其中标志性事件是模型仅凭一次推理即解决一个著名开放数学问题——传统范式往往依赖多次尝试或人类辅助，而"单发"意味着模型把推理质量本身推到了可以直接落地的程度。相关成果全部以 Lean 形式化证明的形式开源，并附带模型自写的论文，可验证、可复现。

2000 美元/题的成本账

官方披露，攻克每个数学问题的计算成本约为 2000 美元。把这道成本账与人类数学家团队的时间和经费投入放在一起对比，数量级上的差距十分直观：

| 维度 | 数据 | |