OpenAI 刚发了篇东西，标题很克制："Ten advances in mathematics"。但内容不克制。
作者：杖雍皓
OpenAI 刚发了篇东西，标题很克制："Ten advances in mathematics"。但内容不克制。 先说清楚这不是什么：不是 AI 在 IMO 上拿了金牌，不是刷了某个 benchmark 的 SOTA。是 AI 作为合著者，在组合数学、数论、PDE、拓扑、调和分析等领域，产出了新的定理和证明，经过人类数学家验证，够格发论文的那种。 为什么我觉得这事是质变而不是量变： 数学是推理能力的终极试金石。你可以靠模式匹配写代码、靠统计规律写文章，但你没法"背"出一个新的 Ramsey 数下界构造，没法"猜"出一个 PDE 正则性证明的关键引理。这要求的是：在巨大的搜索空间里，形成猜想→构造反例→调整策略→最终闭合证明链。这是推理，不是检索。 十个结果里最让我停下来的：AI 独立改进了某些经典问题的已知界，而且给出的构造方法跟人类数学家的思路完全不同。不是"更快地找到已知路径"，是"找到了一条没人走过的路"。 但文章里反复强调的一个词是 "collaboration"。Fields 奖得主们不是被替代了，是获得了一个不知疲倦、能同时探索几百条路径的研究伙伴。人类负责品味、方...