弱哥德巴赫猜想的内容是:任何一个大于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上的最新成果,但你也要学会自己分别哪些论文是成果,哪些论文是烂果吧!”
对于自己这位博士生匆匆忙忙跑进自己的办公室对自己说的话,他还以为他要说的是什么呢,原来就是这么个事情,贺欧夫各特并不怎么在意。
贺欧夫各特是原本准备让这位研究生直接离开自己的办公室的,不过最后他却是还是保险起见地问了一句,“你说的那篇证明哥德巴赫猜想的论文的作者是谁?”
“是周明。”这位学生说道。
一听到周明的名字,哈洛德·贺欧夫各特立刻精神一震,刚才的那种随意也瞬间烟消云散,他神色严肃而又认真地对自己的这个研究生问道:“你说的,是前不久才刚刚证明孪生素数猜想的那个周明吗?”
“嗯,就是他。”这位学生点了点头。
一听果真是这个周明,哈洛德·贺欧夫各特又连忙说道:“你快去把这份论文打印出来给我看看。”
……
周明这篇关于哥德巴赫猜想的完全论证过程一经上传,很快便引起了世界各地数学家们的关注,像这种发生在加利福尼亚大学洛杉矶分校、普林斯顿大学和巴黎高等师范学院的情况,此时此刻正在全球各地上演着。
先前原本听说过周明证明了哥德巴赫猜想的人,因为没有见过周明发出来的证明过程,因此都是持一种不相信的观点,都认为这要么是谣言,要么就是周明自己吹牛皮。
但是,当周明证明哥德巴赫猜想的论文发布出来之后,那些原本不相信的人也大部分都相信了这件事。
不管是国内还是国外,此时关于周明证明哥德巴赫猜想的消息已经彻底在学术界,特别是数学界传开了。
晚上回到住处的李明智此时已经洗过澡,他正穿着一双棉鞋坐在自己书房的书桌前,脚下放着一个取暖器,一边看着一张写着密密麻麻的各种数学公式的打印纸,一边时不时地在草稿纸上写写画画地打着草稿。
“这都快十一点了,早点睡吧。”李明智的老伴见李明智又大晚上的不睡觉坐在书房里埋头写着什么,摇了摇头劝了一句。
“我马上就去睡,看完这一页就去。”李明智头都没回地继续一边看着打印纸上的内容,一边对自己的老伴说道。
这份打印纸并不是周明写哥德巴赫猜想完整证明过程的原始稿件,而是由周明整理好的论文打印出来的。
李明智的老伴显然对他的这种行为也是习以为常了,在李明智说完之后,她便没有多说什么,走出了书房。
二十多分钟后,终于看完这一页的李明智看了看时间,发现现在都已经快十一点十分了,便将脚从取暖器上一开,关上了取暖器的开关,从自己的书房走了出来。
在客厅里倒了杯热水,喝了几口后,李明智便准备去睡觉,却听到了自己的手机铃声。
“这大晚上的怎么还有人给我打电话。”李明智皱着眉想道,他走进卧室,拔掉给手机充电的充电线,随后便拿起手机。
“咦?”李明智拿起手机,看到来电显示之后,额头上皱起的眉头立刻消失不见,取而代之的是疑惑之情,随后他像是想通了什么一般,嘴角露出了一副得意的笑容。
“喂,老李啊,我听说你们科大那个去年才被你们破格招聘,今年才二十多岁的周明刚把哥德巴赫猜想给证明出来了,这事你知道吗?
他不是刚解决完孪生素数猜想吗?怎么这么快又搞定了哥德巴赫猜想?”
李明智刚一按下接听键,还没等他说话呢,电话那头便传出来一个声音。