由於李明智拿在手裡的這些寫有各式各樣數學公式的列印紙並不是一篇完整的論證哥德巴赫猜想的論文,而是一篇哥德巴赫猜想證明過程的原稿。

所以,這幾十頁被的滿滿的列印紙第一頁的開頭既沒有居中的標題,也沒有簡明扼要的摘要,直接就是一串由各種阿拉伯數字和一些諸如∑、{}、等數學符號還有一些英文字母堆積起來的證明過程。

如果有小偷偷偷熘進周明家裡偷東西的時候,恰巧看到了這一疊寫滿密密麻麻各種數學符合和公式的列印紙,恐怕不會多看一眼,如果真多看一眼多半也是想起了自己曾經被數學所支配的恐懼,怕是會想辦法把這些紙都給撕了或者是燒了。

……Px(1,2)≥0.67xCx/(logx^2……px(1,1)≥p(x,x^{1/16})(1/2)∑px(x,p,x)q/2x^(log4……

剛開始看了這第一頁的前幾行,李明智自我感覺還行,他能看懂,還沒到看不懂證明過程的地步。

李明智甚至不僅能看懂,他還從這短短几行中看到了一些熟悉的感覺,這熟悉的感覺來自於陳景潤於1973年在《華國科學》發上發表的題為《1+2係數估計的進一步改進——大偶數表為一個素數及一個不超過二個素數的乘積之和(II)》的論文。

陳景潤雖然在1966年的時候就發表了被人們簡稱為“1+2”的《表大偶數為一個素數及一個不超過兩個素數的乘積之和》的論文,但直到1973他對這篇論文進行了改進並寫下詳細的證明之後,這才被世人所關注,也因此才算徹底引起了國際數學界的轟動。

而陳景潤對於李明智,應該說是對李明智他們那一代人來說,影響是非常巨大的,他們當時對陳景潤的崇拜比現在的追星族們對明星的崇拜還要深刻許多。

因此,周明在論文前面用了一點與加權篩法相關的式子後,李明智第一個想到的不是這個方法,而是陳景瑞當初證明哥德巴赫猜想“1+2”的那篇論文。

不過,李明智所表現出來的自我感覺良好的這種狀態沒有持續多久,他這第一頁還沒看完呢,還只看了一半,李明智的表情很快就逐漸變得苦大仇深起來。

李明智單獨拿出第一張列印紙,他將剩下的都放在一旁桌子上,一隻手抱胸,一隻手舉著這張紙看著,眉頭緊鎖,一副陷入了沉思的模樣開始一邊在屋子裡來回轉悠,嘴裡還一邊發出代表疑惑的“嘶~~~”聲。

最後花了二十多分鐘,李明智這才算是大概看完第一頁,他又走回剛才放列印紙的桌子旁,拿起了第二頁列印紙,並繼續開始看了起來。

當李明智看到第二頁的內容時,他皺起的眉頭不僅沒有放鬆下來,反倒又加深了不少。

當初1993年6月份安德魯·懷爾斯證明費馬大定理的時候,他的證明被分為6個部分分別由6個人審查,其中由凱茲負責的第三部分查出關於尤拉系的構造有嚴重缺陷,懷爾斯於1993年12月公開表示很快會補正。

後來到1994年10月25日,懷爾斯透過他以前的學生向世界數學界傳送了費馬大定理的完整證明郵件,至此費馬大定理才算是真正得證。

再到後來的1995年,安德魯·懷爾斯關於費馬大定理的證明過程被髮表在《數學年鑑》第141捲上,證明過程共130頁。

周明寫在列印紙上的證明過程,不管是數學公式和符號,還是少見的一些漢字,字型都不算大,而且周明的證明過程還是那種經過整理之後的過程,中間既沒有因為算數錯誤或者是證明遺漏等問題有一丁點的塗改,也沒有任何證明步驟太過散亂的問題。

可就算如此,周明這份關於哥德巴赫猜想的完全論證過程也足足有四十多頁,將近五十頁的列印紙了,這要是給寫成論文加個標題和摘要、目錄,還有參考文獻上去,頁數還得加不少。

這樣一篇頁數較多,而且證明過程又包含許多未來的一些經過改良的方法,李明智看起來自然會覺得吃力,真要向短時間內審完周明這幾十頁的證明過程,一個人根本就不可能完成。

皺著眉頭勉強看完兩頁之後,李明智這才將這份第二張寫滿證明過程的草稿紙放回桌子上,並和其他的一起遞還給周明,並對周明說道:“雖然我現在還只看了兩頁,但你這兩頁中所包含的內容可著實不少。”

說這句話的時候,李明智的語氣之中滿是感慨,似乎既有一種“長江後浪推前浪,浮事新人換舊人”的傷感,但同時卻又包含著一種對國家“江山代有才人出,各領風騷數百年”的欣慰。

“而且我看你這篩法用的,只能看到篩法的一丁點影子了,不可能是原始的埃拉託斯特尼篩法,也不會是埃拉託斯特尼篩法經過改良之後的布朗篩法。

你這後面有沒有用到庫恩提出的‘加權篩法’和阿特勒·塞爾伯格提出的‘塞爾伯格篩法’這我就看不出來了,畢竟我看才看了兩頁。”李明智繼續對自己剛剛勉強看完的兩頁抒發了一點自己心中的想法。

篩法又稱篩選法,其實他非常的簡單,具體做法就是先把N個自然數按次序排列起來,然後不是質數的都劃去,是質數的就留下來,並再把該質數後面所有能被該質數整除的數都劃去。

舉個例子,1不是質數,也不是合數,要劃去。

第二個數2是質數,所以就要留下來,然後把2後面所有能被2整除的數都劃去。

2後面第一個沒劃去的數是3,把3留下,之後再把3後面所有能被3整除的數都劃去。

如此這樣一直做下去,就會把不超過N的全部合數都篩掉,留下的就是不超過N的全部質數。

因為該方法希臘人埃拉託斯特尼提出來的,而希臘人是把數寫在塗蠟的板上的,每劃去一個數,就在上面寫個小點,這樣到後面就會有許多的小點,這些小點就像是一個篩子,所以人們就把該方法稱為“埃拉託斯特尼篩”,簡稱為“篩法”。

至於布朗篩法、“加權篩法”以及“塞爾伯格篩法”這些,都是因為數學家們在研究數論問題的時候不斷對原有的篩法進行改進,那些對篩法改良貢獻較大的,人們就會專門將他們改良過的篩法另取一個名字。

庫恩於1941年提出的“加權篩法”,可以讓我們在同樣的篩函式上、下界估計的基礎上得到強結果。

而挪威數學家阿特勒·塞爾伯格提出的“塞爾伯格篩法”,則是利用求二次型極值的方法極大地改進了篩法。

說到這裡的時候,李明智又盯著周明,表情既嚴肅又認真地對周明說道:“你是不是在這篇論文裡用到了一種新的數學方法?”

“我用的方法是和現在的這些方法有些不太一樣,但想必您也能從中看出來一些其他方法的影子,我這也完全算是新的方法,都是一些在原來的基礎上改良了一下的方法。”周明解釋道。

聽周明這麼一解釋,李明智思索了片刻之後,這才一副露出果然是這樣的表情並不知不覺地點了點頭。