AI模型在屏幕上展示单位距离问题的点阵排列解法,背景为数学公式与几何网格。
AI模型在屏幕上展示单位距离问题的点阵排列解法,背景为数学公式与几何网格。

AI找到了比人类网格更优的点阵排列方式,这个突破也给关注数学前沿的朋友一个共同理解的新背景。

AI破解80年数学难题 事件脉络与关键事实

一道由数学家保罗·埃尔德什在1946年提出的单位距离问题,困扰学界近80年,近日被OpenAI的AI模型实现突破。该问题探讨在平面上放置n个点时,最多能有多少对点之间的距离恰好为一个单位。埃尔德什曾证明网格排列能产生大量单位距离点对,并推测没有其他方式能显著超越。然而,OpenAI的模型自主发现了一种优于网格构造的新排列方式,构成对原猜想的反例,而非证明。这一成果被多位数学家评价为里程碑式的突破。

普林斯顿大学教授Noga Alon指出,AI完成了许多优秀研究者未能完成的任务。多伦多大学的Daniel Litt称这是首个由AI自主产出的重要数学结果。菲尔兹奖得主Timothy Gowers表示,若此论文由人类提交,他会毫不犹豫推荐发表。尽管AI未达超人智能,但其持续推理、跨领域整合知识的能力,已显著改变数学研究的边界。

OpenAI团队最初也难以置信,经过多轮验证和外部专家核验,结果被确认可信。该解法融合代数数论与离散几何,思维链长度相当于第一部《哈利·波特》。整个过程耗时不到32小时,成本低于1000美元。研究人员强调,AI并非取代人类数学家,而是成为扩展好奇心的工具。目前,人类已在该成果基础上继续探索其他长期未解问题。

事实

  • OpenAI的AI模型自主解决了困扰数学界近80年的单位距离问题相关猜想。
  • 该模型发现了一种优于埃尔德什网格构造的点阵排列方式,构成对原猜想的反例。
  • 解法融合了代数数论与离散几何,思维链长度超过7.5万词。
  • 整个计算过程耗时不到32小时,token成本低于1000美元。
  • 菲尔兹奖得主Timothy Gowers认为,该成果若由人类完成,足以发表于《数学年刊》。

Canto 的可视化新闻解读。制作过程可能有 AI 辅助。 编辑政策