OpenAI最新发布

文｜刘澜昌

2026年10月7日，英国《新科学家》周刊网站报道称，OpenAI公布了一批包含722篇数学论文的研究成果，内容涉及数学命题的证明与证伪。就在几年前，人工智能在基础数学考试中还表现有限，如今却已经开始处理长期困扰数学家的研究问题。更引人注意的是，其中包括一些数学家研究多年甚至最终放弃的问题。数量、速度和覆盖范围同时出现变化，使一个过去还比较遥远的问题突然变得现实：当机器开始大规模参与数学发现，人类数学研究的边界究竟在哪里？

这次事件最值得关注的，其实并不是“722篇”这个数字本身，而是人工智能正在改变数学研究的生产方式。过去，一项重要数学成果往往需要研究者多年积累，在某个细分领域建立足够深的知识体系，再通过长期推演找到突破口。数学之所以被视为人类理性能力的高峰之一，就在于它不仅要求计算，更要求定义、抽象、构造、证明，以及对复杂结构形成稳定而持久的理解。

如今，机器开始进入这个体系，而且进入方式与传统数学家并不相同。它可以同时处理大量问题，可以迅速搜索不同证明路径，可以把一个研究者多年积累的局部知识与其他领域的信息重新组合。更重要的是，它没有人的时间限制。一名数学家可能一生只专注几个问题，而一个前沿模型却可以在极短时间内并行探索成百上千个方向。

伦敦大学学院研究沃尔D(2)问题25年的弗朗西斯·约翰逊就是一个具有象征意义的例子。他本人最终放弃了这个问题，却发现AI能够在很短时间内给出缜密而清晰的分析。这里真正令人震动的不是“机器比人快”，而是知识生产的时间尺度正在发生变化。一个人用二十多年积累的研究经验，可能在机器参与之后被重新组织、验证甚至突破。

但这并不意味着722篇论文已经全部成为可靠的数学定理。帝国理工学院数学家凯文·巴扎德的提醒尤其重要。他研究的数论领域涉及其中30篇论文，在他看来，只有7篇质量突出，而其中只有1篇通过Lean形式化验证。这个细节非常关键，因为数学与其他知识领域不同，漂亮的答案、合理的推理甚至高度可信的论证，都不能替代严格证明。

Lean的价值就在于把数学推导转化为计算机可以逐步核验的形式。它不会因为某个结论听起来合理就接受它，也不会因为提出者是著名数学家就降低标准。对于AI生成的数学成果而言，这种形式化验证可能成为未来不可缺少的一道关口。机器能够提出一万个猜想并不意味着它解决了一万个问题，真正决定其科学价值的，是这些猜想能否被严格证明、重复验证，并最终进入数学共同体的知识体系。

也正因为如此，人类数学家短期内并不会简单地被机器取代。数学研究并不只是证明已经提出的问题。谁来提出值得研究的问题？为什么这个问题重要？一个新概念应该如何定义？某个证明是否揭示了更深层的数学结构？这些问题涉及研究方向、审美判断和理论选择，而不仅仅是计算能力。

然而，不能因为AI还存在错误，就低估这场变化。过去人类数学研究最大的稀缺资源之一是时间，现在机器正在大幅降低这种成本。如果AI能够稳定地产生大量可验证的新定理、新反例和新证明，人类数学家的角色就可能从“独立完成证明的人”，逐渐转变为“选择问题、设计框架、判断意义、组织知识的人”。

这实际上比简单的“AI会不会取代数学家”更加深刻。数学史上，计算器、计算机和计算机辅助证明都曾引发过类似担忧，但它们最终没有让数学消失，反而扩展了数学家的能力。真正不同的是今天的人工智能开始触及过去被认为最依赖人类智力的部分：提出假设、寻找证明路径和发现隐藏规律。如果机器不仅能够计算，而且能够持续发现新的数学关系，那么人类与数学之间的分工必然重新调整。

这也是为什么一些数学家会产生复杂的心理冲击。对于一名研究者而言，一个问题可能承载十年甚至几十年的生命投入。如果机器在极短时间内完成，人类感受到的并不仅是效率上的落差，还包括职业意义和知识创造者身份的重新定位。剑桥大学本·阿拉纳克所说的“如果是纯数学家，难免会问人类研究数学还有什么意义”，其实触及了一个更广泛的问题：当机器能够参与越来越多的知识创造，人类工作的价值究竟来自结果本身，还是来自提出问题、理解结果以及赋予知识意义的能力？

更值得警惕的是，未来真正改变科研竞争格局的，可能不是某一个模型偶然解决某个难题，而是AI数学能力被工业化之后形成的持续产出能力。各大AI企业正在大量招聘数学家，并投入巨额资源研究数学。对于企业而言，数学发现已经不仅是学术成果，也可能成为衡量模型推理能力的“奖杯”。一旦这种能力进一步与物理、材料、药物、芯片、工程设计结合，数学上的突破就可能迅速转化为其他领域的技术优势。

因此，面对这722篇论文，人类最需要避免的恰恰是两个极端：既不能看到数量就宣布“数学家时代结束”，也不能因为部分成果尚未完成严格验证，就认为这只是一次技术炒作。真正值得观察的是，当机器产生数学成果的速度持续超过人类个体的研究速度之后，数学共同体会建立怎样的新验证机制，又会如何重新定义“发现”“证明”和“理解”。