最近读到一篇 Quanta Magazine 的文章，标题很直接——《Why Erdős Problems Are Falling to AI》。讲的是 AI 在纯数学领域最近几年最出圈的成果，几乎全部来自一类特殊的题目：Erdős 提出的猜想。

这事本身就挺值得琢磨。Erdős 是 20 世纪出了名的"数学游侠"，一辈子不买房、不结婚，到处跑、合作发表论文，个人风格极强。但他更大的遗产是那一千多道挂着自己名字的问题——很多是组合、数论、图论里的开放猜想，表述干净，结论明确，奖励机制也特别：难度越高，悬赏越离谱，最高给过一万美元。这些问题几十年来悬而未决，如今却一个接一个被 AI 啃下来。

为什么是 Erdős 问题，而不是别的？

文章给了一个挺有意思的解释。Erdős 提的问题通常有几条共同特征：命题形式足够抽象，便于计算机化、形式化；问题可以拆成"找一个反例"或"构造一个对象"，而这正是现代 AI 特别是大模型和形式化证明系统（比如 Lean）擅长的方向；再有就是这些问题本身在数学圈里被反复讨论过，相关语言、变体、近似结果积累得很厚，给 AI 提供了高质量的训练语料。换句话说，不是 AI 突然变神了，而是这一类问题的"形状"恰好契合了 AI 的能力边界。

更深一层的意义在于，这是一个观察 AI 推理能力的天然实验场。如果哪天 AI 能稳定解决 Erdős 级别的问题，那它对数学的意义就不再是"算得快"，而是"能参与创造"。这会反过来改变数学家的工作方式——也许未来的论文里，会有一栏专门写"本证明由人机协作完成"。

我的判断是：Erdős 问题集中被攻破，本质上是形式化和数据红利撞上了合适的问题类型。它提示我们，与其问"AI 能不能做数学"，不如问"哪类数学问题正好落在 AI 的甜区里"。下一个值得盯的方向，是那些能被形式化、但 Erdős 本人没问过的领域——比如一部分代数几何和概率论的老问题，也许很快就会迎来类似的转折点。

数学没变，但提问的方式，确实在被重新定义。

来源：Hacker News