第(2/3)页

    彼得·萨尔纳克在看到周明寄过来的这份稿件之后，他做的第一件事并不是立刻打开，看其中的证明过程，而是寄给德利涅，交给德利涅来评审。

    这样一来，他们也能最快时间向外界公布，哥德巴赫猜想是否真的已经被来自华国的周明给证明出来了。

    将周明的这份稿件发送到德利涅的邮箱之后，彼得·萨尔纳克便点开这份稿件，开始认真观看起来。

    珐国巴黎，巴黎高等师范学院。

    庐州和巴黎有六个小时的时差，因此尽管此时庐州已经到晚上了，但巴黎此时却还是下午。

    哈洛德·贺欧夫各特此时正在办公室喝着下午茶，他的研究生却是慌慌忙忙地门都没敲就直接打开了办公室的门。

    “怎么了？慌慌张张的。”哈洛德·贺欧夫各特将手中的杯子放在一旁的茶几上，他看了一眼一脸仓促模样闯进自己办公室的看起来不算年轻的年轻人，对他问道。

    “贺欧夫各特教授，我刚才在arxiv上看到了一篇证明哥德巴赫猜想的论文。”

    这位虽然才二十多岁，是哈洛德·贺欧夫各特的博士研究生，但他已经出现了聪明绝顶的征兆，看起来甚至比不显老的贺欧夫各特还要年长，此时的他正一脸激动地对哈洛德·贺欧夫各特说着。

    这位哈洛德·贺欧夫各特是一位秘鲁数学家，出生于1977年，于2003年获得普林斯顿大学博士学位，2003年到2004年和2004年到2006年分别在耶鲁大学和蒙特利尔大学做博士后研究，并于2010年开始担任珐国国家科学研究院和巴黎高等师范学院的研究员，这位数学家的主要研究领域是解析数论。

    他的学生之所以会在知道哥德巴赫猜想被明证之后这么急着连门都忘了敲地跑到他办公室来找他，是因为他于2013年5月发表了两篇论文，他在这两篇论文中宣布彻底证明了弱哥德巴赫猜想。

    弱哥德巴赫猜想的内容是：任何一个大于7的奇数都能被表示成三个奇质数的和。

    说起哈洛德·贺欧夫各特证明弱哥德巴赫猜想，这件事却和证明强哥德巴赫猜想不一样，因为这条路走的就和证明强哥德巴赫猜想走的路完全是两条路。

    人们对于弱哥德巴赫猜想的证明是这样的，最早是在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    for    goldbach's    problem】中，综合使用了哈迪-利特伍德-维诺格拉多夫圆法、筛法和指数和等传统方法，将下界降至了约10^30。

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

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

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

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