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

就在不久前，GPT-6成功打破了孪生素数猜想的记录。OpenAI宣布，GPT-6将孪生素数问题的最优上限提高至186。这一成就的背景可以追溯到2013年张益唐证明的7000万，随后Maynard把这个范围缩小到600，陶哲轩进一步缩至246。今年8月31日，牛津大学的Julia Stadlmann将记录推至240。仅在9月3日早晨，Axiom Math宣布他们的系统缩减至212。令人惊讶的是，仅几小时后，OpenAI宣布GPT-6的最新纪录是186！陶哲轩维持的纪录在一周内被破了三次，标志着一个新时代的到来。

北大数学07级校友苏炜杰表示，这是“见证新智能时代的诞生”。他回忆起自己9岁时第一次听到孪生素数猜想，今晚亲眼目睹从246推至186的过程，让他感到无比激动。弗吉尼亚大学数学教授Ken Ono感慨道：“2026年9月3日，成为数论历史中最疯狂的一天！”无疑，这是一个可与菲尔兹奖相提并论的成就。全球的数学家都在这一夜彻夜未眠。

孪生素数猜想是数学界的重要问题，提出存在无穷多对素数，它们之间的距离为2。几百年来，关于素数间距的有限性一直没有明确的证明。2013年，张益唐的研究终于表明存在无穷多对素数，其间距少于7000万。接着，Maynard、陶哲轩等通过Polymath项目将间距压缩到246，却在该界限后陷入瓶颈。直到2026年，记录的更新便如狂潮般加速。Stadlmann的研究将纪录改善到240，而Axiom团队则将其进一步压缩至212。在OpenAI发布的名为《素数间短距改进》的论文中，他们开源了名为PrimeGaps186的GitHub项目。人类花费12年将间距从246缩至240，而AI仅用3天便从240压至186。 千亿球友会

从246压至186，GPT-6并非仅依靠“暴力破解”。孪生素数问题的关键在于对“可容许元组”属性的控制。246对应长度为50的元组，而240对应49元组。GPT-6则跨越这一区间，构建了一个包含40个元素、直径为186的可容许集合。为了在解析数论中证明这一点，新的“破局点”被发现，GPT-6展示了独特的数学直觉。

它首先提出了新的“三重稠密可除性”条件，以前的研究需要将模数限制在极其平滑的范围内，而GPT-6却找到了一种互补的因子分解，使得某些乘积满足这种稠密条件。通过放宽限制，GPT-6能够在多维Selberg筛法中应用更广泛的权重，成功解析复杂的积分问题。同时，GPT-6构建的多项式主控函数将高维积分转化为精确的有限系数恒等式。

对此，OpenAI对GPT-6的证明严谨性给予了充分保证。他们在开源的PrimeGaps186代码库中，提供了PDF论文以及完整的Lean 4代码，Lean 4是数学界严谨的定理证明语言之一。代码的通行确保了逻辑的严密性。在此次证明中，GPT-6编写了成千上万的Lean代码，并通过Python使用FLINT库生成完整的数值证书，保证了每个证明过程的严谨校验。不过，OpenAI也说明，当前的Lean形式化证明是在三条未在Lean中证明的公理基础上进行的，这些公理涉及有限域上的特性。 千亿球友会