第92章 發現新的梅森素數！

    第92章 發現新的梅森素數！

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

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

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

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

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

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

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

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

    「成功輸出了結果，還不錯，這個『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，奇怪了，這個名字好像聽過啊？」

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