OpenAI 一次放出七百份数学证明

昨天刷到这条消息的时候，我第一反应不是兴奋，而是有点发懵。OpenAI 在 10 月 6 日一次性放出了 700 多份手稿，声称解决了数百个未解的数学问题，这个量级放在任何一个学术领域都算得上地震。更微妙的是，数学博客 Proofs and Prompts 收集了 100 多位研究者的回应，有人觉得这是智识上的震撼，也有人直言感到一种深深的失落——那种属于人类慢慢磨问题的老派工作方式，可能真的要被改写了。

说实话，AI 做数学这件事的转折来得太快了。就在几年前，模型连高年级学生能做的题都经常翻车，但 2026 年中期之后突破一个接一个：先是单位距离猜想，然后是 Navier-Stokes，再到 Astra 模型发布会上一次性展示十个解。这次直接跳到 700 多份手稿，节奏已经不能用「进步」来形容了，更像是某个闸门被彻底打开。当然，现在下结论还太早。这些上传到 GitHub 的东西，数学实质到底如何，圈内人自己也还在消化。已经有部分论文被撤下，还有一些被批评写得难以阅读，逻辑链条不够清晰。不过也有几位专家公开表示，其中一些结果确实让他们印象深刻，甚至有菲尔兹奖得主给出了正面评价。这种「一半怀疑一半震撼」的状态，大概就是当下最真实的写照。我自己的判断是，这件事真正的冲击不在数学本身，而在学术生产的节奏和评价体系。如果 AI 能批量产出看起来像模像样的证明，那同行评审怎么跟得上？年轻研究者还有没有耐心去啃一个可能几年都没结果的问题？这些问题比「AI 能不能做数学」更值得讨论。对做跨境和科技内容的人来说，这也是一个信号：AI 正在从「辅助工具」变成「生产主体」，而且速度比大多数人预期的快得多。接下来值得盯的，不是 OpenAI 又发了多少篇，而是数学界会不会被迫发展出一套新的验证和署名机制。