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

这两天数学圈几乎被同一条消息刷屏：OpenAI 在 10 月 6 日一次性公开了七百多份手稿，声称解决了数百个未解数学问题。这个量级放在以前是不可想象的，要知道就在几年前，AI 连高年级学生能做的题都经常做错，而今年年中开始，单位距离猜想、纳维-斯托克斯方程这些硬骨头接连被啃下来，节奏明显不对了。

数学博客 Proofs and Prompts 收集了一百多位研究者的回应，情绪相当分裂。有人觉得这是智力上的巨大兴奋，也有人表达了很深的失落，甚至用「哀悼」来形容，因为他们熟悉的那种工作方式可能真的要结束了。这种复杂心态其实很好理解，工具越强，人的位置就越需要重新定义。当然，质疑声同样不少。现在要完整评估这些上传到 GitHub 的证明，还太早。已经有部分论文被撤回，另一些则因为写得难以阅读而遭到批评。不过也有几位专家明确表示，结果确实让他们印象深刻，其中还包括菲尔兹奖得主。我的判断是，数量本身不是重点，重点是这批证明能不能经得起同行逐行检验。如果七百份里最终只有一小部分站得住，那也足以改变数学研究的协作模式；如果大部分经不起推敲，那这次发布就更像一次公关冲刺，而不是学术贡献。对做跨境和 AI 应用的人来说，这件事的启示不在数学本身，而在于「批量生成 + 公开可验证」这套打法正在被搬到最硬核的领域。接下来值得盯的不是 OpenAI 又发了多少篇，而是数学界会不会被迫建立一套新的审稿基础设施，来消化这种规模的输入。