第8章 夫目前?
在明確了要通過M、M和M這3個梅森素數搞錢之後,林楓很快就開始了行動。
當然,行動之前林楓還是要保證一些大前提成立,首先發報酬的部門得是存在的。
不然林楓「辛辛苦苦」搞出這麼幾個梅森素數,沒人給林楓發酬勞豈不是純純浪費感情。
谷歌了一下,林楓發現在重生之後,電子新領域基金會依然是存在的。
而且該時空下,這個基金會同樣是設立了專項獎金懸賞符合條件的梅森素數發現者。
而且懸賞金還要更豐厚一些,對於找到新的梅森素數的人一概發放10萬美元的獎勵。
而對於那些找到超過1000萬位數的人更是額外還會發放15萬美元的獎勵。
最關鍵的是這種獎勵收入完全不需要繳稅。
好傢夥,這樣的規則讓林楓喜不自勝啊。
因為林楓所知道的M、M和M這3組數都在一千萬位以上。
雖然M、M和M這三組數看起來很簡練的,但也僅僅只是看起來簡練而已。
拿M來說,這個表達的是2的次方減去1。
這樣的數真要算出來以純數字的形式表達,估計純純就寫一個這個數,輕輕鬆鬆就得1000萬字。
對於這樣的數,只能用四個字來形容——「天文數字」。
而掌握有3個千萬位以上的梅森素數,豈不是意味著林楓將有機會直接通過這三個數字獲得75萬美元的報酬?
說實話,這個報酬可比前世搞梅森素數的報酬要高。
不過想想也實屬正常,反倒是這個時空發掘梅森素數的報酬更合理一些,而前世區區十萬美元的報酬屬實是有點少了。
10萬美元的報酬還嫌少?
只能說在商言商,屁股決定腦袋,代入到數學工作者的視角來看,如果發現梅森素數只是十萬美元的報酬,那還真不算多。
要知道不同於網上那種挖比特幣那種有套路可言——能靠著特定的公式並且一個區塊一個區塊地來定向挖掘。
在探尋梅森素數的時候可是沒有捷徑,基本上就是窮舉法然後挨個驗證。
這樣簡單粗暴的方式註定了發現一個新的梅森素數是要耗費計算資源的。
而且這耗費的計算資源不是一點半點,而是耗費海量的計算資源。
前世在發掘梅森素數時,世界上有近兩百個國家和地區近三十萬人動用近百萬台計算機聯網來尋找梅森素數。
想象一下,近百萬台計算機以分散式進行組網之後的計算能力。
毫無疑問這樣的計算能力已超過很多被稱為世界最先進的超級矢量計算機。
僅從人力、物力、計算力方面來說,尋找一個梅森素數所動用的資源往往是十分巨大的。
因此,雖然提交一個梅森素數會獲得25萬美元的獎勵。
但25萬美元比起提前發現一個梅森素數所能節省的各種資源來說還真不算什麼的。
其實如果是站在其餘行業的角度來看,是很難理解為什麼這些人耗費大量資源瘋狂的追尋梅森素數並且如同收藏家收集藏品一般的去收集新的梅森素數的。
但數學業內人士卻不這麼看。
在業內人士看來,梅森素數有很多特殊意義。
在數學家看來,梅森素數定義雖然簡單,但卻神秘莫測。
梅森素數在數學中有著重要的地位,伴隨著梅森素數往往是很多奇妙的規律。
前世截至2022年10月,GIMPS項目共發現的17個梅森素數,
有一個有趣的巧合,這裡面有15個是各自發現時已知最大的素數。
也就是說很多時候新發現的梅森素數同時也剛好是問世最大的素數。
因此尋找新的梅森素數的歷程某種程度上也可以等同於尋找新的最大素數的歷程。
在這種巧合之下,數學家們認為,尋找梅森素數,推動了「數學皇后」——數論的研究。
而數論研究又能促進了密碼技術、網路技術和程序設計技術的發展。
在數學界往往存在著這樣的基本共識:
——數論是最純粹的數學、數論才是數學的初心。
在這樣的共識存在的情況下,對素數的研究就成為了數學界的「政治正確」。
而梅森素數與數論割不斷的關係。
也使得探索梅森素數天然就擁有很強的使命感。
更有一些數學家還認為解決梅森素數猜想的過程中,可能誕生新學科、新數學思想方法。
此外梅森素數發掘的進展,也被認為是一個國家計算機的發展程度和功能的先進性的標誌。
數論問題中有許多關於素數的問題,在吸引人們去探索的同時,又在磨礪著人類的智慧。
英國頂尖科學家馬科斯·索托伊甚至認為,梅森素數的研究進展,標誌著科學發展的里程碑。
值得一提的是,在探索梅森素數奧秘的一眾科學家中,我國數學家、語言學家周海中是梅森素數方面研究的領先者。
周老先生運用聯繫觀察法和不完全歸納法,於1992年2月首次給出了梅森素數分佈的精確表達式,為人們尋找這一素數提供了方便。
本小章還未完,請點擊下一頁繼續閱讀後面精彩內容!
後來,這一重要成果被國際上命名為「周氏猜測」。
國際著名科普雜誌《科學美國人(中文版)》2000年第6期刊登的一篇評論文章指出,「周氏猜測」是梅森素數研究中的一項重大突破。
美籍挪威數論大師、菲爾茨獎和沃爾夫獎得主阿特勒·塞爾伯格認為:「『周氏猜測』具有創新性,開創了富於啟發性的新方法,其創新性還表現在揭示新的規律上。」
為什麼要登山?
因為山就在那裡。
同樣的道理,為什麼要追尋梅森素數的發掘?
也是因為同樣的理由。
無論去不去刻意發掘,更大的梅森素數也註定是存在的。
套用國際著名數學家希爾伯特說的話:「我們必須知道,我們必將知道。」
尋找梅森素數的大道,就是一條不斷追尋真理髮掘真相的必然之路。
不過林楓沒想這麼多高大上的東西。
對於林楓來說這些都不重要了,現在林楓滿腦子搞錢搞錢還得是搞錢。
只有不為物質發愁的情況下,才能談星辰大海。
話說回來,一個梅森素數如此麻煩,那麼就算林楓提出了一個數是梅森素數,那麼會不會驗證起來也很麻煩呢?
如果真要驗證一個梅森素數也要用時很長,那林楓豈不是想要通過梅森素數搞快錢的思路要崩潰了?
非也,雖然發現一個梅森素數很麻煩。
但如果對於給定的一個數,驗證其是不是梅森素數從理論上出發還是要相對簡單的。
驗證一個數是否為梅森素數一般是有套路的。
首先判斷該數是否為素數。
素數是只能被1和它本身整除的正整數,有多種方法可以判斷一個數是否為素數,比如試除法、歐拉判別法、費馬小定理等。
如果該數是素數,再判斷是否滿足梅森素數的定義。
判斷是否可以表示為2^p-1的形式,其中p是一個素數。
為了判斷一個數是否可以表示為2^p-1的形式,可以使用盧卡斯-萊默檢驗法。
這是一種特殊的測試方法,適用於梅森素數的驗證。
呃,好像看起來也不容易的。
不過上述步驟都是用最新的計算機網路來實現。
何況還是用一個超級分散式計算網路來進行驗證的。
驗證起來並不會很麻煩。
雖然理論上用M、M和M這3組數可以換得75萬美元。
但出於穩妥起見,實際執行的時候,林楓也不至於說是一下子就拿出三個來。
從過往發現梅森素數的進度來看:
M(即2^-1),前世於2016年1月被發現。
M(即2^-1),前世於2017年12月被發現。
M(即2^-1),前世於2018年12月被發現。
這玩意正常發現速度是一年發現一個。
甚至在M后好多年都沒發現一個。
因此,一下子搞出3個梅森素數顯然看起來不是很合理。
從合理性考慮,林楓感覺還是一次性拿出一個是最合適的。
但短時間內,林楓還是對資金很犯愁的。
權衡了一下,林楓決定還是拿出兩個最合適。
當然,怎麼拿出來也是有策略的,如果加入GIMPS中進行提交的話。
林楓感覺很可能提出的數據會石沉大海,畢竟在GIMPS項目中每天都會有海量的新的「梅森素數」被宣稱搞了出來,這種情況下林楓就是提出來新的,核驗優先順序也不會很高。
想了想,林楓乾脆決定把事情公開化,充分利用現在自己的身份來搞事情。
在剛才進一步融合記憶之後,林楓注意到原身還有個實名認證的推特賬戶,雖然並沒有什麼推文,但身份認證卻是普林斯頓大學數學系在讀博士。
這剛好符合林楓的需要。
林楓乾脆用這個賬號就發布這樣一條簡短推文:
「我發現了兩個新的梅森素數:2^-1和2^-1。」
並同時艾特了相關單位。
肯定得艾特GIMPS項目組以及漂亮國電子新領域基金會,畢竟這些是發報酬的機構。
還得艾特普林斯頓數學系官推,畢竟要扯虎皮做大旗。
此外林楓還艾特了加州大學洛杉磯分校。
在林楓印象中,加州大學洛杉磯分校對梅森素數的研究挺感興趣的。
首個超過1000萬位的梅森素數就是由該校的計算機專家埃德森·史密斯發現的。
這個梅森素數有位數,如果用普通字型大小將這個超大素數連續列印下來,它的長度可超過50公里!
這一成就還被美國的《時代》雜誌評為當年「50項最佳發明」之一,排名在第29位。
發現者史密斯當然也贏得了由電子新領域基金會頒發的大獎。
此外,林楓還艾特了美國中央密蘇里大學數學教授柯蒂斯·庫珀,這是之前一個梅森素數的發現者。
其實艾特柯蒂斯·庫珀之後林楓是有點後悔的,這純屬手滑艾特錯了。
本小章還未完,請點擊下一頁繼續閱讀後面精彩內容!
畢竟按照歷史進度,新的M這個梅森素數也是此人發現的。
而林楓這個舉動頗有種夫目.前犯的感覺?
呃,不過都已經發出推文了,林楓也沒有再撤回的道理。
就像微博上總是有很多喜歡鍵證的人一樣。
推特上也有很多雲數學家,這些人對於一些高大上的數學知識望而卻步。
但對於數論這種看上去我上我也行的數學內容總會重拳出擊。
林楓這條推文才發出去沒多久,就引來了很多陰陽怪氣的評論。
「……普林斯頓在讀博士?真的假的。」
「普林斯頓的博士期間還是太清閑啊,還有時間搞點梅森素數當副業?」
「高手,高手!不愧是普林斯頓數學系大佬,一次就發現兩個梅森素數?」
「一次發現一個梅森素數我還勉強將信將疑?一次發現兩個梅森素數,恕我直言,我一個都不信,除非你是剛從未來穿越回來。」
「兄弟,這年頭連發現梅森素數都這麼卷了嗎?一次兩個?你確定你這兩個都對?還艾特了一堆人,真是把自家底褲給亮出來了。」
「……」
林楓看著這些陰陽怪氣的評論,無動於衷。
對於一個常年在微博貼吧跟水友「友好互動」的人來說,這種程度的嘴炮,段位太低,林楓理都懶得理。
反之,林楓還挺開心的。
有這些人從這嘴炮,熱度一會就起來。
熱度發酵起來后,估計要不了多久就會被GIMPS和電子新領域基金會注意到。
林楓只感覺五十萬美元已經在向自己招手了。
事實也印證了林楓的猜測。