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