第151章 深夜来电（3/4）

人们对于弱哥德巴赫猜想的证明是这样的，最早是在1937年的时候，红苏数学家维诺格拉多夫证明哈代和李特尔伍德的结论可以在不依赖广义黎曼猜想的情况下直接得到证明，。

不过由于维诺格拉多夫的原始证明使用了siegel–walfisz定理，因此无法给出“充分大”的下界。

后来，维诺格拉多夫的一位学生在1956年证明了出了下界3^3^15，也就是说他的证明说明了3^3^15以上的奇数都可以写成三个素数之和。

至此，才算是结束了足够大这个不确定定义，后人只需要证明所有小于3^3^15的奇数都可以写成三个素数之和便算是证明弱哥德巴赫猜想了。

不过3^3^15这一数字有6846169位，实在是太大了，想要要验证比该数小的所有数是完全不可行的。

直到几十年后的2002年，王洪泽和香江大学的一位教授将3^3^15降至到e^3100，约为2*10^1346，这位王洪泽便是和王圆、潘彪他们一起来周明这里的那位。

2*10^1346这样的数字仍然太大，超出了当时计算机能够验证的范围，但相比较于3^3^15已经足够小了。

再到后来的2013年，哈洛德·贺欧夫各特在文章【minor  arcs  foldbach"s  problem】中，综合使用了哈迪-利特伍德-维诺格拉多夫圆法、筛法和指数和等传统方法，将下界降至了约10^30。

到了这个数字，已经可以用现代社会的计算机证明完所有小于10^30的情况了。

不久之后，哈洛德·贺欧夫各特的同事便用计算机验证在此之下的所有奇数都符合猜想，从而完成了弱哥德巴赫猜想的全部证明。

“我虽然让你留意一下arxiv上的最新成果，但你也要学会自己分别哪些论文是成果，哪些论文是烂果吧！”

对于自己这位博士生匆匆忙忙跑进自己的办公室对自己说的话，他还以为他要说的是什么呢，原来就是这么个事情，贺欧夫各特并不怎么在意。

贺欧夫各特是原本准备让这位研究生直接离开自己的办公室的，不过最后他却是还是保险起见地问了一句，“你说的那篇证明哥德巴赫猜想的论文的作者是谁？”

“是周明。”这位学生说道。

一听到周明的名字，哈洛德·贺欧夫各特立刻精神一震，刚才的那种随意也瞬间烟消云散，他神色严肃而又认真地对自己的这个研究生问道：“你说的，是前不久才刚刚证明孪生素数猜想的那个周明吗？”

“嗯，就是他。”这位学生点了点头。

一听果真是这个周明，哈洛德·贺欧夫各特又连忙说道：“你快去把这份论文打印出来给我看看。”

……

周明这篇关于哥德巴赫猜想的完全论证过程一经上传，很快便引起了世界各地数学家们的关注，像这种发生在加利福尼亚大学洛杉矶分校、普林斯顿大学和巴黎高等师范学院的情况，此时此刻正在全球各地上演着。