🤖 AI · 科技
GPT-6 Astra发布不到一天，就把孪生素数猜想间距上界从246推到186，数学家直呼"超现实"
一、AI破数学难题，这不像是真的
9月4日凌晨，OpenAI发布GPT-6 Astra仅几个小时，一篇来自宾夕法尼亚大学统计学教授、北大07级校友苏炜杰的推文引爆了学术界和科技圈。他在推文中写道，自己"亲眼看着这个模型把一个崇敬了二十多年的数学问题，往前推了一步"。这个问题就是困扰数学界数百年的孪生素数猜想。
OpenAI当天发布了一篇数学论文，题目叫"Improved Short Gaps Between Primes"，宣布GPT-6 Astra在孪生素数猜想方向上取得了新进展，用Lean形式化证明把连续素数间距的上界从246推到了186。论文摘要的最后一句话，把这个证明归功于GPT-6 Astra。苏炜杰感叹，这是"真正超现实的一夜"。
二、从7000万到186，人类数学家走了十几年
孪生素数猜想说的是：存在无穷多对差值为2的素数，比如(11,13)、(17,19)、(29,31)。这个猜想至今未被证明，但数学家们一直在努力缩小连续素数之间的间距上界。
2013年，北大校友张益唐在《数学年刊》发表论文，证明了存在无穷多个差值小于7000万的素数对，首次将间隔从无限大缩小到有限数，震惊国际数学界。此后Polymath 8a项目将上界压到4680，Maynard和陶哲轩各自独立提出多维Selberg筛法，把上界降到600以下，Polymath 8b最终停在了246——这个数字已经卡了好几年。
而今天，"#GPT-6突破孪生素数猜想AI改写数学史#"一个AI模型一夜之间把246推到了186。OpenAI总裁Brockman在发布会上那句"欢迎来到AGI时代"，听起来不再像画饼了。
三、AI怎么做数学？找到被忽略的"三重整除性"
这篇论文的核心突破点在哪里？在素数间隔问题里，数学家需要构造一种叫Selberg筛的工具来"筛"出素数。之前Polymath 8b已经用到了单重和双重稠密整除性的模，但"三重稠密整除性"虽然早就被提出来，却一直因为计算量太大而无法利用。
GPT-6 Astra找到的突破口是一组互补的因式分解条件：对于两个无平方因子的整除积D和E，如果它们的大质因子部分分别满足特定大小约束，那么它们的最小公倍数[D,E]就自动满足三重稠密整除性。这个条件的精妙之处在于，D和E不需要是Y-光滑的，只需要满足因式分解的互补关系就够了。这意味着筛法可以使用更大的支撑集，从而得到更小的间距上界。
这不是AI第一次参与数学研究，但将246推到186这个量级的进步，在数学史上是前所未有的。AI正在从"辅助工具"变成"科研合伙人"。
综合量子位、第一财经、华尔街见闻报道 | 2026年9月4日
收起 ▲