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。

  • 本文经授权转载自:《链新闻》
  • 原文标题:《23 岁业余者用 ChatGPT 解 60 年数学难题:80 分钟破解》
  • 原文作者:Elponcrab
查看原文
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 Gate 认可其观点表述,也不得被视为财务或专业建议。详见声明
  • 赞赏
  • 评论
  • 转发
  • 分享
评论
请输入评论内容
请输入评论内容
暂无评论