計算機實驗室的博士生、研究生們完工作的速度比預想的快,他們有的在第二天,就完了自己負責部分的工作,一問才知道是熬夜碼出來的。
這種對待工作的積極,肯定會得到企業老闆的讚歎,但王浩不是企業老闆,他並不推崇大家這樣去做。
研究生、博士生們的工作進展快,也讓王浩和張志強有些頭疼,因為他們負責的代碼部分還沒有完。
兩人乾脆也熬了夜,一口氣工作到了十二點,後來就乾脆睡在了實驗室里。
第二天早上起來,簡單吃了個早飯,又開始繼續工作。
后一天,大部分工作都是對程序進行調試,包括其他人上來的程序包,包括他們自己負責部門的代碼都需要進行調試運行。
等所有代碼都調試好以後,就可以一部分一部分的進行對接,調試運行、完善的過程要比碼代碼的過程還要慢一些。
接下來,又過了兩天時間,各個部分才差不多對接完,隨後進行得到第一次的整運行。
「功輸出了結果,還不錯,這個『003』是什麼意思?」張志強還是有些不明白,「是說這個數字對應的梅森數,是梅森素數的概率嗎?」
「數字沒有概率,是素數就是素數,不是素數就不是素數。」王浩道,「不過,你理解的也沒錯,只是一種評價系輸出的數字而已。」
「003也太低了吧。」
王浩道,「已經很高了,雖然肯定會刷下這些數字。」
兩人正說著的時候,科技的李明忽然找了過來,「王浩啊,趕去理學院實驗樓,有記者要採訪你。我找了你一圈都沒找到,問了人才知道,原來你在這裏。」
「必須要接採訪嗎?」王浩稍微有點不願,他覺手裏的工作更重要。
李明道,「也不是必須,省里的電視臺,還是應付幾句吧。」
「好吧。」
王浩想想也應該稍微休息一下,應付記者的採訪就當是休息,就跟著李明過去了。
採訪地點是在理學院實驗樓的小會議室。
省電視臺的記者已經等在那裏,就連採訪的背景已經佈置好,搬了個全新的辦公桌過來,王浩就坐在辦公桌的後面,背景則是一張世界地圖。
他坐下來接了採訪。
記者的提問依舊是圍繞阿廷猜想,阿廷常數的研究,是近一段時間最火的數學話題,哪怕是國外,也都有很多很多人在談論著。
這是近幾年國際數論領域最大的果。
上一次出現如此有影響力的果,還在阿邁瑞肯的華人數學家完對『弱化孿生素數猜想』的證明。
王浩很可能憑藉這個研究拿到國際級別的數學獎項,國一些獎項可以說已經預定了,獲獎就只是個頒獎時間問題而已。
採訪圍繞阿廷常數證明展開,王浩也說起了阿廷常數存在的意義,「在一定意義上來講,這說明質數也是存在規律的。」
「這種規律不一定像是其他數字一樣,而我們要做的就是清底層的規律。」
「這很重要。」
王浩做了個簡單的解釋,也說明了一下數學基礎研究的重要,「很多人或許會問,為什麼要費盡心思的研究這些?」
「你們可能有聽過,有機構專門去計算圓周率π,把它算到幾千億、幾兆億位,為什麼呢?」
「那對現實當然是沒有意義的,但是,
卻能幫助人類了解所的宇宙,所的世界更加了解、更加明確。」
「這種不斷進行的計算,是希能看到一種結果,那就是圓周率永遠無法算盡。」
「但如果算盡了呢?如果通過計算證明π是一個有限循環小數呢?這兩種可能都是很可怕的,不止說明不存在真正意義上的圓,同時也說明我們的宇宙可能不是一個真實的宇宙,就像是一些科學家的描述,宇宙很可能只是一堆代碼,我們也只是虛擬出來的而已。」
「有關素數分佈的研究也是很類似,最基礎的數學、數字,就是對於宇宙的描述。」
「在最基礎的領域,我們要不斷進行探索……」
王浩用簡單的比喻說了一下研究的重要,覺自己接採訪都是超常發揮了,否則他會解釋一堆和阿廷常數有關容。
雖然他知道絕大部分人對此肯定不興趣。
記者問到了最後一個問題,「在完阿廷常數的論證后,你的下一步研究有計劃嗎?可以說說嗎?」
王浩想了想,說道,「我現在正在研究梅森素數,希能在這個領域有收穫。」
接下來他簡單的解釋了梅森素數,採訪就結束了。
……
省電視臺對於王浩的採訪還是非常重視的。
北疆省不是學大省,很出現非常知名的學者,即便是北疆上出的學者,好多都去了東部沿海城市,或者乾脆就去了國外。
簡單來說,北疆省留不住頂尖人才。
現在西海大學出現了一個年輕數學教授,完了世界頂級的數論果,絕對值得大書特書。
省電視臺把採訪的整個過程當做科學節目來播出,還節選了其中的片段作為新聞播放。
同時,省電視臺所屬的網絡新聞、微薄,也都刊載相關的報道併發佈出去。
省電視臺對於新聞很重視,但實際上,並沒有引起多波瀾,因為有好多已經做出了報道,王浩也不是第一次接採訪。
不過有些關注的人,看了報道以後,很快抓住了重點。
「王浩正在研究梅森素數。」不人都覺很可惜。
有人甚至在網上評論說,「王浩去研究梅森素數了,又一個數學天才要消失了。」
「看看那些以往的數學天才,能在數論領域有一個果就很了不起了,繼續研究也不會再有果。」
「王浩應該向陶哲軒大神學習,不要數論,不要數論。」
「我記得陶哲軒有一次接採訪,說準備要研究孿生素數猜想,結果沒過多久,就有人完了弱化孿生素數猜想的證明……幸運伴隨著他。」
「……」
王浩可沒心關注輿論問題,他接完採訪以後,馬上回到計算機實驗室,和張志強一起對於整個程序進行最後的完善。
又是一天時間。
一直等到了第二天的下午,他們確定程序已經完善,可以放進電腦里正常運行了。
他們簡單商量一下,直接找到陳慶華院長,申請使用新購置的兩臺大型伺服。
計算機實驗室最新購置了兩臺伺服,花費了八百萬的經費,說白了就是一大堆的理、碟等件集合,計算能力是相當強的,每一臺伺服的計算能力,要超過三百臺以上的萬元臺式電腦。
這兩臺伺服是準備當做計算機實驗室的核心設備使用的。
陳慶華聽到他們申請使用伺服,最開始是有些猶豫的,他們做進行的不是計算機實驗室的項目,而且最主要是,他不認為一群人編寫個程序就能找到梅森素數。
但仔細考慮了一下以後,他還是同意了。
陳慶華主要考慮對象是王浩,張志強本不在照顧的範圍,王浩可是頂級的演演算法專家,而且就在西海大學工作,即便只為了好王浩,讓他們用一下伺服也沒關係。
他很大方的同意了,還出了一個同意使用說明,把使用況寫出來簽字蓋章。
計算機實驗室的伺服是屬於實驗室的公共財產,也是學校為了發展實驗室撥款購買的,可不像是普通電腦一樣想用就用。
張志強拿到了使用權以後,頓時非常興的帶著王浩過去了,他一直對兩臺伺服心心念念,但因為手頭上沒有需要使用伺服的項目,很憾本就沒有用過。
這次可以試試了。
兩臺新的伺服是在所謂的中心實驗室,其實就是六層的會議室改造出來的。
他們打開電腦把程序錄,在強大的件支持下,讓程序快速運行起來。
同時,一個個數據也都輸出到文件里,並進行了分類。
這個程序輸的數值是6000萬以上的數字,可以快速檢測中其中的素數,並進到真正的分析程序中,輸出的則是『素數』以及『對應梅森數是梅森素數的概率』。
概率,是一個程序的判定數據。
最高的概率設定是百分之十,最低的概率則只有001,絕大部分輸出的素數對應的都是001。
但是判定的準確率並不是那麼高,比如,已知的第49個梅森素數,74207281,程序判定是素數的概率只有8左右。
第50個,77232917,概率則為6左右。
帕德里克-羅什找到的第51個梅森素數,82589933,判定的概率也不到9。
雖然程序判定的不是那麼準確,但顯然幾個數字對比其他數字判定的概率要大的多。
程序輸出的第一個文件里就包含了所有概率在1以上的素數以及判定概率。
第二個文件則包含01到1的素數。
第三個文件則包含005到01的素數。
其他素數就被放棄,輸出到最後一個文件里。
「我們先檢測一億以下的數字。」王浩進行了設定。
張志強則是在編寫程序,把輸出文件一對接pri件的自定義口,以便實現讓『文件一』的素數,可以輸到自定義檢測中。
這樣就不用一直盯著程序,去一個個進行輸作。
王浩仔細打量著伺服主機,好奇的問道,「我們用這兩臺伺服,給一個幾千萬位數字做素檢測,算一個數大概要多久時間?」
「這個不一定。」張志強道,「如果快的話,幾秒鐘就夠了,比如,這個數能夠直接被很小的整除,比如3,7,但只是極端的特例,大部分還是要用盧卡斯-萊默檢驗法,一直檢測到最後,快的話也需要超過十個小時。」
「……這麼慢?」
「這已經很快了。」張志強用力的咧咧,那可是千萬位的數字,計算量簡直超出想像,只需要十個小時的速度已經很快了,若不是有盧卡斯-萊默檢驗法,想檢測出來本是不可能的。
「好吧。」
王浩抿了抿點頭道,「所以我們接下來就是等著?讓它慢慢運行吧,按照這個速度來說,計算完第一個文件,最也要一個月以上吧?」
「差不多。」
張志強計算了下時間,覺得應該和陳院長再說一下,伺服用一下倒是沒關係,但是連續使用一個月,似乎就有點兒過分了。
「算了,明天再去吧!」他想著還是搖了搖頭。
……
王浩和張志強到外面簡單吃了個飯,還約定第二天去實驗室,給參與的學生們發錢。
然後就休息了。
連續忙碌了好幾天,王浩也到非常的疲憊,填飽了肚子回到家裏,躺在床上就睡了過去。
十個小時后。
地球對面。
蘇里中央大學數學家柯斯-庫珀,結束了忙碌的一天工作后,就去了計算機房,例行的打開gips開放信息查看數據。
柯斯-庫珀是第四十九個梅森素數的發現者,當時他已經加了梅森素數電子前沿基金會有七年時間。
自從十年前開始,他就一直致力於協調推廣gips,希能有更多志願者加進來。
現在只要正常來上班,柯斯-庫珀結束一天工作后,就會到計算機房的電腦上看一看。
gips是分散式的開放網絡,信息全部是對外公開的,任何人登陸都可以查看。
顯示的容包括『哪些數字已經被檢測完畢』、『有多個cpu參與了計算』、『用戶在線人數』、『總計計算時長是多』等等。
當然也不了『最新驗證的梅森素數』。
對於最後一種信息,柯斯-庫珀本就沒考慮,他認為下一個梅森素數,最還要等上兩年以上時間,因為到現在來說,每一個數字的計算量都太大了,志願者個人的電腦,想驗證一個數字需要很長很長時間,而無法做一個數字的完全檢驗,就代表檢測會為無用功,因為沒完的檢測,本就不會上報。