孪生素数猜想被GPT-6新突破

GPT-6 Astra刚发布，首个科研成果来了！

宾夕法尼亚大学统计学教授、北大07级校友苏炜杰发了一条推，说他亲眼看着这个模型把一个他崇敬了二十多年的数学问题，往前推了一步。

这个问题就是孪生素数猜想，苏炜杰在9岁时第一次听说，再后来，张益唐的故事也刻在他的心里。

现在，苏炜杰感叹，这是「真正超现实的一夜」。

Greg Brockman在发布时喊了一句「欢迎来到AGI时代」。

本以为是画饼，但看完今天推特上铺天盖地的试玩之后，发现Brockman这次可能真没怎么吹。

数学家大赞GPT-6

先从那篇论文说起。

OpenAI今天发了一篇数学论文，题目叫「Improved Short Gaps Between Primes」。

这篇论文宣布，GPT-6 Astra在孪生素数猜想方向上取得了新进展，用Lean形式化证明把连续素数间距的上界从246推到了186。

论文摘要的最后一句话，把这个证明归功于GPT-6 Astra。

孪生素数猜想是数论里最有名的未解之谜之一，说的是存在无穷多对差值为2的素数，比如(11, 13)、(17, 19)、(29, 31)这种。