数学界迎来一场前所未有的突破——OpenAI最新发布的GPT-6模型在孪生素数猜想研究中取得惊人进展，将素数间距的最佳上界从246大幅压缩至186。这一成果不仅刷新了人类数学家十二年来保持的纪录，更标志着人工智能在纯数学领域迈出关键一步。
孪生素数猜想作为解析数论的核心难题，其核心命题是证明存在无穷多对素数，它们之间的差值恰好为2。尽管2013年张益唐教授证明了素数间距存在上界，但此后数学家们耗费十年时间才将这个数字从7000万逐步优化至246。今年8月31日，牛津大学数学家Julia Stadlmann通过创新性的平滑模数分布研究，将纪录推进至240；仅三天后，AI数学团队Axiom的AxiomProver系统再次突破至212。然而，这场纪录争夺战在GPT-6登场后戛然而止——该模型在24小时内完成关键证明，将人类极限再次改写。
OpenAI团队在GitHub开源的PrimeGaps186项目中，完整展示了GPT-6的突破路径。与传统暴力搜索不同，该模型通过构建包含40个元素的特殊可容许集合，创造性地应用三重稠密可除性条件，成功突破了GPY筛法的理论瓶颈。研究显示，GPT-6不仅放宽了传统方法对模数平滑性的严苛限制，更在多维Selberg筛法中引入动态权重分配机制，将复杂的积分计算转化为精确的有限系数恒等式。
为确保数学严谨性，OpenAI采用Lean 4交互式定理证明语言对结果进行全流程验证。尽管证明过程依赖三条尚未形式化的有限域指数和估计公理，但这些基础理论已在人类数学文献中得到充分论证。项目负责人透露，GPT-6在证明过程中自动生成超过3万行Lean代码，并通过FLINT库输出完整的数值证书，所有计算步骤均通过计算机底层校验。
同步公开的思维链文档（CoT）揭示了AI的突破性思考模式。面对41维优化陷入局部最优的困境，GPT-6展现出惊人的自我修正能力：它主动放弃近似计算方案，转而采用精确有理数算术；当发现传统元组筛选方法失效时，立即重构因式分解策略，提出不对称密度分配模型。这种动态调整能力使其最终在40维架构下，以超越人类精度的误差控制将数值推过临界点。
这场数学突破在学术界引发强烈震动。弗吉尼亚大学教授Ken Ono将其称为"数论史上最疯狂的24小时"，UC伯克利数学家Tony Feng则惊叹于AI的进化速度："从240到186的跨越，相当于把人类十二年的探索压缩进三天。"参与内测的北大校友苏炜杰回忆，当看到模型将童年听闻的数学难题逐步攻克时，"那种震撼远超任何技术突破"。
值得注意的是，GPT-6的突破并非完全独立于人类智慧。其证明框架巧妙整合了张益唐、Maynard、陶哲轩等数学家的理论成果，特别是对Deligne有限域定理的应用，显示出AI在知识整合方面的独特优势。OpenAI研究员强调，模型在关键步骤展现出的数学直觉——如对稠密可除性条件的创新应用——预示着人工智能开始具备真正的理论创新能力。
随着PrimeGaps186项目的公开，数学界正掀起新一轮研究热潮。多位顶尖数学家表示，GPT-6的证明方法为解析数论开辟了全新路径，其构建的40维可容许集合模型可能成为攻克孪生素数猜想的关键跳板。尽管186与终极目标2之间仍存在巨大鸿沟，但这场由AI引发的数学革命，已然重塑了人类对智能边界的认知。
