一道80年几何难题，AI用几百页计算说"你可能错了"

1946年，匈牙利数学家保罗·埃尔德什在纸上随手画了几个点，然后问了一个看起来很简单的问题：如果这些点之间的距离要完全相等，最多能有多少对？

这个问题后来被称为"平面单位距离问题"，折磨了数学家将近80年。埃尔德什自己猜了一个答案，说增长速度应该只比点的数量快一点点。很多同行觉得他说得对，但就是没人能证明。

直到最近，OpenAI的人把这个问题丢给了自家的大语言模型，随口问了一句：埃尔德什会不会是错的？

结果AI吭哧吭哧算了几百页，给出的答案让审稿专家都愣了一下——不是"可能错"，而是"确实错"。

一、这道题到底在问什么

先别被"平面单位距离"这个术语吓到。说人话就是：

你拿一张纸，在上面随便点几个点。然后你拿尺子量，把距离完全相等的点对都找出来。问题是：如果点越来越多，这种"等距点对"最多能有多少？

举个例子：四个点排成正方形，边长都是1。这时候你有4条边，加上2条对角线（对角线长度是√2，不是1），所以单位距离的点对只有4对。但如果你把点排成等边三角形的网格，情况就不一样了。

埃尔德什1946年的猜想是：不管你多聪明地排列这些点，等距点对的数量增长是有上限的，大致跟点的数量n成正比，最多再乘以一个极小的对数因子。换句话说，增长速度被"卡死"了。

这个猜想听起来合理——毕竟平面就那么大，点多了难免拥挤，距离重复的概率应该有限。但"听起来合理"和"数学证明"之间，隔着80年的空白。

二、AI是怎么插手的

OpenAI的研究人员后来写了一篇论文，详细记录了整个过程。核心操作其实挺直白：他们把埃尔德什的猜想输入大语言模型，然后问模型能不能找到反例。

注意这里的分工。AI负责的是探索性的计算和构造，人类数学家负责事后审核和重写。论文里明确写道，研究人员"并未参与最初的数学计算"，而是在软件输出结果之后介入，检查逻辑链条并整理成规范的数学证明。

AI选择的策略也很刁钻。它没有直接在平面上硬算——那正是人类数学家卡壳几十年的地方——而是调用了高维几何和复数系统的工具。简单说，它先在更高维的空间里构造某种数学结构，再想办法"投影"回二维平面。

这种降维打击的思路，用论文里的话说，是"埃尔德什经典方格下界的高维类比"。

最终输出是几百页的推导，核心结论一句话：埃尔德什猜想的那个"速度上限"根本不存在。你可以构造出某种点的排布，让等距点对的数量远远超过n的线性增长，达到n的1+δ次方级别——其中δ是一个确定的正数。

审稿专家复核后确认了这个发现。论文里的定理原文很干脆："We disprove the unit distance conjecture"——我们否证了单位距离猜想。

三、为什么这事值得多看一眼

从数学史的角度，这算是给一道古董级难题画了个逗号。埃尔德什本人以出题著称，他一生提出了上千个数学问题，其中不少至今悬而未决。平面单位距离问题属于那种"表述简单、证明极难"的典型，和费马大定理、四色定理一个路数。

但从技术史的角度，这件事的信号更值得琢磨。

过去几年，AI在数学领域的参与主要是辅助性的：验证证明、搜索文献、做符号计算。但这一次，AI直接参与了核心构造——它提出了人类没试过的证明路径，并且这个路径走通了。

OpenAI的研究人员在博客里放了一张示意图，展示了AI构造的点集分布。视觉上它有点像被拉伸变形的方格，但背后的算术结构比经典方格复杂得多。这种构造如果让人类从头摸索，可能需要数年甚至数十年的试错。

当然，现在下结论说"AI将取代数学家"还为时过早。这次突破有几个特殊条件：问题本身表述清晰、答案形式明确（存在性证明）、且恰好落在AI擅长的组合搜索空间里。更开放的数学问题——比如"黎曼猜想是真的吗"——目前还不在这个范畴内。

但一个趋势已经很明显：AI正在成为数学探索的"望远镜"。它看不到人类看不到的东西，但它能看到人类看不过来、算不过来的东西。

四、还有什么是没说完的

论文里留了几个明显的尾巴。

首先是那个δ。AI证明了存在一个正数δ，使得等距点对可以增长到n的1+δ次方，但具体δ有多大？论文没说。这意味着我们知道了"埃尔德什的上限不存在"，但还不知道"真正的上限在哪里"。

其次是构造的复杂性。AI给出的点集排布虽然在数学上成立，但是否存在更简洁、更优雅的构造？人类数学家可能会继续在这个方向上挖掘。

最后也是最实际的：这个证明目前只在arXiv预印本服务器上发布，尚未经过完整的同行评议流程。虽然已有专家审核确认核心发现，但正式的期刊发表和学术共同体的大规模检验还在进行中。

所以严格来说，这道80年老题的状态从"未解决"变成了"部分解决，待进一步澄清"。

五、一点多余的感想

埃尔德什是个传奇人物。他一辈子没有固定教职，拖着行李箱在全世界流窜，跟各路数学家合作发表论文。他提出的难题数量之多、质量之高，让后人专门用"埃尔德什数"来衡量数学家的合作距离——跟埃尔德什本人合写过论文的是埃尔德什数1，跟埃尔德什数1的人合写过的是埃尔德什数2，以此类推。

如果埃尔德什活到今天，看到AI用自己的方法（高维类比、组合构造）推翻了自己的猜想，不知道会是什么表情。他可能会觉得有趣——他一生热爱数学的意外性，甚至说过"数学不是赛跑，而是马拉松"。

但更有可能的是，他会立刻追问下一个问题：那真正的上限是什么？

这个问题AI暂时还答不上来。但或许下一次，有人再把它输进某个聊天框的时候，又会蹦出几百页让人类数学家忙好几年的计算。