如果真要验证一个梅森素数也要用时很长，那林枫岂不是想要通过梅森素数搞快钱的思路要崩溃了？
非也，虽然发现一个梅森素数很麻烦。
但如果对于给定的一个数，验证其是不是梅森素数从理论上出发还是要相对简单的。
验证一个数是否为梅森素数一般是有套路的。
首先判断该数是否为素数。
素数是只能被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和电子新领域基金会注意到。
林枫只感觉五十万美元已经在向自己招手了。
事实也印证了林枫的猜测。
