張志強酸帕特里克羅什是有道理的,全世界不知道有多少學者,都會酸帕特里克羅什。
因為,幸運。
中彩票的幸運者也會被酸,但中彩票是經常會發生的,全世界有很多的彩票中獎者,而發現最新梅森素數的,近幾年時間裡,只有帕特里克羅什一人,他的名字已經在GIMPS官網主站掛了幾年時間。
GIMPS官網有關於帕特里克羅什幸運的介紹,上面寫道,“對於帕特里克羅什來說,這個賽季更加幸運,他的堅持獲得了豐厚的回報。多年來,帕特里克一直在使用GIMPS軟體作為他的計算機版本的免費“壓力測試”,不到四個月前他開始在自己的媒體伺服器上尋找,以回饋這個專案。”
“一些GIMPS參與者已經尋找了20多年,幾萬次嘗試,但沒有成功。這證明,運氣好的話,任何人都可以找到下一個新的梅森素數。”
&ne軟體長期線上人數幾十萬,執行的CPU數量幾百萬,幾年時間,就只出現了一個帕特里克羅什,有多幸運就可想而知了。
另外,發現新的梅森素數,收穫的可不止十萬美元獎勵,還有個人名氣上的巨大提升。
比如,GIMPS網站長期掛著帕特里克羅什個人的‘幸運介紹’,目的大概是吸引更多的人加入進來。
很多對於發現新梅森素數的報道都會提到帕特里克羅什,他的名字出現在各大媒體的版面上,不知道的人還以為是什麼有名氣的學者,有巨大貢獻的科學家。
可實際上,帕特里克羅什放在學術圈,就只是個最底層而已,至多能算得上是一個演算法工程師,還是能力並不算太突出那種。
如果真去計較的話,帕特里克羅什並不算是學者,可他卻因為幸運的發現梅森素數,而以‘類似於學術成果的成果’,變得比其他真正學者更有名氣。
這就是被學者們羨慕嫉妒的根源。
帕特里克羅什幹了什麼呢?
&ne軟體做伺服器壓力測試,用自己的電腦掛一下軟體執行,然後就很幸運的找到了梅森素數。
他收穫了金錢,收穫了名聲,還把名字留在了有關梅森素數的歷史記錄中。
王浩仔細想想都感覺有些感慨,不得不承認,帕特里克羅什確實是非常的幸運。
他搖了搖頭,自定義了程式執行時間,很快被分配了一個超大質數,也開始用電腦掛起了Prime軟體,而後也不理會,就開始研究起了梅森素數。
他研究的是演算法。
&ne軟體的主要功能是進行分散式處理和計算統計,實際上,內部對於梅森素數的檢驗演算法是非常簡單的,針對一個數字的驗證,就是採用盧卡斯萊默檢驗法。
盧卡斯萊默檢驗法,是針對梅森數的素性檢驗,由愛德華盧卡斯於1878年制定的,五十年後,德里克亨利萊默對於方法進行了改進完善。
這個針對梅森素數的素性檢驗方法已經非常簡化。
利用盧卡斯萊默檢驗法,驗證梅森數‘Mn=2的n次方1’是否是素數,只需要讓程式迴圈執行‘n2次’就夠了。
當然,因為牽扯到千萬位的超大數,每一次迴圈的計算量還是很高的,但針對千萬位超大數的素性檢驗,已經可以說是簡化到了極致。
比如,家用普通電腦,執行一百個小時左右,就可以檢測出一個千萬位梅森數的素性。
這種速度相當驚人。
正因為如此,一直到現在快要百年時間,針對梅森數的素性檢驗,使用的依舊是盧卡斯萊默檢驗法。
盧卡斯萊默檢驗法的內容,只要看一眼就能明白過來,方法沒有什麼難度可言。
正因為方法太過於簡單,想改善就顯得無從下手。
比如,普通的加法,方法已經足夠簡單,還怎麼去改善呢?
王浩仔細思考了一下,也根本是無從下手,但研究肯定是有方向的,針對單個素數的檢驗方法無法突破,也能夠在檢驗數字篩選上做突破。
但是,他仔細想了很久,還是找不到方向,只能慢慢看看能不能有什麼靈感。
……