此时的房间中显得格外的安静，只有笔尖在纸上摩擦的“沙沙”声。

只不过，这声音对于周淮来说，却比世界上任何交响乐都要让人激动。

他的面前，并非空白的纸张，而是一张已经写满了大半的草稿。这张纸的顶端，是一个复杂的表达式，代表了谱筛法判别式S1- pS2在代入孪生素数元组H={0，2l并经过一系列谱展开和误差项分离后的形态。飞机上，他已经完成了绝大部分的计算，将这个庞然大物简化为了一个更紧凑的形式。

【M(k, G, Fgeom)*o(W)/W*|ogR-k(k-1)/2*|(Fgeom)*E(O)】不过这已经是之前的计算了。

“现在就可以正式带入é等于5/6的数值了。”

现在的最后一步，他需要计算一个关键的极限值：

lim_(O→5/6) M(2, 9，Fgeom）

这个计算极其复杂，涉及到在模空间M（2，R)上对某个自守形式进行积分，并在积分过程中分析其在边界附近的渐近行为。

他翻开了另一份手稿，上面满是关于伽罗瓦表示、L-函数和模形式的计算，而后，迅速从中找到了一个关键的恒等式，它将M的极限与一个L-函数的特殊中心值联系起来。

幸运的是，这个L-函数的中心值，他早在研究K3曲面时就已经有过深入的计算和估计！他几乎是凭借记忆，就在纸上写下了那个值的近似范围。

他迅速地将所有常数代入，进行最后的整合计算。

他没有直接去算一个确切的数值，而是在进行一个不等式的判定。

设pk=k/2，为了证明孪生素数猜想，他需要证明主项系数严格大于p2=1。

此时的周淮，变得格外的严肃和认真。

他的笔尖在纸上划过最后的轨迹。

又是一个复杂到了可怕程度的式子。

经过计算，1/2*6后面的值略大于2.5，总而言之就是非常接近2.5，但始终大于2.5，可以表示为2. 5+e。

而接下来，在代入9→5/6的极限情况下，并结合上面的略大于2.5的数值，那么这个系数收敛于：【→1/2*5/6*(2.5+e)】

看到这个数值，周淮的笔停顿了下来，然后深呼吸了一口气。

计算到了这里，以他的算数能力，这个简单的数学计算几乎是在脑海中的一瞬间就能够得到答案。但他还是压制住了有些躁动和极度兴奋的心情，在草稿纸上面继续写下：

【……

=5/12×(2. 5+e）

~1.04175+5e/12】

1.04175！

忽略掉后面那个可以视为无限接近于0+的5e/12，此时此刻他的计算指向了一个清晰的结果。这个系数，在理论极限下，严格地、但又极其惊险地，跨过了那个决定成败的阈值“1”，甚至是达到了1.04175这个无比安全的数值。

这意味着，即便在计算中存在微小的误差，或者他选择的测试函数并非最优，结果依然是稳固的。“也就是说，我即使是没有证明9到5/6这个数值上面，甚至只需要到0.8这个数值上面，也能够成功。”

之前还满脸严肃的周淮，此时的脸上布满了笑意。

看来谱筛法能够在其中发挥的作用，远超他之前的预估。

不愧是能够直接将原本的素数有界间隙推进到56这个数字上的办法。

就是牛逼！

脑海中简单地感慨了一下自己当初搞出来的谱筛法还真是意外的给力，但很快，周淮就拍了一下自己的脑袋。

感到有点好笑。

自己现在这是在想啥呢。

现在的重点是谱筛法牛不牛逼的问题吗？

现在的重点应该是，自己眼前的结论啊！

现在，他已经证明了，主项系数严格大于p2=1。

那么也就真正意味着，孪生素数猜想已经被成功证明。

虽然并不是很必要，但他也还是在草稿纸的下面写下了这最后的收尾。

……所以，综上所述，存在有无穷多个素数p，使得p+2也为素数，即孪生素数猜想成立！】这无比庄严的一步，终于完成了。

他现在甚至可以继续延伸一下思考，去证明是否存在多个素数p，使得p+4，p+6等等也都是素数。不过，这就是另外一个猜想，即波利尼亚克猜想。

波利尼亚克猜想可以称之为比孪生素数猜想更强的猜想。

它要证明的是，存在无穷多的素数p，使得p+2k也为素数，其中，当k=1的情况下，就是孪生素数猜想。波利尼亚克猜想比孪生素数猜想强的地方就在于，它要证明[p，p+4]、[p，p+b] ……这些情况也都是无穷多的，因为证明了孪生素数猜想，并不能证明[p，p+4]这种情况也是无穷多的，需要另外一个严格的证明，[p，p+6]这样的“性感素数对”也同样需要更严格的证明。

尽管看上去都已经证明了孪生素数猜想之后，在证明其他有