GPT-6刷新孪生素数上界至186，AI正式跻身数论前沿发现者行列

【科技纵览】就在数小时前，OpenAI官方确认了一项震撼数学界的突破：其最新模型GPT-6 Astra将孪生素数猜想的上界推进至186。这一成就被明确归功于GPT-6 Astra系列，标志着人工智能在纯数学推理领域迈出了决定性的一步。回顾这条探索之路，起点可追溯至2013年张益唐证明的7000万间距，随后James Maynard将其压缩至600，陶哲轩进一步锁定在246。今年8月31日，牛津大学数学家Julia Stadlmann凭借对平滑模数均分布估计的创新应用，艰难地将纪录推至240。紧接着在9月3日清晨，AI初创团队Axiom Math宣布其系统AxiomProver将界限降至212。然而，仅仅数小时后，OpenAI便发布了题为《素数间短间距的改进》的论文，并开源了PrimeGaps186代码库，一举将纪录定格在186。

从246到240，人类耗费了十二年光阴；而从240到186，AI仅用了三天时间。这种指数级的加速让弗吉尼亚大学数学教授Ken Ono惊呼，2026年9月3日是数论历史上最疯狂的一天。UC伯克利教授Tony Feng也在社交媒体上向Axiom团队指出，世界纪录可能已因OpenAI在GitHub提交的186证明而改写。北大07级数学系校友、OpenAI研究者苏炜杰难掩激动，他回忆道，自己9岁时初闻孪生素数猜想，如今亲眼见证模型将246一路推向186，这无疑是新智能时代诞生的见证。

GPT-6并非依靠暴力搜索达成此成就，而是展现了深邃的数学直觉。核心突破在于构建了一个包含40个元素、直径恰好为186的可容许集合，直接越过了中间地带。在解析数论中，这需要GPY筛法的新破局点。GPT-6发现了全新的三重稠密可除性条件，放宽了前人对于模数必须极其平滑的限制，证明了在不那么平滑的数字中仍隐藏巨大空间。通过互补的因子分解条件，它在多维Selberg筛法中采用了更广泛的权重支持，并利用多项式主控函数将高维积分转化为精确有限系数恒等式，在混沌空间中找到了积分比值严格大于1的安全岛。

为确保严谨性，OpenAI同步提交了完整的Lean 4形式化验证代码。作为数学界权威的交互式定理证明语言，Lean框架下的代码运行意味着逻辑链条的绝对严密。尽管该证明依赖于三条涉及有限域指数和估计的输入公理——这些公理虽未在Lean中证明，但在Deligne等数学家的经典文献中已被确认为真——但GPT-6巧妙地站在巨人肩膀上完成了突破。此外，一份详细的CoT文档揭示了模型的思考过程：它曾尝试稀疏整数集但迅速自我否定，也因浮点数陷阱果断转向精确有理数算术，最终通过不对称密度分配策略，在40维架构下以超越人类的误差预算分配，硬生生将数值逼过临界点。

从辅助工具到前沿发现者，AI在基础数论领域的角色已发生根本性转变。虽然186距离终极目标2仍有漫长路程，但Axiom团队曾感慨，人类梦想与证明之间的距离可从一生缩短为几小时，而GPT-6则将这一时间压缩至极致。未来，无论是GPT-7还是后续版本，或许将继续在这条道路上狂奔，彻底重塑我们对数学发现的认知边界。