23岁业余者用ChatGPT 解60年数学难题：80分钟破解
2026-04-29分类：网络百科 阅读（）
根据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 论文，最后贴上erdosproblems.com 论坛#1196 thread提交社群审阅。 Scientific American 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 对此事件两段评论被广泛引用。他形容「这道题与其他不同—人类确实看过，但集体在第一步就走错了」，并补充「这项贡献对整数结构研究的意义，远超过解开这道特定Erdős 问题本身。」
另一位史丹佛大学的数学家Jared Duker Lichtman 则表示，AI 采取的路径验证了他长期的直觉：这类问题之间存在「某种共通的统一感」。
OpenAI 4/28 揭露：Podcast 对谈与后续验证
OpenAI 在4 月28 日的Podcast 中正式邀请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 今日Podcast 揭露属于对外沟通层级，不等于完整数学证明验证已通过—读者欲追踪后续可关注Erdős Problems 论坛thread #1196。
Tags：
