第九十一章 發現新的梅森素數!
類別:
科幻靈異
作者:
不吃小南瓜字數:5271更新時間:24/06/27 09:12:31
計算機實驗室的博士生、研究生們完成工作的速度比預想的快,他們有的在第二天,就完成了自己負責部分的工作,一問才知道是熬夜碼出來的。
這種對待工作的積極性,肯定會得到企業老闆的讚歎,但王浩不是企業老闆,他並不推崇大家這樣去做。
研究生、博士生們的工作進展快,也讓王浩和張志強有些頭疼,因爲他們負責的代碼部分還沒有完成。
兩人乾脆也熬了夜,一口氣工作到了十二點,後來就乾脆睡在了實驗室裏。
第二天早上起來,簡單吃了個早飯,又開始繼續工作。
後一天,大部分工作都是對程序進行調試,包括其他人交上來的程序包,包括他們自己負責部門的代碼都需要進行調試運行。
等所有代碼都調試好以後,就可以一部分一部分的進行對接,調試運行、完善的過程要比碼代碼的過程還要慢一些。
接下來,又過了兩天時間,各個部分才差不多對接完成,隨後進行得到第一次的整體運行。
“成功輸出了結果,還不錯,這個‘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,奇怪了,這個名字好像聽過啊?”
“我有認識的中國朋友?”