📢 Gate 广场 TradFi 交易分享挑战上线!
晒单瓜分 $30,000 奖池,新人首帖 100% 中奖!
📌 参与方式:
带 #TradFi交易分享挑战 发帖,满足以下任一即可:
🔹 带今日指定 TradFi 币种标签发帖交流。
🔹 完成单笔大于 $10U 的 TradFi CFD 交易并挂载交易卡片。
🏷️ 今日指定标签:USDJPY、AUDUSD、US30、TSLA、JPN225
🎁 宠粉福利:
1️⃣ 卡片分享奖: 抽 50 人,每人送 $100 仓位体验券!
2️⃣ 发帖榜单奖: 冲排行榜,赢 WCTC 限定 T 恤!
3️⃣ 新粉见面礼: 新人首次发帖,100% 领 $10 体验券!
详情:https://www.gate.com/announcements/article/51221
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。