第151章 深夜來電(2/2)
弱哥德巴赫猜想的內容是:任何一個大於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上的最新成果,但你也要學會自己分別哪些論文是成果,哪些論文是爛果吧!」
對於自己這位博士生匆匆忙忙跑進自己的辦公室對自己說的話,他還以為他要說的是什麼呢,原來就是這麼個事情,賀歐夫各特並不怎麼在意。
賀歐夫各特是原本準備讓這位研究生直接離開自己的辦公室的,不過最後他卻是還是保險起見地問了一句,「你說的那篇證明哥德巴赫猜想的論文的作者是誰?」
「是周明。」這位學生說道。
一聽到周明的名字,哈洛德·賀歐夫各特立刻精神一震,剛才的那種隨意也瞬間煙消雲散,他神色嚴肅而又認真地對自己的這個研究生問道:「你說的,是前不久才剛剛證明孿生素數猜想的那個周明嗎?」
「嗯,就是他。」這位學生點了點頭。
一聽果真是這個周明,哈洛德·賀歐夫各特又連忙說道:「你快去把這份論文列印出來給我看看。」
……
周明這篇關於哥德巴赫猜想的完全論證過程一經上傳,很快便引起了世界各地數學家們的關注,像這種發生在加利福尼亞大學洛杉磯分校、普林斯頓大學和巴黎高等師範學院的情況,此時此刻正在全球各地上演著。
先前原本聽說過周明證明了哥德巴赫猜想的人,因為沒有見過周明發出來的證明過程,因此都是持一種不相信的觀點,都認為這要麼是謠言,要麼就是周明自己吹牛皮。
但是,當周明證明哥德巴赫猜想的論文發布出來之後,那些原本不相信的人也大部分都相信了這件事。
不管是國內還是國外,此時關於周明證明哥德巴赫猜想的消息已經徹底在學術界,特別是數學界傳開了。
晚上回到住處的李明智此時已經洗過澡,他正穿著一雙棉鞋坐在自己書房的書桌前,腳下放著一個取暖器,一邊看著一張寫著密密麻麻的各種數學公式的列印紙,一邊時不時地在草稿紙上寫寫畫畫地打著草稿。
「這都快十一點了,早點睡吧。」李明智的老伴見李明智又大晚上的不睡覺坐在書房裡埋頭寫著什麼,搖了搖頭勸了一句。
「我馬上就去睡,看完這一頁就去。」李明智頭都沒回地繼續一邊看著列印紙上的內容,一邊對自己的老伴說道。
這份列印紙並不是周明寫哥德巴赫猜想完整證明過程的原始稿件,而是由周明整理好的論文列印出來的。
李明智的老伴顯然對他的這種行為也是習以為常了,在李明智說完之後,她便沒有多說什麼,走出了書房。
二十多分鐘後,終於看完這一頁的李明智看了看時間,發現現在都已經快十一點十分了,便將腳從取暖器上一開,關上了取暖器的開關,從自己的書房走了出來。
在客廳里倒了杯熱水,喝了幾口後,李明智便準備去睡覺,卻聽到了自己的手機鈴聲。
「這大晚上的怎麼還有人給我打電話。」李明智皺著眉想道,他走進臥室,拔掉給手機充電的充電線,隨後便拿起手機。
「咦?」李明智拿起手機,看到來電顯示之後,額頭上皺起的眉頭立刻消失不見,取而代之的是疑惑之情,隨後他像是想通了什麼一般,嘴角露出了一副得意的笑容。
「喂,老李啊,我聽說你們科大那個去年才被你們破格招聘,今年才二十多歲的周明剛把哥德巴赫猜想給證明出來了,這事你知道嗎?
他不是剛解決完孿生素數猜想嗎?怎麼這麼快又搞定了哥德巴赫猜想?」
李明智剛一按下接聽鍵,還沒等他說話呢,電話那頭便傳出來一個聲音。