← 返回专题列表
讨论 2026-05-21

专题 | OpenAI 攻克 80 年数学难题:AI 自主突破的里程碑时刻

OpenAI数学突破Erdős 问题通用推理模型AI for Science

菲尔兹奖得主高尔斯直言:这算是实打实头一回,AI 自主啃下这种未解数学难题。解决这个问题的不是数学专用模型,而是一个通用推理模型


2026 年 5 月 20 日,OpenAI 发布了一项震动数学界和 AI 界的声明:其内部通用推理模型自主推翻了埃尔德什(Paul Erdős)于 1946 年提出的单位距离猜想的反面,解决了一个困扰数学界近 80 年的经典问题。

这不是 OpenAI 第一次声称 AI 解决了数学难题——七个月前,前副总裁 Kevin Weil 曾宣称 GPT-5 解决了 10 个埃尔德什问题,随后被证实只是”找到了已有文献中的解”,引来 Yann LeCun 和 DeepMind CEO Demis Hassabis 的嘲讽。但这一次,数学界站在了 OpenAI 这边。

埃尔德什单位距离问题:简单到画在餐巾纸上,难到五代人没搞定

这个问题的表述极其简洁:

平面上放 n 个点,最多能有多少对点之间的距离恰好为 1?

用数学语言说,数学家们相信单位距离对数的增长速度大约是 O(n),即基本线性增长。写成公式就是 u(n) ≤ n^(1+o(1)),其中 o(1) 趋近于 0。

这个猜想被称为 Erdős unit distance conjecture,是离散几何领域最经典、最著名的未解问题之一。

OpenAI 的突破:从代数数论绕进来,发现全新构造族

OpenAI 的通用推理模型没有走几何路线,而是从代数数论的角度切入,构造出了一族全新的点排列方式,打破了数学家们 80 年来对”最优解长什么样”的共识。

具体来说,模型发现了全新的构造族,这些构造在单位距离对数的增长上超越了正方形网格方案,从而推翻了此前的猜想。

这意味着,数学家们 80 年来对这个问题”最优解形态”的理解是错的——而 AI 在没有人告诉它方向的情况下,自己找到了。

更值得注意的是,解决这个问题的不是数学专用模型,而是一个通用推理模型,这意味着 AI 的推理能力已经达到了可以在未知领域自主探索的程度。

数学界的回应:这次是真的

OpenAI 此次并非自说自话。公司同步发布了多位知名数学家的支持声明:

Gowers 的表态尤为关键:“这是 AI 解决的第一个极其著名的、未解的数学问题的清晰案例,也是第一个由 AI(自主)实现的数学突破。”

Bloom 的声明同样意味深长:“AI 正在帮助我们更全面地探索我们几个世纪以来建造的数学殿堂。还有什么 unseen wonders 在等待被发现?”

这些数学家的公开背书,与七个月前的”假新闻”形成了鲜明对比——也意味着,数学界正在认真对待 AI 作为”研究伙伴”的角色。

通用模型的意义:不只是数学

OpenAI 强调,解决这个问题的模型是一个通用推理模型,而非针对数学或几何问题专门设计的系统。这一细节的意义可能被低估了:

OpenAI 负责该通用推理模型的 Noam Brown 已表示,将尽快发布这个模型。

更大的背景:AI for Science 的加速

OpenAI 的数学突破不是孤立事件。就在同一天,其他 AI 领域的重大新闻也在发生:

这些事件叠加在一起,描绘了一幅更宏大的图景:AI 产业正在进入一个”全速运转”的阶段——从基础研究突破到商业落地,从算力竞赛到资本市场的全面爆发。

回望与前瞻:从 GPT-5 乌龙到真正的突破

七个月前,OpenAI 的”假突破”事件几乎成了一场公关灾难。但今天的声明说明,OpenAI 从那次教训中学到了重要一课:在科学声明上,宁可慢一步,也要让同行先验证。

这次 OpenAI 没有自己先发推文宣布,而是同步发布了数学家的支持声明——这种”先验证、后宣布”的做法,可能成为未来 AI 科学发现发布的标准流程。

AI Pulse 观点: OpenAI 的这次突破标志着 AI 进入了一个新阶段——从”能做什么”到”能发现什么”。当 AI 不再是执行给定任务的工具,而是能够自主探索未知、推翻人类既有认知的”研究者”时,整个科学研究的范式都可能需要重新审视。对于数学、物理、生物等基础学科来说,这可能意味着一个加速发现的时代即将到来;但对于”人类在科学发现中的独特性”这一哲学命题,这同样提出了深刻的问题。

AI Pulse 观点: 值得注意的是,这个突破来自通用推理模型而非专用模型。这意味着 AI 的”通用性”可能比我们想象的更强大——它不只是在某个特定领域超越人类,而是能够在多个领域之间建立人类尚未发现的连接。这也解释了为什么 OpenAI 如此强调”通用”二字:未来的 AI 竞争,可能不在于谁的专用模型更强,而在于谁的通用推理能力更能跨越学科边界。