夜雨聆风今天，AI 做了一件人类 80 年没做成的事。
不是下棋，不是画画，是纯数学推理。
01 发生了什么？
OpenAI 的一个通用推理模型，解决了匈牙利数学家 保罗·埃尔德什（Paul Erdős）在 1946 年提出的一个经典难题：
埃尔德什单位距离问题
在平面上放 n 个点，最多有多少对点之间的距离恰好等于 1？
这个问题看起来很简单，但困扰了数学界 80 年。
80 年来，无数顶尖大脑在这个问题上反复推演，始终没有突破。
直到昨天，OpenAI 的模型给出了答案——
它推翻了埃尔德什本人猜想的下界，用代数数论工具构造出了一族点集，证明单位距离点对数的增长速度比之前认为的要快得多。
02 为什么这件事这么炸？
先说三个关键事实：
第一：这不是"辅助"，是独立解决
AI 不是帮数学家算了个数、验了道题。它是从零开始，自己想出了解法，自己完成了证明链路。
普林斯顿大学数学家 Arul Shankar 的原话：
"这篇论文表明，当前 AI 模型已不仅仅是数学家的辅助工具，它们能够产生真正原创的精妙想法，并将其推进到最终结果。"
注意关键词：原创、精妙想法、最终结果。
第二：它用的方法出乎所有人意料
80 年来，所有研究这个问题的人，都是用几何方法去思考的。
但 AI 没走这条路。它用了代数数论工具——高斯整数推广、无限类域塔理论、Golod-Shafarevich 定理……
这些工具在代数数论里早就存在，但从来没人想过能用来解决平面几何问题。
就像你一直在用锤子钉钉子，突然有人拿出一把螺丝刀说：其实这样也能搞定。
第三：连批评过 OpenAI 的数学家都站出来背书了
数学家 Thomas Bloom，此前曾公开批评 OpenAI 的数学能力不够格。
这次呢？他亲自联名写了配套论文为这个证明背书。
"可以预期接下来几个月会有许多代数数论学家开始审视离散几何中的其他开放问题。"
翻译一下：这事儿是真的，而且会引发一波后续研究。
03 菲尔兹奖得主怎么说？
蒂莫西·高尔斯（Timothy Gowers），1998 年菲尔兹奖得主（数学界的诺贝尔奖），在配套论文中写道：
"这是 AI 解决的第一个极其著名的未解数学问题的清晰案例。" "AI 数学的里程碑。"
高尔斯是谁？他是当代最负盛名的数学家之一，说话一向严谨克制。
让他用"里程碑"这种词，说明这件事的分量，远超普通新闻。
04 一个细节很多人忽略了
OpenAI 解决这个问题的模型，不是一个专门训练来做数学的模型。
它是一个通用推理模型，测试的时候只是顺手拿了几个埃尔德什问题来评测。
结果呢？
顺手把一个 80 年的老大难给解决了。
这意味着什么？
意味着模型的通用推理能力已经强到了一个临界点——不需要专门针对某个领域做定制化训练，就能产生领域专家级的突破性想法。
如果这个能力持续发展下去，下一个被突破的可能不只是数学，还有生物学、物理学、材料科学、医学……
05 冷静一点，别过度神话
虽然这件事确实震撼，但有几个边界要厘清：
① 这不等于 AGI 来了
解决一个特定数学问题 ≠ 通用人工智能。AI 在这个任务上展现了惊人的推理能力，但在常识理解、情感交互、复杂决策等维度上，离"人"还差得远。
② 数学家的角色没有被替代
这次的结果经过了外部数学家独立核验，并撰写了配套论文进行阐释。AI 给出了突破性想法，但数学家们依然在验证、解读、延伸这些成果。人机协作，不是替代关系。
③ 距离商业落地还很远
一个数学定理的证明，和能赚钱的产品之间，隔着十万八千里。不要因为看到这个消息就觉得"AI 马上要颠覆一切了"。技术突破 → 商业落地，这条路很长。
1946 年，埃尔德什写下那个问题时，他大概不会想到，80 年后，一个由硅基神经元构成的系统会给出他没想到的答案。
这不是第一次 AI 在某个领域超越人类，也不会是最后一次。
但这一次不一样的地方在于：它发生在纯数学领域——人类智慧的最后堡垒之一。
当堡垒开始出现裂缝，接下来会发生什么？
我不知道。但我知道一件事：
我们正在见证历史。
你觉得 AI 最终会在哪些领域真正超越人类？评论区聊聊。
往期相关：
Qwen 3.7-Max 登顶全球第一，国产 AI 内战卷疯了·
