第(2/3)页

    省电视台对于新闻很重视，但实际上，并没有引起多少波澜，因为有好多媒体已经做出了报道，王浩也不是第一次接受采访。

    不过有些关注的人，看了报道以后，很快抓住了重点。

    “王浩正在研究梅森素数。”不少人都感觉很可惜。

    有人甚至在网上评论说，“王浩去研究梅森素数了，又一个数学天才要消失了。”

    “看看那些以往的数学天才，能在数论领域有一个成果就很了不起了，继续研究也不会再有成果。”

    “王浩应该向陶哲轩大神学习，不要碰数论，不要碰数论。”

    “我记得陶哲轩有一次接受采访，说准备要研究孪生素数猜想，结果没过多久，就有人完成了弱化孪生素数猜想的证明……幸运伴随着他。”

    “……”

    王浩可没心情关注舆论问题，他接受完采访以后，马上回到计算机实验室，和张志强一起对于整个程序进行最后的完善。

    又是一天时间。

    一直等到了第二天的下午，他们确定程序已经完善，可以放进电脑里正常运行了。

    他们简单商量一下，直接找到陈庆华院长，申请使用新购置的两台大型服务器。

    计算机实验室最新购置了两台服务器，花费了八百万的经费，说白了就是一大堆的处理器、硬盘等硬件集合，计算能力是相当强的，每一台服务器的计算能力，要超过三百台以上的万元台式电脑。

    这两台服务器是准备当做计算机实验室的核心设备使用的。

    陈庆华听到他们申请使用服务器，最开始是有些犹豫的，他们做进行的不是计算机实验室的项目，而且最主要是，他不认为一群人编写个程序就能找到梅森素数。

    但仔细考虑了一下以后，他还是同意了。

    陈庆华主要考虑对象是王浩，张志强根本不在照顾的范围内，王浩可是顶级的算法专家，而且就在西海大学工作，即便只为了交好王浩，让他们用一下服务器也没关系。

    他很大方的同意了，还出具了一个同意使用说明，把具体使用情况写出来签字盖章。

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

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

    这次可以试试了。

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

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

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

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

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

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

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

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

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

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

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

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

    第三个文件则包含0.05到0.1%的素数。

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

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

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

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

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

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

    “……这么慢？”

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

    “好吧。”

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

    “差不多。”

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