🤖 AI · 数学突破

🔥 GPT-6 Astra将孪生素数猜想的素数间隔上界从246推进至186，AI首次实质性参与纯数学研究

一、AGI时代的第一个科研成果

OpenAI于9月4日发布新一代旗舰模型GPT-6 Astra，总裁Greg Brockman在发布现场喊出"欢迎来到AGI时代"。然而，比评测成绩更震撼的，是紧随其后发布的一篇数学论文——"Improved Short Gaps Between Primes"，论文摘要明确标注：该数学证明由GPT-6 Astra给出。

宾夕法尼亚大学统计学教授、北大数院07级校友苏炜杰在推文中写道："这是我9岁第一次听说孪生素数猜想后，最超现实的一夜。我成为第一个见证模型取得这一进展的人。"

GPT-6 Astra将素数间隔上界从246推进至186，并完成了Lean形式化验证。这意味着AI不再只是"解题工具"，而是开始参与真正的数学研究。

二、从张益唐到Astra：一个数学问题的半百年征程

孪生素数猜想是数论中最著名的未解之谜之一，猜想存在无穷多对差值为2的素数。2013年，张益唐证明了存在无穷多对间距不超过7000万的连续素数，一战成名。此后Polymath 8a项目将上界压至4680，Maynard和陶哲轩进一步将上界降至600以下，Polymath 8b最终停在246。

246这个数字卡了数年，直到GPT-6 Astra找到了新突破口：利用一组互补的因式分解条件，首次成功将"三重稠密整除性"纳入筛法计算，将上界推进至186。论文指出，此前三重稠密整除性因计算量过大从未被真正利用，而Astra通过创新性条件设计绕过了这一计算瓶颈。

三、AI参与数学研究的拐点意义

此次突破的意义远超数字本身。FrontierMath Tier 4测试中，Astra得分97.6%，几乎"打穿"了研究级数学难题高地；ARC-AGI-3从GPT-5.6 Sol的7.8%跃升至99.9%。更关键的是，这是AI首次以"合作研究者"而非"计算器"的身份出现在顶级数学论文中。

苏炜杰表示："这一刻仿佛是在见证一个全新时代的智能诞生。"当AI开始自己提出数学猜想、设计证明路径时，人机协作的研究范式正在重塑。

综合量子位、机器之心、新京报报道 | 2026年9月5日