2018年12月21日，一位名叫帕特裡克·羅什的美國人參與“互聯網梅森素數大搜索”項目（GIMPS）并成功發現第51個梅森素數2^82589933-1，它含有24862048個數位。梅森素數是以法國數學家馬林·梅森（Marin Mersenne，1588～1648）的名字命名，數百年來人們始終在尋找更大的梅森素數，這究竟是為什麼？小G将為你揭曉答案。

GIMPS官網截圖

要了解梅森素數，首先要知道什麼是素數？早在約公元前300年成書的歐幾裡得所著希臘數學經典《幾何原本》中說（定義VII.11）：素數是隻能為一個單位所量盡者，即除了1和它本身以外，再無正整數約數的數稱為素數（或質數），第1個素數是2，否則為合數。

歐幾裡得

任何大于1的整數，要麼本身是素數，要麼可以唯一地寫成若幹素數乘積，可以說素數是構造整數大廈的磚石。自古希臘時代，尋找素數一直是人們所關注的問題，古希臘數學家埃拉托塞尼（Eratosthenes，約前276～約前195）早已給出著名的“埃拉托塞尼篩選法”。

埃拉托塞尼

若用該法找出100以内所有素數，仿下圖畫一個10×10的表格，填上1～100. 首先1不是素數，劃去；保留素數2，将其所有倍數劃去；接着留素數3，将3所有倍數劃去，已經被劃去的不用管；緊接3後未被劃去的是5，保留5并将其倍數劃去；緊接5後未被劃去的是7，進行同樣操作，此時表中未被劃去的36個素數為所求。事實上100的平方根10中僅有4個素數，将它們的倍數全部劃去即可，該性質可被證明并推廣——要篩選出整數n内所有素數，隻需将

埃拉托塞尼篩選法

素數分布有一明顯特點——随着數值增大，素數越來越少。這很容易解釋，較小數字可能因子少，較大數字可能因子多，也就越不可能是素數。1~100中，有36個素數；而10000001~10000100這100個數中，隻有2個素數。素數會不會有盡頭呢？《原本》（IX.20）中已證明素數無窮無盡。

徐光啟與利瑪窦合譯《幾何原本》（1607）首頁

認識梅森素數，還需了解“完全數”，《原本》定義（VII.22）相當于：完全數等于其所有真因子之和的數，如6（=1 2 3）是完全數。古希臘人認為完全數代表吉祥，會帶來幸福和美好！《原本》（命題IX.36）給出尋找完全數的方法：若是素數，則

1644年梅森在其所著《物理-數學探索》序言中說：當p=2，3，5，7，13，17，19，31，67，127，257這11個數時，為素數，并證明了前7個數，後面4個數字計算量太大而沒有驗證，該猜想引起學界極大關注。為紀念他，人們把型的素數稱為“梅森素數”，并以

梅森

此後無數學者都進行過研究，1722年瑞士數學大師歐拉在雙目失明的情況下，靠心算證明了

歐拉

雖形式簡單，但探究需要高深理論和艱巨計算，至1920年代，人們通過手算艱辛地找到12個梅森素數。計算機的出現，加快了探尋的步伐。1952年，人們将以往的算法編譯成計算機程序，在幾小時内就找出了5個新梅森素數，自此探尋梅森素數也成為檢測計算機性能和相關算法的有效手段。互聯網時代産生的分布式計算技術可有效利用互聯網空閑計算能力，這使探尋工作如虎添翼，1996年美國數學家沃特曼編寫了一個尋找梅森素數程序放在網上供大家免費使用，這就是本文開頭的GIMPS項目。1952年至今，計算機共找到39個梅森素數，最新的17個全歸功于GIMPS！目前全球有近70萬人參加該項目，來吧，你可能就是下一個發現者！

部分梅森素數發現概況

來源：中國科學院自然科學史研究所

溫馨提示：近期，微信公衆号信息流改版。每個用戶可以設置 常讀訂閱号，這些訂閱号将以大卡片的形式展示。因此，如果不想錯過“中科院之聲”的文章，你一定要進行以下操作：進入“中科院之聲”公衆号 → 點擊右上角的 ··· 菜單 → 選擇「設為星标」

更多精彩资讯请关注tft每日頭條，我们将持续为您更新最新资讯!