在 GPT-5.4 Pro 协助下,一名 23 岁的业余爱好者解开了悬而未决 60 年的 Erdős 数学猜想(#1196)。该模型通过跨领域的 Markov 过程,连接整数结构,提出了人类从未尝试过的证明路径。根据 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。* 本文经授权转载自:《链新闻》* 原文标题:《23 岁业余者用 ChatGPT 解 60 年数学难题:80 分钟破解》* 原文作者:Elponcrab
80分钟破解!23岁业余者靠ChatGPT协助,解决60年数学难题
在 GPT-5.4 Pro 协助下,一名 23 岁的业余爱好者解开了悬而未决 60 年的 Erdős 数学猜想(#1196)。该模型通过跨领域的 Markov 过程,连接整数结构,提出了人类从未尝试过的证明路径。
根据 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。