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