第九十一章 發現新的梅森素數！

計算機實驗室的博士生、研究生們完成工作的速度比預想的快，他們有的第二天，就完成了自己負責部分的工作，一問才知道是熬夜碼出來的。

這種對待工作的積極性，肯定會得到企業老闆的讚歎，但王浩不是企業老闆，他並不推崇大家這樣去做。

研究生、博士生們的工作進展快，也讓王浩和張志強有些頭疼，因為他們負責的代碼部分還沒有完成。

兩人乾脆也熬了夜，一口氣工作到了十二點，後來就乾脆睡了實驗室里。

第二天早上起來，簡單吃了個早飯，又開始繼續工作。

后一天，大部分工作都是對程序進行調試，包括其他人交上來的程序包，包括他們自己負責部門的代碼都需要進行調試運行。

等所有代碼都調試好以後，就可以一部分一部分的進行對接，調試運行、完善的過程要比碼代碼的過程還要慢一些。

接下來，又過了兩天時間，各個部分才差不多對接完成，隨後進行得到第一次的整體運行。

「成功輸出了結果，還不錯，這個『0.03%』是什麼意思？」張志強還是有些不明白，「是說這個數字對應的梅森數，是梅森素數的概率嗎？」

「數字沒有概率，是素數就是素數，不是素數就不是素數。」王浩道，「不過，你理解的也沒錯，只是一種評價體系輸出的數字而已。」

「0.03也太低了吧。」

王浩道，「已經很高了，雖然肯定會刷下這些數字。」

兩人正說著的時候，科技處的李明忽然找了過來，「王浩啊，趕緊去理學院實驗樓，有記者要採訪你。我找了你一圈都沒找到，問了人才知道，原來你這裡。」

「必須要接受採訪嗎？」王浩稍微有點不情願，他感覺手裡的工作更重要。

李明道，「也不是必須，省里的電視台，還是應付幾句吧。」

「好吧。」

王浩想想也應該稍微休息一下，應付記者的採訪就當是休息，就跟著李明過去了。

採訪地點是理學院實驗樓的小會議室。

省電視台的記者已經等那裡，就連採訪的背景已經布置好，搬了個全新的辦公桌過來，王浩就坐辦公桌的後面，背景則是一張世界地圖。

他坐下來接受了採訪。

記者的提問依舊是圍繞阿廷猜想，阿廷常數的研究，是近一段時間最火爆的數學話題，哪怕是國外，也都有很多很多人談論著。

這是近幾年國際數論領域最大的成果。

上一次出現如此有影響力的成果，還阿邁瑞肯的華人數學家完成對『弱化孿生素數猜想』的證明。

王浩很可能憑藉這個研究拿到國際級別的數學獎項，國內一些獎項可以說已經預定了，獲獎就只是個頒獎時間問題而已。

採訪圍繞阿廷常數證明展開，王浩也說起了阿廷常數存性的意義，「一定意義上來講，這說明質數也是存規律的。」

「這種規律不一定像是其他數字一樣，而我們要做的就是摸清底層的規律。」

「這很重要。」

王浩做了個簡單的解釋，也說明了一下數學基礎研究的重要性，「很多人或許會問，為什麼要盡心思的研究這些？」

「你們可能有聽過，有機構專門去計算圓周率π，把它算到幾千億、幾兆億位，為什麼呢？」

「那對現實當然是沒有意義的，但是，卻能幫助人類了解所處的宇宙，所處的世界更加了解、更加明確。」

「這種不斷進行的計算，是希望能看到一種結果，那就是圓周率永遠法算盡。」

「但如果算盡了呢？如果通過計算證明π是一個有限循環小數呢？這兩種可能都是很可怕的，不止說明不存真正意義上的圓，同時也說明我們的宇宙可能不是一個真實的宇宙，就像是一些科學家的描述，宇宙很可能只是一堆代碼，我們也只是虛擬出來的而已。」

「有關素數分佈的研究也是很類似，最基礎的數學、數字，就是對於宇宙的描述。」

「最基礎的領域，我們要不斷進行探索……」

王浩用簡單的比喻說了一下研究的重要性，感覺自己接受採訪都是超常發揮了，否則他會解釋一堆和阿廷常數有關內容。

雖然他知道絕大部分人對此肯定不感興趣。

記者問到了最後一個問題，「完成阿廷常數的論證后，你的下一步研究有計劃嗎？可以說說嗎？」

王浩想了想，說道，「我現正研究梅森素數，希望能這個領域有收穫。」

接下來他簡單的解釋了梅森素數，採訪就結束了。

……

省電視台對於王浩的採訪還是非常重視的。

北疆省不是學術大省，很少出現非常知名的學者，即便是北疆上出身的學者，好多都去了東部沿海城市，或者乾脆就去了國外。

簡單來說，北疆省留不住頂尖人才。

現西海大學出現了一個年輕數學教授，完成了世界頂級的數論成果，絕對值得大書特書。

省電視台把採訪的整個過程當做科學節目來播出，還節選了其中的片段作為新聞播放。

同時，省電視台所屬的網路新聞媒體、微薄，也都刊載相關的報道併發布出去。

省電視台對於新聞很重視，但實際上，並沒有引起多少波瀾，因為有好多媒體已經做出了報道，王浩也不是第一次接受採訪。

不過有些關注的人，看了報道以後，很快抓住了重點。

「王浩正研究梅森素數。」不少人都感覺很可惜。

有人甚至網上評論說，「王浩去研究梅森素數了，又一個數學天才要消失了。」

「看看那些以往的數學天才，能數論領域有一個成果就很了不起了，繼續研究也不會再有成果。」

「王浩應該向陶哲軒大神學習，不要碰數論，不要碰數論。」

「我記得陶哲軒有一次接受採訪，說準備要研究孿生素數猜想，結果沒過多久，就有人完成了弱化孿生素數猜想的證明……幸運伴隨著他。」

「……」

王浩可沒心情關注輿論問題，他接受完採訪以後，馬上回到計算機實驗室，和張志強一起對於整個程序進行最後的完善。

又是一天時間。

一直等到了第二天的下午，他們確定程序已經完善，可以放進電腦里正常運行了。

他們簡單商量一下，直接找到陳慶華院長，申請使用新購置的兩台大型伺服器。

計算機實驗室最新購置了兩台伺服器，花了八百萬的經，說白了就是一大堆的處理器、硬碟等硬體集合，計算能力是相當強的，每一台伺服器的計算能力，要超過三百台以上的萬元台式電腦。

這兩台伺服器是準備當做計算機實驗室的核心設備使用的。

陳慶華聽到他們申請使用伺服器，最開始是有些猶豫的，他們做進行的不是計算機實驗室的項目，而且最主要是，他不認為一群人編寫個程序就能找到梅森素數。

但仔細考慮了一下以後，他還是同意了。

陳慶華主要考慮對象是王浩，張志強根本不照顧的範圍內，王浩可是頂級的演算法專家，而且就西海大學工作，即便只為了交好王浩，讓他們用一下伺服器也沒關係。

他很大方的同意了，還出具了一個同意使用說明，把具體使用情況寫出來簽字蓋章。

計算機實驗室的伺服器是屬於實驗室的公共財產，也是學校為了發展實驗室撥款購買的，可不像是普通電腦一樣想用就用。

張志強拿到了使用權以後，頓時非常興奮的帶著王浩過去了，他一直對兩台伺服器心心念念，但因為手頭上沒有需要使用伺服器的項目，很遺憾根本就沒有用過。

這次可以試試了。

兩台新的伺服器是所謂的中心實驗室，其實就是六層的會議室改造出來的。

他們打開電腦把程序錄入，強大的硬體支持下，讓程序快速運行起來。

同時，一個個數據也都輸出到文件里，並進行了分類。

這個程序輸入的數值是6000萬以上的數字，可以快速檢測中其中的素數，並進入到真正的分析程序中，輸出的則是『素數』以及『對應梅森數是梅森素數的概率』。

概率，是一個程序的判定數據。

最高的概率設定是百分之十，最低的概率則只有0.01%，絕大部分輸出的素數對應的都是0.01%。

但是判定的準確率並不是那麼高，比如，已知的第49個梅森素數，M74207281，程序判定是素數的概率只有8%左右。

第50個，M77232917，概率則為6%左右。

帕德里克-羅什找到的第51個梅森素數，M82589933，判定的概率也不到9%。

雖然程序判定的不是那麼準確，但顯然幾個數字對比其他數字判定的概率要大的多。

程序輸出的第一個文件里就包含了所有概率1%以上的素數以及判定概率。

第二個文件則包含0.1%到1%的素數。

第三個文件則包含0.05到0.1%的素數。

其他素數就被放棄，輸出到最後一個文件里。

「我們先檢測一億以下的數字。」王浩進行了設定。

張志強則是編寫程序，把輸出文件一對接Prime軟體的自定義入口，以便實現讓『文件一』的素數，可以輸入到自定義檢測中。

這樣就不用一直盯著程序，去一個個進行輸入操作。

王浩仔細打量著伺服器主機，好奇的問道，「我們用這兩台伺服器，給一個幾千萬位數字做素性檢測，算一個數大概要多久時間？」

「這個不一定。」張志強道，「如果快的話，幾秒鐘就夠了，比如，這個數能夠直接被很小的整除，比如3，7，但只是極端的特例，大部分還是要用盧卡斯-來默檢驗法，一直檢測到最後，快的話也需要超過十個小時。」

「……這麼慢？」

「這已經很快了。」張志強用力的咧咧嘴，那可是千萬位的數字，計算量簡直超出想象，只需要十個小時的速度已經很快了，若不是有盧卡斯-來默檢驗法，想檢測出來根本是不可能的。

「好吧。」

王浩抿了抿嘴點頭道，「所以我們接下來就是等著？讓它慢慢運行吧，按照這個速度來說，計算完第一個文件，最少也要一個月以上吧？」

「差不多。」

張志強計算了下時間，覺得應該和陳院長再說一下，伺服器用一下倒是沒關係，但是連續使用一個月，似乎就有點兒過分了。

「算了，明天再去吧！」他想著還是搖了搖頭。

……

王浩和張志強到外面簡單吃了個飯，還約定第二天去實驗室，給參與的學生們發錢。

然後就休息了。

連續忙碌了好幾天，王浩也感到非常的疲憊，填飽了肚子回到家裡，躺床上就睡了過去。

十個小時后。

地球對面。

密蘇里中央大學數學家柯蒂斯-庫珀，結束了忙碌的一天工作后，就去了計算機房，例行的打開GIMPS開放信息查看數據。

柯蒂斯-庫珀是第四十九個梅森素數的發現者，當時他已經加入了梅森素數電子前沿基金會有七年時間。

自從十年前開始，他就一直致力於協調推GIMPS，希望能有更多志願者加入進來。

現只要正常來上班，柯蒂斯-庫珀結束一天工作后，就會到計算機房的電腦上看一看。

GIMPS是分散式的開放網路，信息全部是對外公開的，任何人登陸都可以查看。

顯示的內容包括『哪些數字已經被檢測完畢』、『有多少個CPU參與了計算』、『用戶人數』、『總計計算時長是多少』等等。

當然也少不了『最新驗證的梅森素數』。

對於最後一種信息，柯蒂斯-庫珀根本就沒考慮，他認為下一個梅森素數，最少還要等上兩年以上時間，因為到現來說，每一個數字的計算量都太大了，志願者個人的電腦，想驗證一個數字需要很長很長時間，而法做一個數字的完全檢驗，就代表檢測會成為用功，因為沒完成的檢測，根本就不會上報。

任何軟體也不可能做到監測所有的計算數據，否則也不用志願者參與了。

今天似乎和往常一樣，有一些數字被檢測完畢，登陸的用戶、CPU數量還是差不多。

柯蒂斯-庫珀仔細看了看，忽然看到了一條特殊的消息--

「新的梅森素數被驗證，來自中國用戶WangHao，數字為M6XXXXXX！」標紅的字體想不注意都不行。

柯蒂斯-庫珀頓時驚住了，他還以為是自己老眼昏花，仔細看了一遍又一遍，隨後才確定消息是真的。

他馬上登陸了GIMPS的論壇，果然上面已經有了大量的討論。

「最新消息，新的梅森素數出現了！來自中國的王浩！」

「他真是幸運啊!」

「竟然是6開頭的數字，處第48和第49個梅森素數中間，我一直都覺得，這個區間肯定有梅森素數，沒想到還真的有！」

「中國人，很少見啊，他應該是第一個發現梅森素數的中國人吧？」

「竟然是我們中國人，真是太牛了！」

「朋友們，梅森素數不分國界！」

「我真是嫉妒他，我的電腦已經持續運行了七年時間，結果什麼都沒有，一所獲……」

「你才七年，我都十五年了，電腦都換了四台了！」

柯蒂斯-庫珀看著消息，才確定是出現了新的梅森素數，他感到有些不可思議，馬上把事情訴了梅森素數電子前沿基金會的其他負責人。

梅森素數電子前沿基金會的主要負責人有三個，一個做軟體開發，一個做、論壇維護，還有一個是原來的贊助商，附帶還有一個很小的組織，主要負責宣傳和資金方面的活動，還推過和梅森素數有關的產品，只不過推效果一直都很差。

比如，他們推過一款T恤，結果T恤的售價趕不上運，購買者可以說寥寥幾。

當然，這些都不重要。

重要的是，知道了最新梅森素數的消息后，他們立刻發布了公開信息，宣布發現新的梅森素數。

「我們懷著激動的心情宣布，來自中國的志願者WangHao，發現了新的梅森素數M6XXXXXX。」

「我們還需要對結果進行重複驗證，這個工作會由來自密蘇里中央大學的柯蒂斯-庫珀教授負責。」

「雖然不敢明確的說，但這個結果是軟體的正常上報，極大可能是真的！」

佛羅里達州，奧卡拉市。

一個有些狹窄的出租房裡，披頭散髮的帕特里克-羅什，正一臉興奮看著電腦屏幕播放的戰鬥場面。

某一時刻，一切索然味。

帕特里克-羅什澹漠的打開了瀏覽器，就注意到了GIMPS發布的信息，他呆愣愣的看著，好半天才自語道，「所以說，以後我的名字，就不能繼續掛GIMPS上了？」

「出去泡、妞的資本都沒了？」

「這個WangHao，真是個幸運到踩狗屎的混蛋……」

「WangHao、WangHao，奇怪了，這個名字好像聽過啊？」

「我有認識的中國朋友？」