第8章 夫目前？

形式，可以使用卢卡斯-莱默检验法。

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

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

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

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

验证起来并不会很麻烦。

虽然理论上用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。”

并同时艾特了相关单位。

肯定得艾特GIMPS项目组以及漂亮国电子新领域基金会，毕竟这些是发报酬的机构。

还得艾特普林斯顿数学系官推，毕竟要扯虎皮做大旗。

此外林枫还艾特了加州大学洛杉矶分校。

在林枫印象中，加州大学洛杉矶分校对梅森素数的研究挺感兴趣的。

本章未完，请点击下一页继续阅读！ 第4页 / 共6页