四四中文网

手机浏览器扫描二维码访问

第8章 夫目前（第3页）

话说回来，一个梅森素数如此麻烦，那么就算林枫提出了一个数是梅森素数，那么会不会验证起来也很麻烦呢？

如果真要验证一个梅森素数也要用时很长，那林枫岂不是想要通过梅森素数搞快钱的思路要崩溃了？

非也，虽然发现一个梅森素数很麻烦。

但如果对于给定的一个数，验证其是不是梅森素数从理论上出发还是要相对简单的。

验证一个数是否为梅森素数一般是有套路的。

首先判断该数是否为素数。

素数是只能被1和它本身整除的正整数，有多种方法可以判断一个数是否为素数，比如试除法、欧拉判别法、费马小定理等。

如果该数是素数，再判断是否满足梅森素数的定义。

判断是否可以表示为2^p-1的形式，其中p是一个素数。

为了判断一个数是否可以表示为2^p-1的形式，可以使用卢卡斯-莱默检验法。

这是一种特殊的测试方法，适用于梅森素数的验证。

呃，好像看起来也不容易的。

不过上述步骤都是用最新的计算机网络来实现。

何况还是用一个超级分布式计算网络来进行验证的。

验证起来并不会很麻烦。

虽然理论上用m、m和m这3组数可以换得75万美元。

但出于稳妥起见，实际执行的时候，林枫也不至于说是一下子就拿出三个来。

从过往发现梅森素数的进度来看：

m（即2^-1），前世于2016年1月被发现。

m（即2^-1），前世于2017年12月被发现。

m（即2^-1），前世于2018年12月被发现。

这玩意正常发现速度是一年发现一个。

甚至在m后好多年都没发现一个。

因此，一下子搞出3个梅森素数显然看起来不是很合理。

从合理性考虑，林枫感觉还是一次性拿出一个是最合适的。

但短时间内，林枫还是对资金很犯愁的。

权衡了一下，林枫决定还是拿出两个最合适。

当然，怎么拿出来也是有策略的，如果加入GImpS中进行提交的话。

林枫感觉很可能提出的数据会石沉大海，毕竟在GImpS项目中每天都会有海量的新的“梅森素数”

被宣称搞了出来，这种情况下林枫就是提出来新的，核验优先级也不会很高。

想了想，林枫干脆决定把事情公开化，充分利用现在自己的身份来搞事情。

在刚才进一步融合记忆之后，林枫注意到原身还有个实名认证的推特账户，虽然并没有什么推文，但身份认证却是普林斯顿大学数学系在读博士。

这刚好符合林枫的需要。

林枫干脆用这个账号就发布这样一条简短推文：

“我发现了两个新的梅森素数：2^-1和2^-1。”