曹茜

目前，世界上有190多個(gè)國家和地區(qū)的近24萬在線網(wǎng)民參與了一個(gè)名為“互聯(lián)網(wǎng)梅森素?cái)?shù)大搜索”（GIMPS）的國際合作項(xiàng)目，并動(dòng)用超過233萬個(gè)核中央處理器（CPU）聯(lián)網(wǎng)來尋找梅森素?cái)?shù)。可以說，對于梅森素?cái)?shù)的探究非常火爆，這在數(shù)學(xué)史上前所未有，在科技史上也極為罕見。

眾所周知，素?cái)?shù)又稱質(zhì)數(shù)，是指在大于1的自然數(shù)中只能被1和其自身整除的數(shù)。每個(gè)自然數(shù)都可以唯一地分解成有限個(gè)素?cái)?shù)的乘積，素?cái)?shù)因此構(gòu)成了自然數(shù)體系的基石。2300多年前，古希臘數(shù)學(xué)家歐幾里得在《幾何原本》一書中證明了素?cái)?shù)的個(gè)數(shù)是無窮的，并提出一些素?cái)?shù)可寫成“2^P-1”（即2的P次方減1，其中指數(shù)P也是素?cái)?shù)）的形式。千百年來，2^P-1型素?cái)?shù)吸引著人們?nèi)ふ液脱芯克?p>

法國數(shù)學(xué)家馬林·梅森（1588-1648）

由于17世紀(jì)法國數(shù)學(xué)家馬林·梅森學(xué)識(shí)淵博、才華橫溢，并最早開始系統(tǒng)而深入地研究2^P-1型素?cái)?shù)，為了紀(jì)念他，數(shù)學(xué)界將這種特殊形式的素?cái)?shù)命名為“梅森素?cái)?shù)”。梅森素?cái)?shù)歷來是數(shù)學(xué)研究的一項(xiàng)重要內(nèi)容，也是當(dāng)今科學(xué)探索的熱點(diǎn)和難點(diǎn)之一。這種素?cái)?shù)珍奇而迷人，被人們譽(yù)為“數(shù)學(xué)寶庫中的鉆石”。

梅森素?cái)?shù)看似簡單，但當(dāng)指數(shù)P值較大時(shí)，其素性檢驗(yàn)的難度就會(huì)很大。另外，它的探究需要借助高深的理論、純熟的技巧以及艱難的計(jì)算。例如，1772年，瑞士數(shù)學(xué)家、物理學(xué)家萊昂哈德·歐拉在雙目失明的情況下，靠心算證明了2³¹-1（即2的31次方減1）是個(gè)素?cái)?shù)，該數(shù)（2147483647）有10位，堪稱當(dāng)時(shí)世界上已知的最大素?cái)?shù)。在靠手算筆錄的年代，人們歷盡艱辛，一共才找到12個(gè)梅森素?cái)?shù)。

電子計(jì)算機(jī)的誕生使得梅森素?cái)?shù)的探究如虎添翼，各國科學(xué)家和業(yè)余研究者們紛紛投身到尋找梅森素?cái)?shù)的隊(duì)伍中。他們彼此競爭，樂此不疲，催生了不少新發(fā)現(xiàn)。1952年1月30日晚上9點(diǎn)，美國數(shù)學(xué)家拉斐爾·魯濱遜將探究梅森素?cái)?shù)的方法編譯成計(jì)算機(jī)程序，利用大型計(jì)算機(jī)，幾小時(shí)內(nèi)就找到了兩個(gè)100位以上的梅森素?cái)?shù)：2⁵²¹-1和2⁶⁰⁷-1。隨后的幾個(gè)月，他又接連找到了2¹²⁷⁹-1、2²²⁰³-1和2²²⁸¹-1。

“211213-1是個(gè)素?cái)?shù)”的郵戳

探究梅森素?cái)?shù)不僅極富挑戰(zhàn)性，而且對探究者來說有一種巨大的自豪感。1963年6月2日晚上8點(diǎn)，當(dāng)?shù)?3個(gè)梅森素?cái)?shù)2¹¹²¹³-1通過超級計(jì)算機(jī)被找到時(shí)，美國廣播公司（ABC）中斷了正在播放的節(jié)目，第一時(shí)間發(fā)布了這一重要消息，《芝加哥論壇報(bào)》還把這一消息作為頭版頭條來報(bào)道。而發(fā)現(xiàn)這個(gè)素?cái)?shù)的美國伊利諾伊大學(xué)數(shù)學(xué)系全體師生感到無比驕傲，為了讓全世界都分享這一重大成果，甚至把所有從系里發(fā)出的信封都蓋上了“2¹¹²¹³-1是個(gè)素?cái)?shù)”的郵戳。

互聯(lián)網(wǎng)的出現(xiàn)，大大加快了探究梅森素?cái)?shù)的步伐。1996年年初，美國數(shù)學(xué)家、程序設(shè)計(jì)師喬治·沃特曼編制了一個(gè)梅森素?cái)?shù)計(jì)算程序，并把它放在網(wǎng)頁上供人們免費(fèi)使用。這一計(jì)算程序就是舉世聞名的GIMPS項(xiàng)目，也是全球首個(gè)基于互聯(lián)網(wǎng)的網(wǎng)格計(jì)算項(xiàng)目。現(xiàn)在，只要人們?nèi)IMPS的主頁下載一個(gè)名為“Prime95”的免費(fèi)程序，就可以立即參加GIMPS項(xiàng)目來尋找梅森素?cái)?shù)了。

為了激勵(lì)人們尋找梅森素?cái)?shù)和促進(jìn)網(wǎng)格計(jì)算技術(shù)發(fā)展，總部設(shè)在美國舊金山的“電子前沿基金會(huì)（EFF）”于1999年3月向全世界宣布了為通過GIMPS項(xiàng)目來尋找梅森素?cái)?shù)而設(shè)立的獎(jiǎng)金。它規(guī)定向第一個(gè)找到超過100萬位數(shù)的個(gè)人或機(jī)構(gòu)頒發(fā)5萬美元。后面的獎(jiǎng)金依次為：超過1000萬位數(shù)，10萬美元;超過1億位數(shù)，15萬美元;超過10億位數(shù)，25萬美元。據(jù)悉，絕大多數(shù)參與者不是為了名利而探究梅森素?cái)?shù)，而是出于好奇心、求知欲和榮譽(yù)感。

前不久，來自美國佛羅里達(dá)州的互聯(lián)網(wǎng)專家、數(shù)學(xué)愛好者帕特里克·拉羅什通過參與GIMPS項(xiàng)目，成功地發(fā)現(xiàn)第51個(gè)梅森素?cái)?shù)——2^82589933-1。該數(shù)有24862048位，是迄今為止人類發(fā)現(xiàn)的最大素?cái)?shù)。如果用普通字號（指word文檔默認(rèn)的字體字號）將這個(gè)素?cái)?shù)打印下來，它的長度將超過100千米！而且近百年來，幾乎所有的“最大素?cái)?shù)”都是梅森素?cái)?shù)。

值得一提的是，人們在尋找梅森素?cái)?shù)的同時(shí)，對其重要性質(zhì)——分布規(guī)律的研究也一直在進(jìn)行著。中國數(shù)學(xué)家、語言學(xué)家周海中在1992年率先給出了梅森素?cái)?shù)分布的精確表達(dá)式，這一研究成果被國際上命名為“周氏猜測”。美籍挪威數(shù)論大師、菲爾茨獎(jiǎng)和沃爾夫獎(jiǎng)得主阿特勒·塞爾伯格指出：“‘周氏猜測具有創(chuàng)新性，開創(chuàng)了富于啟發(fā)性的新方法，其創(chuàng)新性還表現(xiàn)在揭示新的規(guī)律上?！?/p>

梅森素?cái)?shù)在當(dāng)代具有十分豐富的理論意義和實(shí)用價(jià)值。對它的探究可以推動(dòng)“數(shù)學(xué)皇后”——數(shù)論的研究，還可以促進(jìn)密碼技術(shù)、網(wǎng)格計(jì)算技術(shù)、程序設(shè)計(jì)技術(shù)的發(fā)展，以及快速傅立葉變換和快速橢圓加密算法的應(yīng)用。另外，在探究過程中，人們還能發(fā)現(xiàn)計(jì)算機(jī)芯片存在的問題。例如，德國一名GIMPS項(xiàng)目參與者發(fā)現(xiàn)：當(dāng)Intel Skylake處理器在執(zhí)行Prime95程序來尋找梅森素?cái)?shù)時(shí)，就出現(xiàn)了觸發(fā)系統(tǒng)死機(jī)的漏洞。隨后，美國英特爾公司承認(rèn)存在該漏洞，并做了修復(fù)。

由于梅森素?cái)?shù)的探究在當(dāng)代需要多種學(xué)科和技術(shù)的支持，所以許多科學(xué)家認(rèn)為：梅森素?cái)?shù)的研究成果，在一定程度上反映了一個(gè)國家的科技水平。英國數(shù)學(xué)家馬科斯·索托伊甚至認(rèn)為，梅森素?cái)?shù)的探究可以挑戰(zhàn)人類科技與智慧的極限，其成果是一個(gè)國家科技創(chuàng)新能力的重要標(biāo)志之一。這也是梅森素?cái)?shù)探究如此火爆的原因之一吧！