第九十一章 发现新的梅森素数（1 / 2）

计算机实验室的博士生、研究生们完成工作的速度比预想的快，他们有的在。

计算机实验室的服务器是属于实验室的公共财产，也是学校为了发展实验室拨款购买的，可不像是普通电脑一样想用就用。

张志强拿到了使用权以后，顿时非常兴奋的带着王浩过去了，他一直对两台服务器心心念念，但因为手头上没有需要使用服务器的项目，很遗憾根本就没有用过。

这次可以试试了。

两台新的服务器是在所谓的中心实验室，其实就是六层的会议室改造出来的。

他们打开电脑把程序录入，在强大的硬件支持下，让程序快速运行起来。

同时，一个个数据也都输出到文件里，并进行了分类。

这个程序输入的数值是6000万以上的数字，可以快速检测中其中的素数，并进入到真正的分析程序中，输出的则是‘素数’以及‘对应梅森数是梅森素数的概率’。

概率，是一个程序的判定数据。

最高的概率设定是百分之十，最低的概率则只有001，绝大部分输出的素数对应的都是001。

但是判定的准确率并不是那么高，比如，已知的第49个梅森素数，74207281，程序判定是素数的概率只有8左右。

第50个，77232917，概率则为6左右。

帕德里克-罗什找到的第51个梅森素数，82589933，判定的概率也不到9。

虽然程序判定的不是那么准确，但显然几个数字对比其他数字判定的概率要大的多。

程序输出的第一个文件里就包含了所有概率在1以上的素数以及判定概率。

第二个文件则包含01到1的素数。

第三个文件则包含005到01的素数。

其他素数就被放弃，输出到最后一个文件里。

“我们先检测一亿以下的数字。”王浩进行了设定。

张志强则是在编写程序，把输出文件一对接pri软件的自定义入口，以便实现让‘文件一’的素数，可以输入到自定义检测中。

这样就不用一直盯着程序，去一个个进行输入cao作。

王浩仔细打量着服务器主机，好奇的问道，“我们用这两台服务器，给一个几千万位数字做素性检测，算一个数大概要多久时间？”

“这个不一定。”张志强道，“如果快的话，几秒钟就够了，比如，这个数能够直接被很小的整除，比如3，7，但只是极端的特例，大部分还是要用卢卡斯-来默检验法，一直检测到最后，快的话也需要超过十个小时。”

“……这么慢？”

“这已经很快了。”张志强用力的咧咧嘴，那可是千万位的数字，计算量简直超出想象，只需要十个小时的速度已经很快了，若不是有卢卡斯-来默检验法，想检测出来根本是不可能的。

“好吧。”

王浩抿了抿嘴点头道，“所以我们接下来就是等着？让它慢慢运行吧，按照这个速度来说，计算完第一个文件，最少也要一个月以上吧？”

“差不多。”

张志强计算了下时间，觉得应该和陈院长再说一下，服务器用一下倒是没关系，但是连续使用一个月，似乎就有点儿过分了。

“算了，明天再去吧！”他想着还是摇了摇头。

……

王浩和张志强到外面简单吃了个饭，还约定第二天去实验室，给参与的学生们发钱。

然后就休息了。

连续忙碌了好几天，王浩也感到非常的疲惫，填饱了肚子回到家里，躺在床上就睡了过去。

十个小时后。

地球对面。

密苏里中央大学数学家柯蒂斯-库珀，结束了忙碌的一天工作后，就去了计算机房，例行的打开gips开放信息查看数据。

柯蒂斯-库珀是第四十九个梅森素数的发现者，当时他已经加入了梅森素数电子前沿基金会有七年时间。

自从十年前开始，他就一直致力于协调推广gips，希望能有更多志愿者加入进来。

现在只要正常来上班，柯蒂斯-库珀结束一天工作后，就会到计算机房的电脑上看一看。

gips是分布式的开放网络，信息全部是对外公开的，任何人登陆都可以查看。

显示的内容包括‘哪些数字已经被检测完毕’、‘有多少个cpu参与了计算’、‘用户在线人数’、‘总计计算时长是多少’等等。

当然也少不了‘最新验证的梅森素数’。

对于最后一种信息，柯蒂斯-库珀根本就没考虑，他认为下一个梅森素数，最少还要等上两年以上时间，因为到现在来说，每一个数字的计算量都太大了，志愿者个人的电脑，想验证一个数字需要很长很长时间，而无法做一个数字的完全检验，就代表检测会成为无用功，因为没完成的检测，根本就不会上报。