GPT-6突破「素数间隔」纪录！这次是加入OpenAI的北大数院07级校友

尤其是发布尾声，OpenAI 总裁 Greg Brockman 一句「Welcome to the AGI era」，更是将现场气氛推向高潮。

虽然目前 GPT-6 Astra 仅向少量组织开放，但 X 上围绕它是否已经接近「AGI」的大量测试和讨论，早已铺天盖地。

而就在这场关于 AGI 的「狂欢」之外，我们发现了一项隐藏在模型发布背后的研究成果： GPT-6 Astra 在有界素数间隔（bounded gaps between primes）问题上取得新突破，将此前已知上界从 246 推进至 186。

事情是这样的。

今早，宾夕法尼亚大学统计学教授、OpenAI 研究员、北大数院 07 级校友苏炜杰发了一则帖文，宣布  GPT-6 Astra 已将素数间隔上界推进至 186，并完成了 Lean 形式化验证！

他写道：

「我 9 岁第一次听说孪生素数猜想时，就被这个问题深深吸引。它简洁优美的数学结构，以及张益唐那段传奇般的突破故事，一直留在我的记忆里。

今晚的经历非常不真实 —— 我成为第一个见证模型取得这一进展的人：它把此前由 246 保持的最好上界一路推进到了 186。而这个问题，正是我从小时候起就一直敬仰的数学难题。

对我来说，这一刻仿佛是在见证一个全新时代的智能诞生。而这一切，都离不开 OpenAI 每一位成员的努力！」

帖文下面还附带着 OpenAI 发布的论文：「Improved Short Gaps Between Primes」，论文摘要中表示： 「该数学证明由 GPT-6 Astra 给出。」

论文链接：https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/short_gaps.pdf

帖文一经发布，很快引发讨论，不少网友表示：虽然看不懂，但似乎很厉害！

确实，这件事的重要性，并不只是因为数字从 246 变成 186。更关键的是： 它或许代表 AI 正从「解决数学问题」，走向「参与数学研究」。

下面，我们来具体看一看。

从张益唐到陶哲轩，「素数间隔」曾是数学家的「长期战场」

首先，要理解这次突破，就要知道它解决的是什么问题？

素数大家都知道，那也知道素数看似是随机分布，比如 2、3、5、7、11、13…… 但随着数字越来越大，两个相邻素数之间的距离也会不断变化，像是 11 和 13 之间差 2；23 和 29 之间差 6……

数学家长期关注一个问题： 相邻素数之间的距离，是否会无限次出现非常小的情况？

其中最著名的就是 与素数间隔密切相关的「孪生素数猜想」：是否存在无限多对相差 2 的素数？

例如：11 和 13、17 和 19、29 和 31……

但这个猜想提出超过 100 年，至今仍未被证明。不过，退而求其次，数学家已经证明了一个弱一些的结论：即使无法证明存在无限多个「距离为 2」的素数对，也可以证明： 存在无限多组素数，它们之间的距离不会超过某个固定数字。

而这个数字，就是研究者不断竞争降低的目标。

首先要提到的是 2013 年，华人数学家张益唐取得突破证明：存在无限多对素数，它们之间的距离小于 7000 万。这是几十年来该方向最重要的进展之一。

随后，数学界不断改进这一结果。其中，菲尔兹奖得主 James Maynard、Terence Tao（陶哲轩）等数学家继续推动筛法发展，将这一界限持续压低，最终，这条路线的重要纪录长期停留在： 246。

而 OpenAI 公布的 GPT-6 Astra 结果，则进一步将这一上界推进到了 186。

从 OpenAI 公布的 PrimeGaps186 项目可以看出，这项工作关注的是：

主题：