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

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

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

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

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

素数是只能被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。”

并同时艾特了相关单位。

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

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

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

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

首个超过1000万位的梅森素数就是由该校的计算机专家埃德森·史密斯发现的。

这个梅森素数有位数，如果用普通字号将这个超大素数连续打印下来，它的长度可超过50公里！

这一成就还被美国的《时代》杂志评为当年“50项最佳发明”之一，排名在第29位。

发现者史密斯当然也赢得了由电子新领域基金会颁发的大奖。

此外，林枫还艾特了美国中央密苏里大学数学教授柯蒂斯·库珀，这是之前一个梅森素数的发现者。

其实艾特柯蒂斯·库珀之后林枫是有点后悔的，这纯属手滑艾特错了。

毕竟按照历史进度，新的M这个梅森素数也是此人发现的。

而林枫这个举动颇有种夫目.前犯的感觉？

呃，不过都已经发出推文了，林枫也没有再撤回的道理。

就像微博上总是有很多喜欢键证的人一样。

推特上也有很多云数学家，这些人对于一些高大上的数学知识望而却步。

但对于数论这种看上去我上我也行的数学内容总会重拳出击。

林枫这条推文才发出去没多久，就引来了很多阴阳怪气的评论。

“……普林斯顿在读博士？真的假的。”

“普林斯顿的博士期间还是太清闲啊，还有时间搞点梅森素数当副业？”

“高手，高手！不愧是普林斯顿数学系大佬，一次就发现两个梅森素数？”

“一次发现一个梅森素数我还勉强将信将疑？一次发现两个梅森素数，恕我直言，我一个都不信，除非你是刚从未来穿越回来。”

“兄弟，这年头连发现梅森素数都这么卷了吗？一次两个？你确定你这两个都对？还艾特了一堆人，真是把自家底裤给亮出来了。”

“……”

林枫看着这些阴阳怪气的评论，无动于衷。

对于一个常年在微博贴吧跟水友“友好互动”的人来说，这种程度的嘴炮，段位太低，林枫理都懒得理。

反之，林枫还挺开心的。

有这些人从这嘴炮，热度一会就起来。

热度发酵起来后，估计要不了多久就会被GIMPS和电子新领域基金会注意到。

林枫只感觉五十万美元已经在向自己招手了。

事实也印证了林枫的猜测。