【光明網(wǎng)科技】眾所周知，素數(shù)也叫質(zhì)數(shù)，是只能被1和自身整除的數(shù)，如2、3、5、7、11等等。2300年前，古希臘數(shù)學(xué)家歐幾里得就已證明素數(shù)有無窮多個，并提出一些素數(shù)可寫成“2^p-1”(其中指數(shù)p也是素數(shù))的形式。這種特殊形式的素數(shù)具有獨特的性質(zhì)和無窮的魅力，千百年來一直吸引著眾多的數(shù)學(xué)家(包括數(shù)學(xué)大師費馬、笛卡爾、哥德巴赫、歐拉、高斯、哈代、圖靈等)和無數(shù)的業(yè)余數(shù)學(xué)愛好者對它進(jìn)行探究；而17世紀(jì)法國數(shù)學(xué)家、法蘭西科學(xué)院奠基人馬林 梅森是其中成果較為卓著的一位，因此后人將2^p-1型的素數(shù)稱為“梅森素數(shù)”(Mersenne Primes)。迄今為止，人類僅發(fā)現(xiàn)47個梅森素數(shù)。這種素數(shù)歷來是數(shù)論研究的一項重要內(nèi)容，也是當(dāng)今科學(xué)探索的熱點和難點之一。由于梅森素數(shù)珍奇而迷人，它被人們譽為“數(shù)論中的鉆石”。

　　貌似簡單 探究極難

梅森素數(shù)貌似簡單，但探究難度卻極大。它不僅需要高深的理論和純熟的技巧，而且還需要進(jìn)行艱巨的計算。1772年，有“數(shù)學(xué)英雄”美名的瑞士數(shù)學(xué)大師歐拉在雙目失明的情況下，靠心算證明了2^31-1(即2147483647)是第8個梅森素數(shù)。這個具有10位的素數(shù)，堪稱當(dāng)時世界上已知的最大素數(shù)。歐拉的頑強毅力與解題技巧令人贊嘆不已；法國大數(shù)學(xué)家拉普拉斯說的話，或許可以代表我們的心聲：“讀讀歐拉，他是我們每一個人的老師。”

探究梅森素數(shù)不僅極富挑戰(zhàn)性，而且對探究者來說有一種巨大的自豪感。1963年6月2日晚上8點，當(dāng)?shù)?3個梅森素數(shù)2^11213-1通過大型計算機被找到時，美國廣播公司(ABC)中斷了正常的節(jié)目播放，在第一時間發(fā)布了這一重要消息。而發(fā)現(xiàn)這個素數(shù)的美國伊利諾伊大學(xué)數(shù)學(xué)系全體師生感到無比驕傲，為了讓全世界都分享這一重大成果，以至把所有從系里發(fā)出的信封都蓋上了“2^11213-1是個素數(shù)”的郵戳。

隨著指數(shù)p值的增大，每一個梅森素數(shù)的產(chǎn)生都艱辛無比；而數(shù)學(xué)家和業(yè)余數(shù)學(xué)愛好者仍樂此不疲，激烈競爭。例如，在1979年2月23日，當(dāng)美國克雷研究公司的計算機專家大衛(wèi) 史洛溫斯基和哈里 納爾遜宣布他們找到第26個梅森素數(shù)2^23209-1時，有人告訴他們：在兩星期前美國加州的高中生蘭登 諾爾就已經(jīng)給出了同樣結(jié)果。為此他們更加發(fā)奮努力，花了一個半月的時間，使用Cray-1型計算機找到了新的梅森素數(shù)2^44497-1；該數(shù)有13395位，是當(dāng)時已知的最大素數(shù)。這件事成了當(dāng)時不少主流媒體的頭條新聞。后來史洛溫斯基還獨自發(fā)現(xiàn)了6個梅森素數(shù)，因而被人們稱為“素數(shù)大王”。

大膽猜測 重大發(fā)現(xiàn)

人們在尋找梅森素數(shù)的同時，對其重要性質(zhì)——分布規(guī)律的研究也一直在進(jìn)行著。從已發(fā)現(xiàn)的梅森素數(shù)來看，它們在正整數(shù)中的分布時疏時密、極不規(guī)則，因此研究梅森素數(shù)的分布規(guī)律似乎比尋找新的梅森素數(shù)更為困難。英、法、德、美等國的數(shù)學(xué)家都曾分別給出過有關(guān)梅森素數(shù)分布的猜測，但他們的猜測都以近似表達(dá)式給出，而且與實際情況的接近程度均難如人意。