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 条相关)→

原文链接 →

「研究」频道最新

更多「研究」频道 AI 资讯 →