北大数学天才借力AI攻克孪生素数难题？

近日，Nature官网发布了一则令人振奋的消息：“无穷多素数成对存在的首次证明”，这个标题背后，是我国北大数学07级校友张益唐在孪生素数研究取得的突破性进展。这个突破，不仅让孪生素数猜想再次成为焦点，也让人们不禁好奇：当人工智能遇见数学难题，会擦出怎样的火花？让我们来了解一下这个突破性进展。张益唐证明了孪生素数猜想的一个弱化形式，找到了一个正数，使得有无穷多对素数之差小于这个给定正数。 这个正数是七千万，相对于孪生素数猜想给出的2还是有一段距离，但相比之前人们给不出来任何一个这样的正数，张益唐的结果无疑是