AI时代的数学突破

2026年9月3日, 数学界迎来了具有历史意义的时刻, 其中, AI模型GPT-6在素数研究的领域迈向了重大的进步, 该突破成功将孪生素数猜想的最优上界从246大幅度地压缩到了186, 这一项非常了不起的成果使得全球的数学圈都产生了震动, 被赞誉为“新智能时代登场”的标志。

历经数百载, 人类当中的数学家一直都没办法去证实素数之间的间距是不是有限的, 一直到公元2013年的时候张益唐突然出现, 才第一次突破了7000万这个关键点, 在那之后经过很多方面的共同努力, 相关纪录渐渐缩小到了246, 然而却在这个数值的地方进入了停顿的状况, 现如今人工智能的参与进来, 使得这一僵持的局面被完全打破了。

一路走来的纪录刷新

2013年, 张益唐实现的7000万突破成为了这条研究线的起始点, 之后, 像陶哲轩等一众学者开始进行压缩, 最终使之变为246。今年8月31日时, 牛津的数学家Julia借助一种全新的均分布估计方法, 费尽周折地把记录推进到了240。紧接着, 在9月3日早晨, Axiom团队公布将界限降低到212。

然而, 就在几小时之后, 官方所发布的论文, 把纪录进一步压缩到了186。UC伯克利的教授Tony Feng, 在第一时间@Axiom团队, 指出: “这可能不太准确了。”从246到186的这部跨越, 绝对不是简单的暴力计算, 而是AI展现出深邃数学直觉的明证。

GPY筛法的新破局点

关键在于突破GPY筛法的瓶颈, 才能将界限从246压到186 , GPT-6发现了一种互补的因子分解条件, 让特定乘积有“三重稠密可除性”, 这意味着它摆脱了前人给自己设置的限制, 证实就算在不像预期那么平滑的数字里, 同样藏匿着巨大空间。

GPT-6构建了一个可容许集合, 这个集合包含40个元素, 其直径恰好为186。面对极度复杂的积分和误差问题, 它借助多项式主控函数, 将高维积分转化为精确的有限系数恒等式。在一片混沌的数学空间里, 它成功找到了一个“安全岛”, 能让积分比值严格大于1。

形式化验证与诚实声明

GPT – 6, Astra开源了完整的Lean 4代码 , Lean 4代码是数学界最具权威性的交互式定理证明语言。代码能够跑通 , 这意味着其逻辑链条绝对严密。在此次证明期间 , 它编写了数以万计关于Lean的代码 , 并在GitHub上面运用FLINT库进而输出完整数值证书。

只是项目团队诚恳地表明, 当下Lean形式化证明是“具备条件的”。整个证明是建立于三条未曾在Lean里予以证明的输入公理之上的, 这些结论是涉及有限域上的指数和估计的, 已在现有的数学文献之中被人类证明为真实的。

CoT文档揭示思考过程

CoT文档和GPT-6 Astra同步放出, 其详细记录了GPT-6 Astra通过思索遭遇困境从而自我进化的过程, 它试图构建稀疏整数集以绕过繁琐计算, 然而随后很快察觉到单纯的定性元组结论方法是不可行的, 就在朝着更高维度接近时, 浮点数优化遭遇到了“数值条件的陷阱”。

根据文档呈现的“微小的广义特征向量残差并没法对Gram矩阵被精确计算起到证明作用”, 所以它毅然决然地舍弃近似计算, 转而朝着严苛的精确有理数算术迈进。在经过冲击186的进程里, 它察觉到41维优化陷入死胡同之时重新对因式分解逻辑进行审视, 最终于40维架构的形态下成功达成突破。

从一生到几小时的跨越

曾经12年前, 张益唐发表《素数间的有界距离》之际, 全世界都为之折服, 然而到了2026年, AI不再只是处于辅助工具的地位, 而是摇身一变成为前端的发现者, Axiom团队曾发出感慨: “人类的梦想跟数学证明之间的距离, 能够从一生的时长缩短为几个小时”, GPT – 6更是将时间压缩到了极致。

这透彻表明GPT – 6已然拥有充足科研品味, 晓得何时运用近似, 何时绝对得精确。它给出了不对称密度分配策略, 精心处置最大素数碎片的概率分布, 凭借超越人类精度的误差预算分配, 强有力地把数值推过了1。

证明归功于 GPT-6 Astra

将这篇报道看完之后, 你对于AI于数学研究领域之中的角色会持有怎样的看法？你认为AI在未来会不会把数学家的工作给取代掉? 欢迎在评论区把你的观点拿去分享！