AI攻克素数难题：GPT-6将间隔上界压缩至186

近日，OpenAI发布新一代模型GPT-6 Astra，并宣布其在有界素数间隔问题上取得新突破，将此前已知的上界从246大幅推进至186，且完成了Lean形式化验证。OpenAI总裁Greg Brockman在发布尾声称“Welcome to the AGI era”，引发业界热议。

这一进展由宾夕法尼亚大学统计学教授、OpenAI研究员苏炜杰在社交媒体上率先披露，他称GPT-6 Astra将素数间隔上界推进至186。OpenAI同步发布了论文《Improved Short Gaps Between Primes》，摘要中明确注明“该数学证明由GPT-6 Astra给出”。

要理解这项突破的意义，需回溯数学史上的著名难题——孪生素数猜想。该猜想认为，存在无穷多对相差2的素数，如（3,5）、（11,13）等。尽管这一猜想至今未被证明，数学家们退而求其次，试图证明存在无穷多组素数，其间隔不超过某个固定常数。2013年，华人数学家张益唐首次证明该上界小于7000万，轰动学界；此后，James Maynard、陶哲轩等顶尖数学家不断优化方法，将纪录推进至246。如今，GPT-6 Astra一举将上界降至186，刷新了人类维持多年的纪录。

据苏炜杰透露，GPT-6 Astra并非简单堆算力，而是通过探索新的因子分解条件，扩大多维Maynard-Tao/Selberg筛权重的使用范围，并更充分地利用素数分布估计，从而显著提升了已有方法的效率。OpenAI已将Lean 4形式化项目开源，包含对应证明代码和数值验证程序，确保结果的严谨性与可复现性。

值得注意的是，这一突破并非孤立事件。OpenAI、Anthropic、Axiom等多家机构近日或同期均围绕素数间隔问题发布了各自成果。Axiom宣布将上界推进至212；Anthropic研究者称Claude团队已完成将上界推进至188的形式化证明，并调侃与GPT-6 Astra的186结果接近“可能是巧合”。此外，人类数学家Julia Stadlmann近期也独立完成突破，将上界推进至240，被评价为“由人类完成”的重要新成果，打破了此前Maynard和Polymath项目保持的246纪录。

这些密集进展显示，AI正从“解决数学问题”走向“参与数学研究”。大模型之间的竞争，可能不再局限于编程、对话与Agent能力，而是延伸到帮助人类推进基础科学的前沿。当AI能在数论这种高度依赖直觉与创造力的领域取得突破，人类与机器的协作边界正被重新定义。

从246到186，数字的缩减背后，是算法、算力与数学思想的一次深度融合。无论这场竞赛的最终赢家是谁，数学研究的新时代或许已经悄然开启。