一个莫得被成心磨砺过处治此类问题的AI模子，解开了数学史上最着名的悬案之一。

2026年5月20日，OpenAI文书，其里面一个通用推理模子见效推翻了"平面单元距离问题"的中枢推断，这个问题由匈牙利听说数学家保罗·埃尔德什于1946年建议，困扰数学界快要80年。菲尔兹奖得主蒂姆·高尔斯在配套论文中将其称为"AI数学规模的一个里程碑"。

这个问题到底在问什么

问题的表述通俗得让东说念主有些不测：在一个平面上立地扬弃若干个点，其中恰巧相距"一个单元长度"的点对，最多能有若干组？

埃尔德什在建议这个问题时，我方也给出了一种构造决议：将点摆列成正方形网格状，这么不错产生毛糙 n1+C/log⁡log⁡nn1+C/loglogn 对单元距离，其中 nn 是点的总和。这个指数畸形接近线性增长，几十年来莫得东说念主能找到比这更好的构造决议。

埃尔德什因此建议推断：任何点集的单元距离对数目，增长速率王人不行能权贵跳动线性。这个推断在组合几何规模实在成了一种知识，被收录在专科课本中，被无数论文援用，被数代数学家视为既定的规模。

1984年，Spencer、Szemerédi和Trotter给出了 O(n4/3)O(n4/3) 的上界，但下界这一侧的记载自埃尔德什1946年的原始构造起，就再莫得被本体性突破过。

这个千里默抓续了快要80年。

AI找到了一条数学家从未想过的路

OpenAI的模子松弛这个千里默的形状，让数学家们信得过感到惊骇。

它并莫得使用几何学的传统器具，而是绕说念插足了一个看似绝不干系的数学规模：代数数论。这是一个征询整数膨胀系统中因式判辨和对称性结构的艰深分支，每每与几何问题莫得交加。

具体来说，模子的领悟从高斯整数启程，也便是形如 a+bia+bi 的复数，小九体育其中 aa 和 bb 为整数，ii 为虚数单元。埃尔德什曩昔我方的构造也用到了高斯整数，但他停步于此。AI的作念法是把这个想路推向了更深处，用代数数论中更复杂的数域替换高斯整数，这些数域领有更丰富的对称结构，从而大约在点与点之间制造出数目远超以往的单元距离。

领悟的重要器具包括"无限类域塔"和"戈洛德-沙法列维奇表面"，这些王人是代数数论的前沿认识，此前从未有东说念主将它们欺骗于平面几何的点集问题。

普林斯顿大学数学解说Will Sawin随后对这一放浪进行了精化，领悟改换不错用一个固定指数 δ=0.014δ=0.014 来精准表述，即对无限多个 nn，存在 nn 个点的成就使单元距离对数目达到 n1+0.014n1+0.014，这透顶推翻了埃尔德什推断的中枢断言。

数论学家阿鲁尔·尚卡尔的评价快东说念主快语："这篇论文领悟，刻下的AI模子不单是是数学家的接济器具，它们还是大约产生信得过原创的天才目标，并将其鼓动到效力。"

这个放浪还有一个细节值得额外关爱：这一领悟来自一个通用推理模子，而非成心针对数学问题磨砺的系统，工程师们也莫得为这个特定问题构建任何专用搜索器具。换句话说，AI并非被"调教"来处治这说念题，而是在被条目评估一批埃尔德什费劲时，我方走到了这个谜底。

参与外部审核的数学家托马斯·布鲁姆在配套论文中写说念小九体育在线直播官网平台，这项发现标明代数数论对闹翻几何问题有着远超此前预期的影响力，许无数学家接下来可能会用这套新器具再行扫视一批悬而未决的几何老问题。他的结语颇具感召力："数学殿堂中还有哪些未尝发现的奇景，在恭候着咱们？"