#GPT6正式发布##GPT6打破孪生素数猜想最新记录#
就在刚刚，GPT-6打破孪生素数猜想新纪录。

OpenAI宣布：GPT-6把孪生素数问题的最好上界推进到186！

摘要末尾直接写明：证明归功于 GPT-6 Astra

这条线的起点，是2013年张益唐证明的 7000万，此后 Maynard 压到 600，再由陶哲轩锁定到246。

今年 8 月 31 日，牛津数学家 Julia Stadlmann 把它推到 240。9 月 3 日早晨， Axiom Math 把纪录压缩至212。就在仅仅几个小时后，OpenAI宣布：GPT-6给出的最新纪录是186！

陶哲轩守了十二年的纪录，一周内被破三次，奇点真的来了。

OpenAI研究者、北大07级数学系校友苏炜杰称，这是「见证一个新智能时代诞生」！

参与内测的苏炜杰难掩激动之情：「我9岁时第一次听说孪生素数猜想。今晚，我亲眼见证我们的模型把246一路推到186……」

毫无疑问，这又是一个菲奖级成就。

这一夜，全球的数学家们，彻夜未眠。

2026年9月，数学史上疯狂的一周

「孪生素数猜想」一直是数学皇冠上的明珠。它提出：存在无穷多对素数，它们之间的差值刚好是2。

几百年来，人类连「素数间距是否有限」都无法证明。

直到2013年，张益唐横空出世，证明了存在无穷多对素数，其间距小于7000万。

紧接着，James Maynard和陶哲轩等发起Polymath项目，将这个间距从7000万一路狂砍到了246。

然而，到了246之后，原有方法似乎达到极限。

直到2026年秋天，这个难题被疯狂加速。

8月31日，牛津大学数学家Julia Stadlmann凭借对平滑模数全新均分布估计的精妙运用，将纪录从246艰难地推到了240。

9月3日早晨，AI数学初创团队Axiom宣称，在Stadlmann的基础上，他们的AI系统AxiomProver将界限压缩至212。

最惊人的是，仅仅几个小时后，OpenAI官方发布名为《素数间短间距的改进》的论文，开源了一个名为PrimeGaps186的GitHub仓库。

从246到240，人类花了12年；从240到186，AI只用了3天。

UC伯克利数学教授Tony Feng直接@Axiom团队：「告诉你们一个关于『世界纪录』的消息，这可能不太准确了，因为OpenAI刚刚在GitHub上提交了186的证明……」

这一夜，已经成为AI4Math史上最有影响力的一夜。