GPT-5.4 Pro 解 60 年 Erdős 猜想 #1196

根据 OpenAI 4 月 28 日的官方公告与 Scientific American 4 月 24 日的深度报道，一道悬宕 60 年的 Erdős 数学猜想（编号 #1196）在 ChatGPT 旗舰推理模型 GPT-5.4 Pro 协助下被解开。OpenAI 同日透过官方 Podcast 由研究员 Sébastien Bubeck 与 Ernest Ryu 与主持人 Andrew Mayne 对谈，正式对外说明事件细节与意义。

事件主角：23 岁业余者 Liam Price

解题者 Liam Price 23 岁，无进阶数学训练，平时偶尔与剑桥大学数学系二年级学生 Kevin Barreto 合作研究。Price 自述：「我并不知道这道题是什么——我就是有时会把 Erdős 问题丢给 AI，看看它会跑出什么。」

过程：

Price 在 2026 年 4 月某个星期一下午把 Erdős #1196 输入 GPT-5.4 Pro

模型约 80 分钟推理后给出证明思路

另花约 30 分钟整理为 LaTeX 论文

Price 将解答贴上 erdosproblems.com 论坛 #1196 thread，提交社群审阅

Scientific American 报导刊出时间为 2026 年 4 月 24 日；OpenAI 4 月 28 日 Podcast 揭露算是事后一周的官方版说明。

数学突破：Markov 过程连结整数结构，Tao 叹「人类前人第一步就走错」

Erdős #1196 属「primitive sets」（原始集合）研究范畴——指一群整数，其中任一個都不能被另一個整除。Erdős 的猜想为：当这类集合的元素趋近无限时，「Erdős sum 分数」的最大值会降至刚好 1。

GPT-5.4 Pro 的证明采取「人类数学家此前未曾尝试过」的路线：把整数结构（anatomy of integers）与 Markov 过程理论做出连结。这個跨领域的桥接此前不在任何人的研究路径上。

Fields 奖得主、知名数学家 Terence Tao 对此事件评论两句被广泛引用：

「这道题与其他不同——人类确实看过，但集体在第一步就走错了。」（”This one is a bit different because people did look at it, and the humans that looked at it just collectively made a slight wrong turn at move one.”）

「这项贡献对整数结构研究的意义，远超出解开这道特定 Erdos 问题本身。」（”That would be a meaningful contribution to the anatomy of integers that goes well beyond the solution of this particular Erdos problem.”）

另一位斯丹佛大学的数学家 Jared Duker Lichtman 则表示，AI 采取的路径验证了他长期的直觉：这类问题之间存在「某种共通的统一感」。

OpenAI 4/28 揭露：Podcast 对谈与后续验证

OpenAI 在 4 月 28 日的 Podcast 中正式邀请 OpenAI 研究员 Sébastien Bubeck 与 Ernest Ryu 与主持人 Andrew Mayne 对谈「AI 在数学研究中的角色」。OpenAI 推文原话：「Earlier this month, an Erdős problem that had been open for 60 years was solved with help from GPT-5.4 Pro. What happens now that AI is getting good at math?」

截至本文截稿，Price 提交的证明在 erdosproblems.com 论坛仍处于社群验证阶段，尚未通过正式同行评审；TheDecoder 4 月 15 日报道指出「formal verification 仍在进行」。OpenAI 今日 Podcast 揭露属于对外沟通层级，不等于完整数学证明验证已通过——读者欲追踪后续可关注 Erdős Problems 论坛 thread #1196。

这篇文章 GPT-5.4 Pro 解 60 年 Erdős 猜想 #1196 最早出现在 链新闻 ABMedia。