一个 AI 模型，推翻了离散几何领域一个存在多年的核心猜想。
Hacker News 上这条新闻拿了 835 分、629 条评论。评论区基本分两派：一派在惊叹"AI 要取代数学家了"，另一派在质疑"这到底算不算真正的数学发现"。
两边都没说到点子上。
先搞清楚发生了什么
OpenAI 的模型不是"理解"了数学然后做出了证明。它做的事情更像是：在一个巨大的搜索空间里，用计算力暴力遍历，找到了一个反例。
这就像你用一台超级计算机在无限多个整数里找质数——你确实找到了，但你没有发现任何新的数学原理。
找到反例和证明定理之间，有一个本质的区别。 前者是搜索，后者是理解。
当然，找到一个反例也是有价值的。它告诉数学家"这条路走不通"，省去了在无望方向上浪费的时间。但这和"AI 做出了数学发现"是两回事。
数学研究中的"搜索"和"洞察"
让我用一个不太精确但有用的类比：
- 搜索（Search）： 知道答案是什么，然后在空间里找到它。AI 擅长这个。
- 洞察（Insight）： 知道应该问什么问题，知道哪些方向值得探索。这是人类数学家做的事。
OpenAI 这次做的是前者。模型没有提出新的数学框架，没有创造新的证明方法，没有提出新的猜想。它执行了一个精心设计的搜索过程，找到了一个已有的猜想是错的。
这很重要吗？重要。这是数学发现吗？——取决于你如何定义"发现"。
真正令人不安的不是 AI 的能力
评论区里最让我在意的，不是那些惊叹 AI 的人，而是那些焦虑的数学专业学生和早期研究者。
他们的担忧是真实的：如果 AI 能在一周内完成我花三年都没能完成的反例搜索，我为什么还要读数学博士？
这个问题没有好的答案。
但我认为方向错了。AI 做搜索，人做洞察——这不是替代关系，是分工关系。
数学家不需要再花几个月去手动验证一个猜想的边界情况。他们可以花这些时间去思考"为什么这个猜想是错的"、"反例揭示了什么更深层的结构"、"下一步应该提出什么样的新猜想"。
我的判断
这次事件的意义不在于"AI 能推翻数学猜想"，而在于它展示了 AI 和人类在数学研究中的新分工模式。
- AI 做搜索、验证、反例构造、大规模枚举
- 人类做问题选择、方向判断、框架构建、意义解读
这种分工已经在其他领域发生了——AlphaFold 做结构预测，生物学家做机制解读。现在轮到数学了。
焦虑是正常的。但不要焦虑错了方向。
主要来源：
- OpenAI Blog: Discrete Geometry Conjecture
- Hacker News 讨论