第九十一章 发现新的梅森素数!(第2/4页)

北疆省不是学术大省,很少出现非常知名的学者,即便是北疆上出身的学者,好多都去了东部沿海城市,或者干脆就去了国外。

简单来说,北疆省留不住顶尖人才。

现在西海大学出现了一个年轻数学教授,完成了世界顶级的数论成果,绝对值得大书特书。

省电视台把采访的整个过程当做科学节目来播出,还节选了其中的片段作为新闻播放。

同时,省电视台所属的网络新闻媒体、微薄,也都刊载相关的报道并发布出去。

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

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

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

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

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

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

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

“……”

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

又是一天时间。

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

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

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

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

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

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

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

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

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

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

这次可以试试了。

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

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

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

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

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

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

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

第50个,M77232917,概率则为6%左右。

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

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

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

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

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

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

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

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

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

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