80分钟破解！23岁业余者借助ChatGPT，解决60年数学难题

一名 23 岁业余爱好者在 GPT-5.4 Pro 协助下，解开悬宕 60 年的 Erdős 数学猜想（#1196）。该模型通过跨领域的 Markov 过程连接整数结构，提出人类未曾尝试的证明路径。

根据 OpenAI 4 月 28 日的官方公告与 Scientific American 4 月 24 日的深度报道，一道悬宕 60 年的 Erdős 数学猜想（编号 #1196）在 ChatGPT 旗舰推理模型 GPT-5.4 Pro 协助下被解开。OpenAI 同日通过官方播客由研究员 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 論文，最後貼上 erdosproblems.com 論壇 #1196 线程提交社区审阅。Scientific American 4 月 24 日刊出深度报道，OpenAI 4 月 28 日的官方播客属事后一周的对外说明。

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

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

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

Fields 奖得主、知名数学家陶哲轩（Terence Tao）对此事件两段评论被广泛引用。他形容「这道题与其他不同—人类确实看过，但集体在第一步就走错了」，并补充「这项贡献对整数结构研究的意义，远超过解开这道特定 Erdős 问题本身。」

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

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

OpenAI 在 4 月 28 日的播客中正式邀请 OpenAI 研究员 Sébastien Bubeck 与 Ernest Ryu 与主持人 Andrew Mayne 对谈「AI 在数学研究中的角色」。OpenAI 推文写道：「本月初，一道悬宕 60 年的 Erdős 问题在 GPT-5.4 Pro 协助下被解开。现在 AI 已经擅长数学，接下来会发生什么？」

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

• 本文经授权转载自：《链新闻》
• 原文标题：《23 岁业余者用 ChatGPT 解 60 年数学难题：80 分钟破解》
• 原文作者：Elponcrab