第六章 一道证明题的答案（1/5）

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

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

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

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

看起来很简单是不是？

我上我也行是不是？

然而就这么一条猜测，至今未被证明或反证，已经成了著名的数学难题，困扰了整个数学界二十多年。

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

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

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

至于这梅森素数有什么用？

好像也没什么用。

硬要说的话，rsa算法算一个，每次网购都得感谢隐藏在密码里拆解不开的大素数。与此同时，大素数还被用来考验计算机性能。比如tel检验芯片使用的就是gis程序，skyke芯片也曾由此发现。

另外，纠结数学是否有用，其实没什么意义。很多时候趋势数学家行动的动机，并不一定是解开一道算式能获得多少经济收益，而是因为它就在那里。