第8章 夫目前？(第2页)

 在数学界往往存在着这样的基本共识：

 ——数论是最纯粹的数学、数论才是数学的初心。

 在这样的共识存在的情况下，对素数的研究就成为了数学界的“政治正确”。

 而梅森素数与数论割不断的关系。

 也使得探索梅森素数天然就拥有很强的使命感。

 更有一些数学家还认为解决梅森素数猜想的过程中，可能诞生新学科、新数学思想方法。

 此外梅森素数发掘的进展，也被认为是一个国家计算机的发展程度和功能的先进性的标志。

 数论问题中有许多关于素数的问题，在吸引人们去探索的同时，又在磨砺着人类的智慧。

 英国顶尖科学家马科斯·索托伊甚至认为，梅森素数的研究进展，标志着科学发展的里程碑。

 值得一
提的是，在探索梅森素数奥秘的一众科学家中，我国数学家、语言学家周海中是梅森素数方面研究的领先者。

 周老先生运用联系观察法和不完全归纳法，于1992年2月首次给出了梅森素数分布的精确表达式，为人们寻找这一素数提供了方便。

 小主，这个章节后面还有哦，请点击下一页继续阅读，后面更精彩！

 后来，这一重要成果被国际上命名为“周氏猜测”。

 国际着名科普杂志《科学美国人（中文版）》2000年第6期刊登的一篇评论文章指出，“周氏猜测”是梅森素数研究中的一项重大突破。

 美籍挪威数论大师、菲尔茨奖和沃尔夫奖得主阿特勒·塞尔伯格认为：“‘周氏猜测’具有创新性，开创了富于启发性的新方法，其创新性还表现在揭示新的规律上。”

 为什么要登山？

 因为山就在那里。

 同样的道理，为什么要追寻梅森素数的发掘？

 也是因为同样的理由。

 无论去不去刻意发掘，更大的梅森素数也注定是存在的。

 套用国际着名数学家希尔伯特说的话：“我们必须知道，我们必将知道。”

 寻找梅森素数的大道，就是一条不断追寻真理发掘真相的必然之路。

 不过林枫没想这么多高大上的东西。

 对于林枫来说这些都不重要了，现在林枫满脑子搞钱搞钱还得是搞钱。

 只有不为物质发愁的情况下，才能谈星辰大海。

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

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

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

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

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

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

 素数是只能被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月被发现。

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