身为数学系的学生，梅森素数是个什么东西，陆舟当然是知道的。

     毕竟一说到梅森素数，就不得不提到一位伟大的华国数学家，以及他在92年发表的《梅森素数分布规律》，让梅森素数变成了一条可以被数学符号表达的公式，也就是国际上惯称的周氏猜测。

     而在此前，虽然英国数学家香克斯、法国数学家托洛塔、德国数学家伯利哈特、印度数学家拉曼纽杨和美国数学家吉里斯等都曾分别提出过猜测，但他们的猜测有一个共同点，那就是都以近似表达式提出，并且与实际情况的接近程度均难如人意。

     而周氏猜测的精确公式却很简洁，即当2^（2^n）＜P＜2^（2^（n+1））时，MP有2^（n+1）－1个是素数。

     看起来很简单是不是？ 我上我也行是不是？ 然而就这么一条猜测，至今未被证明或反证，已经成了著名的数学难题，困扰了整个数学界二十多年。

     不过这玩意儿就像黎曼猜想一样，虽然无法被证实，但并不妨碍后人假设他成立，并将它拿来运用。

     当然了，即便有了精确的计算公式，即便将寻宝的工作交给了计算机，想要发现梅森素数依旧不是一件容易的事情。

     截止到目前（2014年），数学界一共发现44个梅森素数。

     至于这梅森素数有什么用？ 好像也没什么用。

     硬要说的话，RSA算法算一个，每次网购都得感谢隐藏在密码里拆解不开的大素数。

    与此同时，大素数还被用来考验计算机性能。

    比如intel检验芯片使用的就是GIMPS程序，SKYLAKE芯片也曾由此发现BUG。

     另外，纠结数学是否有用，其实没什么意义。

    很多时候趋势数学家行动的动机，并不一定是解开一道算式能获得多少经济收益，而是因为它就在那里。

     往大了说，人类不能只有眼前的苟且，还得有诗和远方。

     然而陆舟就不乐意了，他可不想要什么诗和远方，他想要的就是眼前的苟且啊！ 而且，为什么偏偏是周氏猜想的证明方法！给我来个黎曼猜想啊！要么稍微低一档的比尔猜想也行啊！ 抛开学术价值不谈，比尔猜想的悬赏已经翻到了一百万美金，这笔钱将由德克萨斯州知名银行家比尔本人提供。

     至于周氏猜想，尝试证明的人不少，可好像没人悬赏这玩意儿。

     眼看着一套房子就这么飞走了，陆舟心情瞬间不美丽了。

     不过往好的地方想，即便只是周氏猜想，如果自己能拿把它给证明了，那也是能在数学史上留名的好事儿。

    至于物质方面的奖励，虽然没有关于这个猜测的悬赏，但想来学校方面应该不会亏待自己，至少未来三年的奖学金是稳了的。

     那位大二就证明西塔潘猜想的刘同学，不就是最好的证据吗？据说南大直接给了100万RMB，其中50万作为科研经费，50万用来改善生活。

     金大好歹能排进全国前十，虽然数学系弱了点，可哪怕是为了面子，也不能被十名开外的南大给比下去吧？ 这么一想，陆舟心情稍微好受了点。

     冷静下来后，他把那个证明过程拿出来扫了眼。

     和那瓶标签为【垃圾】的可乐不同，作为【图纸】这一大类的周氏猜想证明法，不是具体呈现在纸张或者电子档上。

    在想要看的时候，只要在心中默念一遍，整套证明步骤就能直接在脑海中浮现。

     “完全看不懂……看来光是吃透这证明过程，就得要一段的时间啊。

    ” 陆舟在心中思索着，该怎么把手头的证明过程顺理成章的拿出来。

     首先，光会背没用，得自己看得懂才行。

     其次，得把自己包装成一个学霸。

     不说别的，你连周氏猜想这种数学难题都解得了，总