GPT-6刷新孪生素数猜想纪录，引发数学界震动

就在近期，GPT-6成功打破了关于孪生素数猜想的新纪录。OpenAI宣布，该模型将孪生素数问题的最佳上限压缩至186，这一成果的新纪录被直接归功于名为GPT-6 Astra的系统。回顾历史，早在2013年，张益唐首次证明了存在无穷多对素数之间的差距小于7000万。随后，Maynard将这一差距降至600，再由陶哲轩进一步锁定到246。最近，牛津大学的数学家Julia Stadlmann于8月31日将这一限度降低到240。然后在9月3日早晨，初创团队Axiom Math宣布，他们的AI技术将纪录缩减至212。令人震惊的是，几小时后，OpenAI宣称最新的纪录由GPT-6设定为186！陶哲轩维持的纪录保持了整整十二年，如今在短短一周内被打破三次，真可谓是时代的奇点已至。参与此项目的北大07级数学系校友苏炜杰激动地表示，这是一个新的智能时代的见证。他回忆自己九岁时第一次接触孪生素数猜想，如今亲眼目睹这一重要里程碑的诞生。弗吉尼亚大学的数学教授Ken Ono称赞道：“2026年9月3日，是数论历史中极为疯狂的一天！”这一事件毫无疑问是一次重大的数学成就，让许多数学家彻夜未眠。

“孪生素数猜想”自提出以来一直是数学领域的重要目标，认为存在无限对素数间距为2的情况。然而，数百年来对此问题的基础性质都未能有所突破，直到张益唐的出现。伴随他证明无穷多对素数之间的距小于7000万后，数学家们通过Polymath项目不断推动研究进展，将这一上限逐步缩减至246。虽然在达到246后，进展变得非常缓慢，但到2026年秋季，这一问题的发展却被迅速推动。Julia Stadlmann在8月31日利用全新的均匀分布估算，将纪录降低至240，随后Axiom团队在短时间内将其缩减至212。而在此后不久，OpenAI的GPT-6便显著推进至186，这一新界限从240至186的实现仅花费了三天。

在数学研究中，孪生素数问题的关键在于解析“可允许元组”的特性。246的界限对应的是50长度的元组，而240则是49长度的元组，GPT-6直接跨越了这些界限，构建了包含40个元素的集合，直径正好设置为186。这一过程需要依托GPY筛法中发现新的突破口。根据OpenAI的论文及GPT-6的思维记录，模型剑走偏锋，展现了非凡的数学直觉。首先，它提出了全新的“三重稠密可除性”条件，超越以往研究对模数的严格限制，开辟了新的因子分解条件，使得特定乘积具备了新的可除性。这一发现揭示了即便在不够“光滑”的数中也蕴藏着巨大空间。通过扩大模数范围，GPT-6应用更广泛的权重支持于多维Selberg筛法，面对复杂的积分和误差，它成功构建了多项式主控函数，将高维积分转化为精确的有限系数恒等式，精准找出了满足条件的“安全岛”。

至于GPT-6所做的证明是否足够严谨，OpenAI的回应足以打消顾虑。在开源的PrimeGaps186代码仓库中，GPT-6 Astra不仅提供了完整的论文，还包含了可执行的Lean 4代码。作为数学界权威的定理证明工具，Lean的代码显示了构建的逻辑链条是绝对严密的。GPT-6在此过程中撰写了数万行的Lean代码，并且利用Python的FLINT库生成了绝对完整的数值验证，确保了每一步骤都有计算机底层的校验。尽管OpenAI坦承目前的Lean形式化证明是“有条件的”，并且蕴含三条未在Lean中证明的公理，但这一重大的里程碑带来的影响深远。