張誌強酸帕特裡克羅什是有道理的,全世界不知道有多少學者,都會酸帕特裡克羅什。
因為,幸運。
中彩票的幸運者也會被酸,但中彩票是經常會發生的,全世界有很多的彩票中獎者,而發現最新梅森素數的,近幾年時間裡,隻有帕特裡克羅什一人,他的名字已經在gimps官網主站掛了幾年時間。
gimps官網有關於帕特裡克羅什幸運的介紹,上麵寫道,“對於帕特裡克羅什來說,這個賽季更加幸運,他的堅持獲得了豐厚的回報。多年來,帕特裡克一直在使用gimps軟件作為他的計算機版本的免費“壓力測試”,不到四個月前他開始在自己的媒體服務器上尋找,以回饋這個項目。”
“一些gimps參與者已經尋找了20多年,幾萬次嘗試,但沒有成功。這證明,運氣好的話,任何人都可以找到下一個新的梅森素數。”
prime軟件長期在線人數幾十萬,運行的cpu數量幾百萬,幾年時間,就隻出現了一個帕特裡克羅什,有多幸運就可想而知了。
另外,發現新的梅森素數,收獲的可不止十萬美元獎勵,還有個人名氣上的巨大提升。
比如,gimps網站長期掛著帕特裡克羅什個人的‘幸運介紹’,目的大概是吸引更多的人加入進來。
很多對於發現新梅森素數的報道都會提到帕特裡克羅什,他的名字出現在各大媒體的版麵上,不知道的人還以為是什麼有名氣的學者,有巨大貢獻的科學家。
可實際上,帕特裡克羅什放在學術圈,就隻是個最底層而已,至多能算得上是一個算法工程師,還是能力並不算太突出那種。
如果真去計較的話,帕特裡克羅什並不算是學者,可他卻因為幸運的發現梅森素數,而以‘類似於學術成果的成果’,變得比其他真正學者更有名氣。
這就是被學者們羨慕嫉妒的根源。
帕特裡克羅什乾了什麼呢?
他隻是利用prime軟件做服務器壓力測試,用自己的電腦掛一下軟件運行,然後就很幸運的找到了梅森素數。
他收獲了金錢,收獲了名聲,還把名字留在了有關梅森素數的曆史記錄中。
王浩仔細想想都感覺有些感慨,不得不承認,帕特裡克羅什確實是非常的幸運。
他搖了搖頭,自定義了程序運行時間,很快被分配了一個超大質數,也開始用電腦掛起了prime軟件,而後也不理會,就開始研究起了梅森素數。
他研究的是算法。
prime軟件的主要功能是進行分布式處理和計算統計,實際上,內部對於梅森素數的檢驗算法是非常簡單的,針對一個數字的驗證,就是采用盧卡斯來默檢驗法。
盧卡斯來默檢驗法,是針對梅森數的素性檢驗,由愛德華盧卡斯於1878年製定的,五十年後,德裡克亨利來默對於方法進行了改進完善。
這個針對梅森素數的素性檢驗方法已經非常簡化。
利用盧卡斯來默檢驗法,驗證梅森數‘mn=2的n次方1’是否是素數,隻需要讓程序循環運行‘n2次’就夠了。
當然,因為牽扯到千萬位的超大數,每一次循環的計算量還是很高的,但針對千萬位超大數的素性檢驗,已經可以說是簡化到了極致。
比如,家用普通電腦,運行一百個小時左右,就可以檢測出一個千萬位梅森數的素性。
這種速度相當驚人。
正因為如此,一直到現在快要百年時間,針對梅森數的素性檢驗,使用的依舊是盧卡斯來默檢驗法。
盧卡斯來默檢驗法的內容,隻要看一眼就能明白過來,方法沒有什麼難度可言。
正因為方法太過於簡單,想改善就顯得無從下手。
比如,普通的加法,方法已經足夠簡單,還怎麼去改善呢?
王浩仔細思考了一下,也根本是無從下手,但研究肯定是有方向的,針對單個素數的檢驗方法無法突破,也能夠在檢驗數字篩選上做突破。
但是,他仔細想了很久,還是找不到方向,隻能慢慢看看能不能有什麼靈感。
……
第二天早上,王浩早早的爬起來去晨跑。
生活節奏回歸了以往的規律,鍛煉也碰到了熟悉的人。
蘇映雪。
她依舊是那副運動打扮,也依舊顯得英姿颯爽。
王浩和蘇映雪一起跑了兩圈,順便說了幾句話,才知道對方是準備長期駐紮西海市了。
“我負責跟進納微實驗室的項目。”蘇映雪簡單的一句解釋,透露出了很多信息,她力主和納微實驗室進行合作,直接負責項目的跟進,肯定是對項目非常重視的。
如果納微實驗室的項目長期沒有進展,對蘇映雪個人的事業也許造成一些影響。
“我記得說過,建議你們和納微實驗室合作。”王浩笑道,“肯定不會後悔。”
“我相信你。”蘇映雪看著王浩的眼睛,很認真的點頭。
王浩和蘇映雪說了幾句,又堅持跑了兩圈,感到有些疲憊就離開去吃早飯了。
豆漿、油條,外加一個茶葉蛋,經典搭配,美滋滋的吃著補充著消耗的體力。
一天又開始了。
有個披著線衣、笑的很甜的女生走過來,她把餐盤放在了王浩對麵,有些驚喜的說道,“王浩老師,我剛才看著就像你,還真是,不打擾吧?”
“沒關係。”
王浩抬起頭說了句,發現對方似乎有些熟悉,不就是羅大勇班裡的輔導員,名字叫……
這不重要!
來人是孟芊。
她有個開朗健談的性格,坐在對麵後也主動和王浩說起話,不會讓氣氛顯得過於沉悶。
“王浩老師,恭喜你了,創造了國內學者,近二十多年,在解析數論領域,完成國際性成果的曆史,還上了新聞,可真厲害。”
“我和朋友昨天還說起了你呢,你現在可是學校裡的大名人!”
孟芊連續恭維了王浩好幾句,後來就談到了自己的研究,“王浩老師,記得上次就說過,有時間可要指點下我,論文、博士論文,太難了,我到現在都找不到方向。”
王浩問道,“你是做計算機研究吧,什麼領域?”
“人工智能,算法。”孟芊用兩個詞做了介紹。
王浩立刻搖頭,“這個我可幫不了。人工智能方麵,我也不了解,不過學校裡,從事這方麵研究的人很多,我辦公室裡的張誌強,就做過相關研究,要不我幫你介紹一下?”
“那不用。”
孟芊趕忙擺手道,“我的導師也專門做這方麵的研究,而且做研究不能都問彆人。我做的是表示學習的算法,隻是想找個方向。”
“表示學習的算法……”
王浩思考著搖頭,“這個領域,我真是完全不懂啊。”
孟芊笑道,“彆謙虛啊,王浩老師,你可是算法專家。有時間能不能幫我看看,不需要具體說做什麼,我隻是想找個方向。”
“嗯……好吧。”王浩猶豫了一下,總是拒絕也不太好,想著去看一下也沒什麼,就還是同意了。