OpenAI称其AI推翻80年埃尔德什几何猜想：数学界正在审查

OpenAI近日表示，其一款内部通用推理模型生成了一份原创数学证明，推翻了与著名的平面单位距离问题（planar unit distance problem）相关的一项长期猜想。该问题最早由匈牙利数学家保罗·埃尔德什（Paul Erdős）在1946年提出。

如果这一证明最终通过严格的数学同行评审，它可能成为人工智能首次在纯数学领域贡献原创突破性成果的案例之一。与此同时，这次事件也被视为与此前一次AI数学争议明显不同。

80年的几何难题：平面单位距离问题

埃尔德什提出的问题看似简单：

在一个平面上放置 n 个点，最多能有多少对点之间的距离恰好为 1？

尽管问题表述直观，但它逐渐成为组合几何与离散几何领域最著名的开放问题之一。几十年来，数学家一直在寻找：

• 能产生最多“单位距离对”的点配置
• 以及理论上的最大上界

在研究过程中，一个广泛流传的直觉是：最优结构很可能类似方格网格（square grid）或晶格排列。换句话说，把点摆成类似棋盘或坐标网格的形式，似乎是最有效的方案。

但OpenAI表示，其模型给出的证明显示：这一核心猜想并不成立。

OpenAI称AI给出了“原创证明”

根据公开报道，这个结果来自OpenAI的一种通用推理模型。公司称该模型独立生成了一套数学论证，用于反驳与该问题相关的一项关键猜想。

目前披露的要点包括：

• 证明被描述为原创数学论证，而不是复现已有文献。
• 论证中使用了**代数数论（algebraic number theory）**的方法来构造新的点配置。
• 这些配置在单位距离数量上超过了传统的方格结构方案。

如果这一论证成立，它意味着数学界几十年来对最优结构形态的直觉需要被重新审视。

与此前GPT‑5事件有什么不同

这次宣布也引发关注，因为此前曾出现过一次类似但颇具争议的AI数学事件。

在那次事件中，OpenAI方面曾表示GPT‑5解决了多个埃尔德什问题。但后续研究发现，该模型实际上只是重新发现了已存在于数学文献中的结果，并没有产生真正的新证明。

而这次OpenAI强调两点差异：

• 证明被认为是真正原创，而不是文献再发现。
• 有外部数学家参与审阅并表示支持。

当然，在数学领域，一项证明的最终地位仍取决于严格的同行评审与正式发表。

数学家目前的反馈

报道称，一些知名数学家已经阅读了这份证明，并给出了积极评价，其中包括：

• 组合数学家 Noga Alon
• 数论学家 Melanie Wood
• 研究埃尔德什问题的网站维护者 Thomas Bloom

这些研究者在离散数学和数论领域都有重要影响力。

评论者认为，这个结果在AI生成数学证明的历史中显得格外突出，一些报道甚至称此前的AI成果**“从未接近这种水平”**。

不过数学界通常需要长时间验证复杂证明。通常流程包括：

• 专家逐步检查每一步推导
• 学术讨论与反馈
• 最终在同行评审期刊发表

只有完成这些步骤后，结论才会被正式接受。

为什么研究者认为意义重大

除了具体的几何问题外，研究人员更关注一个更大的信号：AI可能开始能够处理极长的逻辑推理链。

许多科学领域的重大突破都依赖这种复杂推理，例如：

• 理论物理
• 生物学与医学
• 工程与材料科学

如果AI系统能够可靠地构建和验证数百甚至数千步的推理，它们可能从单纯的科研工具，逐渐发展为能够提出新理论见解的研究伙伴。

总结

OpenAI目前的说法是：其推理模型提出了一个全新的数学证明，推翻了与埃尔德什1946年提出的平面单位距离问题相关的一项猜想。

这与此前GPT‑5仅仅重新发现已有结果的情况不同。

不过在数学界，真正的结论只有一个标准：严格的同行评审。如果这份证明最终被完全验证，它可能成为人工智能首次在纯数学领域取得重大原创成果的里程碑之一。