数学界迎来了一场史无前例的“地震”。OpenAI 正式宣布,其内部一款通用推理模型在没有任何人类手把手引导的情况下,独立推翻并解决了组合几何领域困扰学界80年的经典难题——埃尔德什单位距离猜想(Erdős unit distance problem)

一、难题的挑战:看似简单的“迷宫”

这道难题最初由数学界的传奇人物保罗·埃尔德什(Paul Erdős)在1946年提出:假设我们在平面上放置n个点,那么,这些点之间最多能形成多少对距离恰好为1的点对?

  • 长期共识的崩塌: 过去80年间,顶尖数学家们普遍认为,最优解应该是类似棋盘网格的排列,点对数量的增长速度应几乎是线性的。

  • AI展现出令人惊叹的创造性:OpenAI的模型并未遵循传统的几何证明思路,而是另辟蹊径,巧妙运用代数数论中的深奥工具(如类域塔理论和Golod–Shafarevich定理),构建了一种全新的点集构型,从而证明了单位距离点对的数量增长确实能够超越线性限制。

二、为何这被称为“AI 数学史上的里程碑”?

菲尔兹奖得主、著名数学家蒂莫西·高尔斯(Tim Gowers)在评价此事时表示:“这毫无疑问是 AI 数学史上的一座里程碑。如果这篇论文是由人类撰写并提交给《数学年鉴》,我会毫不犹豫地推荐接受。”

  • 从辅助工具到自主探索者:这远不止是一次普通的计算任务。它标志着人工智能首次在数学的未知领域中独立开辟了新路径——不仅给出了问题的答案,更揭示了一种人类此前未曾深入探索的几何视角,并架起了连接不同学科的桥梁。

  • 同行评议: 该项成果长达125页,在公开后迅速经过了全球顶尖数学家的验证,多位专家一致认为其逻辑严密、创新性极高

三、行业信号:AI 从“算得快”进化至“想得深”

这一突破揭示了 AGI(通用人工智能)发展的深层逻辑变迁:

  1. 科学发现正在迎来新范式:AI已经超越了在现有知识体系内“整理数据”的角色,展现出作为独立研究者的潜力。它能够自主探索未知、提出创新假设,并进行严谨的逻辑论证。

  2. 跨界思维的优势: 模型成功将几何难题与深奥的代数数论联系起来,这种连接学科的能力,正是人类专家长久以来引以为傲的“直觉”与“深刻洞察”。

  3. 验证未来的巨大潜力:此次证明过程表明,通用推理模型已经能够维持长逻辑链的严密性。这意味着,同样的技术架构未来有望在物理、材料科学、生物医学等更为复杂的科研领域,复制这种“科学发现”的能力,推动基础研究的突破。

结语

正如该模型在描述构造过程时所用的评价,这是一个“令人敬畏”的跨越。虽然 AI 取代数学家尚远,但它已经正式拿起了那根名为“科学发现”的接力棒。正如一位数学家所言,正如望远镜之于天文学,AI 正在成为数学家手中新的“科学观测望远镜”,帮助人类眺望远超以往的数学地平线。