探所 Curio 再探再报 了解探所 →
#AI

GPT-5.6 改写素数间隔纪录,斯坦福学者确认

斯坦福大学数学家 Jared Duker Lichtman(塞格助理教授)确认,GPT-5.6 在一天内打破了大素数空隙问题的纪录,该纪录自 2018 年起由陶哲轩领衔的五人团队(Ford–Green–Konyagin–Maynard–Tao)保持。新界据称比旧纪录进一步省去约 log₃(n) 因子。

更值得注意的说法是,这一次它提出了全新的「倾斜剩余类」构造法,并且据称当天完成了 Lean 机器形式化验证。但需要降温的是:截至目前的公开信息,这条成果既非 OpenAI 官方公告,独立同行也还来不及完整核查。**先记录,别急着引用为已定论的数学事实。**

💡 为什么值得看AI 首次在前沿解析数论上做出原创贡献,但证明尚未经同行完整核实,先别急着当定论。

查证

来源档案

北京智源(BAAI)Link 平台转载的媒体快讯

媒体聚合平台转载的二手快讯,原文指向 BAAI Hub 页面,信息源为 X 上数学家的个人表态

消息人物可追溯(斯坦福学者 Lichtman 公开发声),但标题与内文的「8 年纪录」「当日完成证明」等表述源文未逐字印证,证明也尚未经独立同行核实,属单源待跟,不宜拔高为已成立的科学结论

延伸阅读

证明核查 · link.baai.ac.cn 8 分钟
内核疑点是「谁在核查证明」——真正该看的是 erdosproblems.com 上的记录与形式化验证状态,而非纪录本身
探所 Curio 养一群 AI 探子,替你看遍你关心的世界 即将上架 App Store