身為數學系的學生,梅森素數是個什么東西,陸舟當然是知道的。
畢竟一說到梅森素數,就不得不提到一位偉大的華國數學家,以及他在92年發表的《梅森素數分布規律》,讓梅森素數變成了一條可以被數學符號表達的公式,也就是國際上慣稱的周氏猜測。
而在此前,雖然英國數學家香克斯、法國數學家托洛塔、德國數學家伯利哈特、印度數學家拉曼紐楊和美國數學家吉里斯等都曾分別提出過猜測,但他們的猜測有一個共同點,那就是都以近似表達式提出,并且與實際情況的接近程度均難如人意。
而周氏猜測的精確公式卻很簡潔,即當2^(2^n)<P<2^(2^(n+1))時,MP有2^(n+1)-1個是素數。
看起來很簡單是不是?
我上我也行是不是?
然而就這么一條猜測,至今未被證明或反證,已經成了著名的數學難題,困擾了整個數學界二十多年。
不過這玩意兒就像黎曼猜想一樣,雖然無法被證實,但并不妨礙后人假設他成立,并將它拿來運用。
當然了,即便有了精確的計算公式,即便將尋寶的工作交給了計算機,想要發現梅森素數依舊不是一件容易的事情。
截止到目前(2014年),數學界一共發現44個梅森素數。
至于這梅森素數有什么用?
好像也沒什么用。
硬要說的話,RSA算法算一個,每次網購都得感謝隱藏在密碼里拆解不開的大素數。與此同時,大素數還被用來考驗計算機性能。比如intel檢驗芯片使用的就是GIMPS程序,SKYLAKE芯片也曾由此發現BUG。
另外,糾結數學是否有用,其實沒什么意義。很多時候趨勢數學家行動的動機,并不一定是解開一道算式能獲得多少經濟收益,而是因為它就在那里。
往大了說,人類不能只有眼前的茍且,還得有詩和遠方。
然而陸舟就不樂意了,他可不想要什么詩和遠方,他想要的就是眼前的茍且啊!
而且,為什么偏偏是周氏猜想的證明方法!給我來個黎曼猜想啊!要么稍微低一檔的比爾猜想也行啊!
拋開學術價值不談,比爾猜想的懸賞已經翻到了一百萬美金,這筆錢將由德克薩斯州知名銀行家比爾本人提供。
至于周氏猜想,嘗試證明的人不少,可好像沒人懸賞這玩意兒。