第八十八章 我真的不懂人工智能！(2/6)

件的主要功能是进行分布式处理和计算统计，实际上，内部对于梅森素数的检验算法是非常简单的，针对一个数字的验证，就是采用卢卡斯-莱默检验法。卢卡斯-莱默检验法，是针对梅森数的素性检验，由爱德华-卢卡斯于1878年制定的，五十年后，德里克-亨利-莱默对于方法进行了改进完善。这个针对梅森素数的素性检验方法已经非常简化。利用卢卡斯-莱默检验法，验证梅森数‘Mn=2的n次方-1’是否是素数，只需要让程序循环运行‘n-2次’就够了。当然，因为牵扯到千万位的超大数，每一次循环的计算量还是很高的，但针对千万位超大数的素性检验，已经可以说是简化到了极致。比如，家用普通电脑，运行一百个小时左右，就可以检测出一个千万位梅森数的素性。这种速度相当惊人。正因为如此，一直到现在快要百年时间，针对梅森数的素性检验，使用的依旧是卢卡斯-莱默检验法。卢卡斯-莱默检验法的内容，只要看一眼就能明白过来，方法没有什么难度可言。正因为方法太过于简单，想改善就显得无从下手。比如，普通的加法，方法已经足够简单，还怎么去改善呢？王浩仔细思考了一下，也根本是无从下手，但研究肯定是有方向的，针对单个素数的检验方法无法突破，也能够在检验数字筛选上做突破。但是，他仔细想了很久，还是找不到方向，只能慢慢看看能不能有什么灵感。……第二天早上，王浩早早的爬起来去晨跑。生活节奏回归了以往的规律，锻炼也碰到了熟悉的人。苏映雪。她依旧是那副运动打扮，也依旧显得英姿飒爽。王浩和苏映雪一起跑了两圈，顺便说了几句话，才知道对方是准备长期驻扎西海市了。“我负责跟进纳微实验室的项目。”苏映雪简单的一句解释，透露出了很多信息，她力主和纳微实验室进行合作，直接负责项目的跟进，肯定是对项目非常重视的。如果纳微实验室的项目长期没有进展，对苏映雪个人的事业也许造成一些影响。“我记得说过，建议你们和纳微实验室合作。”王浩笑道，“肯定不会后悔。”“我相信你。”苏映雪看着王浩的眼睛，很认真的点头。王浩和苏映雪说了几句，又坚持跑了两圈，感到有些疲惫就离开去吃早饭了。豆浆、油条，外加一个茶叶蛋，经典搭配，美滋滋的吃着补充着消耗的体力。一天又开始了。有个披着线衣、笑的很