10,000 USDT 悬赏,寻找跟单金牌星探!🕵️
挖掘顶级带单员,赢取高额跟单体验金!
立即参与:https://www.gate.com/campaigns/4624
🎁 三大活动,奖金叠满:
1️⃣ 慧眼识英:发帖推荐带单员,分享跟单体验,抽 100 位送 30 USDT!
2️⃣ 强力应援:晒出你的跟单截图,为大神打 Call,抽 120 位送 50 USDT!
3️⃣ 社交达人:同步至 X/Twitter,凭流量赢取 100 USDT!
📍 标签: #跟单金牌星探 #GateCopyTrading
⏰ 限时: 4/22 16:00 - 5/10 16:00 (UTC+8)
详情:https://www.gate.com/announcements/article/50848
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。