AI推翻80年数学猜想：埃尔德什单位距离下界被刷新

“AI将会统治世界”——这句话我们听了几十年，早到《终结者》里审判日的设定，就已经把它刻进流行文化的基因。但如果要严肃地讨论，过去还没有哪件事能清晰地证明，AI真的可以凭空创造出人类从未触及的新知识。直到2026年5月，一条来自OpenAI的消息，让这个模糊的边界出现了第一条实打实的裂缝：一个内部推理模型，把埃尔德什1946年提出的平面单位距离问题，给出了一个彻底的反例，直接打翻了数学家们坚持了80年的下界信仰。

这不是那种“AI辅助人类做数学”的故事，也不是把已有的证明重新包装得更漂亮。这是由AI从头到尾独立完成、并留下完整思考痕迹的发现——一份125页的Chain of Thought，一步步记录着模型怎样超出人类经验，跨进一个全新的结构。它意味着，至少在组合几何这个领域，AI的新奇性（Novelty）已经不再是比喻，而是可以被逐页审阅的推导过程。

要讲清楚这件事，得先回到80年前那个看起来几乎天真的问题。1946年，保罗·埃尔德什画了一个十分简单的画面：如果在平面上撒下n个点，那么在这些点之间，有多少对点之间的距离刚好是1个单位？乍一听，这像是个中学生也能动手试试的几何游戏。但埃尔德什很快就证明，这不是一个纯粹靠直觉就能回答的问题，因为它卡在两个互相撕扯的边界之间——一个“你至少可以做到这么多”的下界，和一个“你无论如何也不可能超过”的上界。

埃尔德什自己的下界构造，用的是方方正正的网格。把点均匀地排成√n行√n列，然后调整尺度，让相邻的横纵距离恰好是1。这样一来，距离为1的点对就大量出现在每一行和每一列上，数量大约在n条线段级别。更精确地讲，这种排列产生的单位距离对数稍微超过一次函数，也就是数学上说“比线性略多一点点”，而这个“一点点”会随着n增大而变得非常薄——指数的额外部分朝着0趋近，最终整体的增长形式挨着n的1次方，写成公式就是n^(1+o(1))。埃尔德什据此猜想，网格也许就是终极答案，任何其他结构都不会在数量级上明显胜过这种规整的排列，因此问题的真实下界就贴着这根n^(1+o(1))的线，跨不过去。

与此同时，上界那一端也有人在施工。还是埃尔德什本人，用一个简单的圆交点的办法，证明了单位距离对数不可能超过n^(3/2)量级。想象一下，平面上两个半径均为1的圆相交，最多交出两个点，这个看似不起眼的几何事实，通过一套数数论证，就能把所有人关在一个天花板下面。到了1984年，Spencer、Szemerédi和Trotter三人合力，把这层天花板压低到比n^(4/3)还略好一点的位置，这里已经是目前人类手头上最好的上界，直到OpenAI放出那个模型的结果，这个上界也没有被动摇过一毫米。

所以过去80年的格局，就是一个两头夹击的局面：下界在n^(1+o(1))，上界在接近n^(4/3)的地方，中间留着一大片空白。数学家们普遍相信，埃尔德什的网格猜想是对的，现实应该紧紧贴在下界那侧，而上界的责任，不过是把空白的宽度一点点挤窄。但OpenAI的那个推理模型，偏偏就是对着下界那侧的“理所当然”动了刀，而且一刀就切下一块足以称得上“反例”的几何构造。

要理解这个反例的冲击力，就得看清埃尔德什的网格为什么被当成下限模版。他的办法其实是一种很聪明的“重复利用”。选定一个网格点，画一个半径为1的圆，恰好穿过同一行里左右各一个点，同一列里上下各一个点，甚至还可能穿到斜对角上的点。这么一来，一个圆居然可以同时圈住好几个等距的同伴，单位距离就这样被批量生产出来。网格越是规整，这种重复利用率就越高。正因为如此，网格看起来就像一个把单位距离“压榨”到极致的生产方式，让人们很难想象，还能有什么乱七八糟的排列，能在数量上超过这种规整到极致的结构。

但OpenAI的模型偏偏就找到了这样一个反例结构，一个比网格还要多出不少单位距离的点的集合。也就是说，下界那条线被人抬高了一段，表明在过去80年里，网格并没有走到尽头，真正的下限比埃尔德什当初展示的还要高、还要有力。尽管上界的城墙依然稳稳矗立在远处，但下界这一抬，直接改变了整个问题的地貌——埃尔德什关于“网格已经最优”的预言，宣告失效。

这条反例究竟长什么样，眼下还不清楚；但模型的完整推导过程——那份125页的思维链——已经把它是如何从一片空白走到这个颠覆性结论的路径，彻底摊了出来。这条路的前半段，几乎就像在翻阅一部微缩版的组合几何探索史。模型系统地检视了所有人类曾经寄予厚望的防线：超立方构造、单位根方法、椭圆曲线结构，以及交叉引理的各种应用，逐一推演，逐项评估。它得出的结论也跟80年来数学家们的感受一致：这些路子没有一个能跨过已知的上界，更不可能去撼动埃尔德什的下界猜想。如果你光读到这里，甚至可能有一丝失望：看来它也不过是在温习人类既有的失败尝试。

可翻到第6页，事情就戛然转弯了。模型在那页里做了一个视角上的跳跃，一个人类极少主动去做的跳跃：它把所有极端的、被认为是候选反例的点集结构，统统切换成代数语言重新