麻烦。
但如果对于给定的一个数，验证其是不是梅森素数从理论上出发还是要相对简单的。
验证一个数是否为梅森素数一般是有套路的。
首先判断该数是否为素数。
素数是只能被1和它本身整除的正整数，有多种方法可以判断一个数是否为素数，比如试除法、欧拉判别法、费马小定理等。
如果该数是素数，再判断是否满足梅森素数的定义。
判断是否可以表示为2p-1的形式，其中p是一个素数。
为了判断一个数是否可以表示为2p-1的形式，可以使用卢卡斯-莱默检验法。
这是一种特殊的测试方法，适用于梅森素数的验证。
呃，好像看起来也不容易的。
不过上述步骤都是用最新的计算机网络来实现。
何况还是用一个超级分布式计算网络来进行验证的。
验证起来并不会很麻烦。
虽然理论上用、和这3组数可以换得75万美元。
但出于稳妥起见，实际执行的时候，林枫也不至于说是一下子就拿出三个来。
从过往发现梅森素数的进度来看：
(即2-1)，前世于2016年1月被发现。
(即2-1)，前世于2017年12月被发现。
(即2-1)，前世于2018年12月被发现。
这玩意正常发现速度是一年发现一个。
甚至在后好多年都没发现一个。
因此，一下子搞出3个梅森素数显然看起来不是很合理。
从合理性考虑，林枫感觉还是一次性拿出一个是最合适的。
但短时间内，林枫还是对资金很犯愁的。
权衡了一下，林枫决定还是拿出两个最合适。
当然，怎么拿出来也是有策略的，如果加入gips中进行提交的话。
林枫感觉很可能提出的数据会石沉大海，毕竟在gips项目中每天都会有海量的新的“梅森素数”被宣称搞了出来，这种情况下林枫就是提出来新的，核验优先级也不会很高。
想了想，林枫干脆决定把事情公开化