而梅森素数与数论割不断的关系。
也使得探索梅森素数天然就拥有很强的使命感。
更有一些数学家还认为解决梅森素数猜想的过程中，可能诞生新学科、新数学思想方法。
此外梅森素数发掘的进展，也被认为是一个国家计算机的发展程度和功能的先进性的标志。
数论问题中有许多关于素数的问题，在吸引人们去探索的同时，又在磨砺着人类的智慧。
英国顶尖科学家马科斯·索托伊甚至认为，梅森素数的研究进展，标志着科学发展的里程碑。
值得一提的是，在探索梅森素数奥秘的一众科学家中，我国数学家、语言学家周海中是梅森素数方面研究的领先者。
周老先生运用联系观察法和不完全归纳法，于1992年2月首次给出了梅森素数分布的精确表达式，为人们寻找这一素数提供了方便。
后来，这一重要成果被国际上命名为“周氏猜测”。
国际着名科普杂志《科学美国人（中文版）》2000年第6期刊登的一篇评论文章指出，“周氏猜测”是梅森素数研究中的一项重大突破。
美籍挪威数论大师、菲尔茨奖和沃尔夫奖得主阿特勒·塞尔伯格认为：“‘周氏猜测’具有创新性，开创了富于启发性的新方法，其创新性还表现在揭示新的规律上。”
为什么要登山？
因为山就在那里。
同样的道理，为什么要追寻梅森素数的发掘？
也是因为同样的理由。
无论去不去刻意发掘，更大的梅森素数也注定是存在的。
套用国际着名数学家希尔伯特说的话：“我们必须知道，我们必将知道。”
寻找梅森素数的大道，就是一条不断追寻真理发掘真相的必然之路。
不过林枫没想这么多高大上的东西。
对于林枫来说这些都不重要了，现在林枫满脑子搞钱搞钱还得是搞钱。
只有不为物质发愁的情况下，才能谈星辰大海。
话说回来，一个梅森素数如此麻烦，那么就算林枫提出了一个数是梅森素数，那么会不会验证起来也很麻烦呢？
如果真要验证一个梅森素数也要用时很长，那林枫岂不是想要通过梅森素数搞快钱的思路要崩溃了？
非也，虽然发现一个梅森素数很麻烦。
但如果对于给定的一个数，验证其是不是梅森素数从理论上出发还是要相对简单的。
验证一个数是否为梅森素数一般是有套路的。
首先判断该数是否为素数。
素数是只能被1和它本身整除的正整数，有多种方法可以判断一个数是否为素数，比如试除法、欧拉判别法、费马小定理等。
如果该数是素数，再判断是否满足梅森素数的定义。
判断是否可以表示为2p-1的形式，其中p是一个素数。
为了判断一个数是否可以表示为2p-1的形式，可以使用卢卡斯-莱默检验法。
这是一种特殊的测试方法，适用于梅森素数的验证。
呃，好像看起来也不容易的。
不过上述步骤都是用最新的计算机网络来实现。
何况还是用一个超级分布式计算网络来进行验证的。
验证起来并不会很麻烦。
虽然理论上用m、m和m这3组数可以换得75万美元。
但出于稳妥起见，实际执行的时候，林枫也不至于说是一下子就拿出三个来。
从过往发现梅森素数的进度来看：
m(即2-1)，前世于2016年1月被发现。
m(即2-1)，前世于2017年12月被发现。
m(即2-1)，前世于2018年12月被发现。
这玩意正常发现速度是一年发现一个。