晨星LL 作品
第六章 一道證明題的答案
身為數學系的學生，梅森素數是個什麼東西，陸舟當然是知道的。
畢竟一說到梅森素數，就不得不提到一位偉大的華國數學家，以及他在92年發表的《梅森素數分佈規律》，讓梅森素數變成了一條可以被數學符號表達的公式，也就是國際上慣稱的周氏猜測。
而在此前，雖然英國數學家香克斯、法國數學家託洛塔、德國數學家伯利哈特、印度數學家拉曼紐楊和美國數學家吉里斯等都曾分別提出過猜測，但他們的猜測有一個共同點，那就是都以近似表達式提出，並且與實際情況的接近程度均難如人意。
而周氏猜測的精確公式卻很簡潔，即當2^（2^n）＜p＜2^（2^（n+1））時，mp有2^（n+1）－1個是素數。
看起來很簡單是不是？
我上我也行是不是？
然而就這麼一條猜測，至今未被證明或反證，已經成了著名的數學難題，困擾了整個數學界二十多年。
不過這玩意兒就像黎曼猜想一樣，雖然無法被證實，但並不妨礙後人假設他成立，並將它拿來運用。
當然了，即便有了精確的計算公式，即便將尋寶的工作交給了計算機，想要發現梅森素數依舊不是一件容易的事情。
截止到目前（2014年），數學界一共發現44個梅森素數。
至於這梅森素數有什麼用？
好像也沒什麼用。
硬要說的話，rsa算法算一個，每次網購都得感謝隱藏在密碼裡拆解不開的大素數。與此同時，大素數還被用來考驗計算機性能。比如intel檢驗芯片使用的就是gimps程序，skylake芯片也曾由此發現bug。
另外，糾結數學是否有用，其實沒什麼意義。很多時候趨勢數學家行動的動機，並不一定是解開一道算式能獲得多少經濟收益，而是因為它就在那裡。
往大了說，人類不能只有眼前的苟且，還得有詩和遠方。
然而陸舟就不樂意了，他可不想要什麼詩和遠方，他想要的就是眼前的苟且啊！
而且，為什麼偏偏是周氏猜想的證明方法！給我來個黎曼猜想啊！要麼稍微低一檔的比爾猜想也行啊！
拋開學術價值不談，比爾猜想的懸賞已經翻到了一百萬美金，這筆錢將由德克薩斯州知名銀行家比爾本人提供。
至於周氏猜想，嘗試證明的人不少，可好像沒人懸賞這玩意兒。
眼看著一套房子就這麼飛走了，陸舟心情瞬間不美麗了。
不過往好的地方想，即便只是周氏猜想，如果自己能拿把它給證明了，那也是能在數學史上留名的好事兒。至於物質方面的獎勵，雖然沒有關於這個猜測的懸賞，但想來學校方面應該不會虧待自己，至少未來三年的獎學金是穩了的。
畢竟一說到梅森素數，就不得不提到一位偉大的華國數學家，以及他在92年發表的《梅森素數分佈規律》，讓梅森素數變成了一條可以被數學符號表達的公式，也就是國際上慣稱的周氏猜測。
而在此前，雖然英國數學家香克斯、法國數學家託洛塔、德國數學家伯利哈特、印度數學家拉曼紐楊和美國數學家吉里斯等都曾分別提出過猜測，但他們的猜測有一個共同點，那就是都以近似表達式提出，並且與實際情況的接近程度均難如人意。
而周氏猜測的精確公式卻很簡潔，即當2^（2^n）＜p＜2^（2^（n+1））時，mp有2^（n+1）－1個是素數。
看起來很簡單是不是？
我上我也行是不是？
然而就這麼一條猜測，至今未被證明或反證，已經成了著名的數學難題，困擾了整個數學界二十多年。
不過這玩意兒就像黎曼猜想一樣，雖然無法被證實，但並不妨礙後人假設他成立，並將它拿來運用。
當然了，即便有了精確的計算公式，即便將尋寶的工作交給了計算機，想要發現梅森素數依舊不是一件容易的事情。
截止到目前（2014年），數學界一共發現44個梅森素數。
至於這梅森素數有什麼用？
好像也沒什麼用。
硬要說的話，rsa算法算一個，每次網購都得感謝隱藏在密碼裡拆解不開的大素數。與此同時，大素數還被用來考驗計算機性能。比如intel檢驗芯片使用的就是gimps程序，skylake芯片也曾由此發現bug。
另外，糾結數學是否有用，其實沒什麼意義。很多時候趨勢數學家行動的動機，並不一定是解開一道算式能獲得多少經濟收益，而是因為它就在那裡。
往大了說，人類不能只有眼前的苟且，還得有詩和遠方。
然而陸舟就不樂意了，他可不想要什麼詩和遠方，他想要的就是眼前的苟且啊！
而且，為什麼偏偏是周氏猜想的證明方法！給我來個黎曼猜想啊！要麼稍微低一檔的比爾猜想也行啊！
拋開學術價值不談，比爾猜想的懸賞已經翻到了一百萬美金，這筆錢將由德克薩斯州知名銀行家比爾本人提供。
至於周氏猜想，嘗試證明的人不少，可好像沒人懸賞這玩意兒。
眼看著一套房子就這麼飛走了，陸舟心情瞬間不美麗了。
不過往好的地方想，即便只是周氏猜想，如果自己能拿把它給證明了，那也是能在數學史上留名的好事兒。至於物質方面的獎勵，雖然沒有關於這個猜測的懸賞，但想來學校方面應該不會虧待自己，至少未來三年的獎學金是穩了的。