GPT-6 Astra 改进素数间隙上界,带来 1930 年代以来首个量级突破
ChrSzegedy · x · 2026-09-04
作为 GPT-6 Astra 发布的一部分,数学家 Mehtaab Sawhney 宣布 Astra 在素数间隙(longest gap between primes)问题上给出约 log log n 因子的改进,是该问题自 1930 年代以来的首次此类进展——此前 Ford、Green、Konyagin、Maynard、Tao 等人的工作以及 GPT 5.6 Sol 都只是 logloglog n 因子层面的推进。
数学家 jdlichtman 评价称,GPT-6 在 8 页内将 Ford-Green-Konyagin-Maynard-Tao 的结果整整改进了一个数量级,还提出了自 1930 年代以来全新的问题切入点,堪比「在数十年后发现一种全新的国际象棋开局」,认为这是 AI 史上最重要的数学成果之一,可与 2/3 Zeta Zeros 证明并列。
所属事件:GPT-6-Astra 用 Lean 证明素数间隔 ≤186,数日三破纪录(22 条相关)→
「研究」频道最新
- 航空业的数据溯源思路:智能体如何在图结构数据上拼证据 — colinmcnamara · 2026-10-21
- SFT 阶段配方公开:指令/推理/代码/数学混训,不做多 epoch — TimDarcet · 2026-10-21
- 训练中期阶段揭秘:扩到 131k 上下文,「不要 logit,只要 token」 — TimDarcet · 2026-10-21
- 数学家 Daniel Litt 认输后谈 AI:能解题,但自动化不了数学研究 — ziv_ravid · 2026-10-21
- AI 制药真实现状:不是一句话治癌,而是海量结合筛选加毒性过滤 — burny_tech · 2026-10-21
- PyTorch 官方详解 IBM Spyre 后端:KTIR 与数据流调度器如何跑通 AI 加速器 — PyTorch · 2026-10-21