开云数据分析 OpenAI大模子推翻近80年的数学定论, 此次连数学家我方王人没猜想

一个莫得被特意考试过贬责此类问题的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并非被"调教"来贬责这说念题，而是在被条目评估一批埃尔德什辛勤时，我方走到了这个谜底。

参与外部审核的数学家托马斯·布鲁姆在配套论文中写说念，这项发现标明代数数论对松弛几何问题有着远超此前预期的影响力开云数据分析，许大量学家接下来可能会用这套新用具再行扫视一批悬而未决的几何老问题。他的结语颇具感召力："数学殿堂中还有哪些未尝发现的奇景，在恭候着咱们？"