天才一秒记住【快眼看书】地址：https://www.nekeye.com
话说回来，一个梅森素数如此麻烦，那么就算林枫提出了一个数是梅森素数，那么会不会验证起来也很麻烦呢？
如果真要验证一个梅森素数也要用时很长，那林枫岂不是想要通过梅森素数搞快钱的思路要崩溃了？
非也，虽然发现一个梅森素数很麻烦。
但如果对於给定的一个数，验证其是不是梅森素数从理论上出发还是要相对简单的。
验证一个数是否为梅森素数一般是有套路的。
首先判断该数是否为素数。
素数是只能被1和它本身整除的正整数，有多种方法可以判断一个数是否为素数，比如试除法、欧拉判別法、费马小定理等。
如果该数是素数，再判断是否满足梅森素数的定义。
判断是否可以表示为2^p-1的形式，其中p是一个素数。
为了判断一个数是否可以表示为2^p-1的形式，可以使用卢卡斯-莱默检验法。
这是一种特殊的测试方法，適用於梅森素数的验证。
呃，好像看起来也不容易的。
不过上述步骤都是用最新的计算机网络来实现。
何况还是用一个超级分布式计算网络来进行验证的。
验证起来並不会很麻烦。
虽然理论上用m74207281、m77232917和m82589533这3组数可以换得75万美元。
但出於稳妥起见，实际执行的时候，林枫也不至於说是一下子就拿出三个来。
从过往发现梅森素数的进度来看：
m74207281（即2^74207281-1），前世於2016年1月被发现。
m77232917（即2^77232917-1），前世於2017年12月被发现。
m82589933（即2^82589933-1），前世於2018年12月被发现。
这玩意正常发现速度是一年发现一个。
甚至在m82589933后好多年都没发现一个。
因此，一下子搞出3个梅森素数显然看起来不是很合理。
从合理性考虑，林枫感觉还是一次性拿出一个是最合適的。
但短时间內，林枫还是对资金很犯愁的。
权衡了一下，林枫决定还是拿出两个最合適。
当然，怎么拿出来也是有策略的，如果加入gimps中进行提交的话。
林枫感觉很可能提出的数据会石沉大海，毕竟在gimps项目中每天都会有海量的新的“梅森素数”
被宣称搞了出来，这种情况下林枫就是提出来新的，核验优先级也不会很高。
想了想，林枫乾脆决定把事情公开化，充分利用现在自己的身份来搞事情。
在刚才进一步融合记忆之后，林枫注意到原身还有个实名认证的推特帐户，虽然並没有什么推文，但身份认证却是普林斯顿大学数学系在读博士。
这刚好符合林枫的需要。
林枫乾脆用这个帐號就发布这样一条简短推文：
“我发现了两个新的梅森素数：2^74207281-1和2^77232917-1。”
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！