张益唐孪生素数猜想，被GPT-6破新纪录! 北大数学07级苏炜杰：很震撼

就在刚刚，GPT-6打破孪生素数猜想新纪录。

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

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

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

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

把界限从246压到186，绝不是单纯的「暴力破解」。

GPT-6做出的证明，足够严谨吗？

OpenAI击碎了一切质疑。

在他们开源的openai/PrimeGaps186代码仓库中，GPT-6 Astra不仅给出了PDF论文，还提交了完整、可执行的Lean 4代码。

https://github.com/openai/PrimeGaps186

而OpenAI同步放出的一份CoT文档，完整记录了GPT-6 Astra在攻克难题时，如何思考、如何碰壁、又如何自我进化的全过程。

https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/long_gaps_abridged_cot.pdf

https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/long_gaps.pdf