金库小说 > 网游小说 > 从大学讲师到首席院士 > 章节目录 第九十四章 这些都是梅森素数!
    gimps论坛,爆了。

    论坛上发布的帖子內容,都和新发现的梅森素数有关。

    每个人都在討论著。

    所有的消息都离不开『新梅森素数』、『连续发现两个梅森素数』、『中国志愿者王浩』等关键词和內容。

    每一个了解梅森素数、了解发现检测机制的人,都感觉非常的不可思议。

    从gimps成立到现在,20多年的时间里,也只找到了17个梅森素数,其中有14个都是在10年以前发现的,近十年也只找到了3个梅森素数。

    这是因为越往后的梅森数,检测和计算量就会越大,千万位梅森数和百万位梅森数,检测需求上当然不是同一个级別。

    计算机硬体的发展速度非常快,几年就会有一次更新换代,但依旧远远赶不上梅森数检测需求的膨胀速度。

    现在每检测一个梅森数,都需要普通电脑运行几个月时间,gimps参与者用个人电脑完成几个梅森数的检测,就已经很了不起,更不用说找到梅森素数了。

    但是,这位来自中国的志愿者王浩,却在短短一个星期之內就找到了两个梅森素数。

    gimps论坛的成员们,首先排除了黑客入侵的因素,他们中很多都是数学家、计算机专家,只看一下网站情况,就知道並没有黑客入侵跡象,正常情况下,也不会有黑客去入侵信息全部公开的分布式计算网络。

    那没有任何意义。

    网站、软体错误也可以排除,因为有负责人站出来,说明网站、软体没有任何错误。

    「网站上显示新梅森素数的消息,是软体检测信息自动上报、自动更新的信息。」布洛瑟负责网站维护、软体更新,他看到了信息也感到很不可思议,还是发了个帖子做出澄清。

    布洛瑟的说明也彻底排除了出错的可能,换句话说,显示的新梅森素数很可能是真的。

    好多人都感到不能接受。

    人的运气怎么能好到这个地步呢?

    有人发帖指出,「这位来自中国的王浩是一个数学家,而且是有一定名气的,我查了一下,他在国际会议上,完成的阿廷常数证明很有影响力,会不会是他破解了梅森素数的奥秘,知道哪些会是梅森素数?」

    下面顿时有好几个数学家站出来反驳,「这是不可能的,梅森素数没有规律。」

    「我寧愿相信他是运气好,也不相信他能够破解梅森素数的规律。」

    「连续找到梅森素数是有可能的,但找到梅森素数的规律是绝对不可能的。我从事数学研究二十多年,对梅森素数非常的了解,这一类数在梅森数中,就像是普通素数在数字中一样,根本就不可能有固定出现的规律。」

    论坛上许多人针对的討论起来。

    柯蒂斯-库珀同样是个数学家,他也对此发表了自己的看法,「我也认为不可能。这是运气,但也有他对梅森数的了解因素。」

    后者很关键。

    找到梅森素数的人中有牙医、快递员,或者其他什么人,但大部分还是数学家、计算机专家。

    柯蒂斯-库珀也发现过梅森素数,他就是依靠自己对於数学的了解,筛选出了一部分数字,自定义做分析检测。

    其他梅森素数的发现,也多是通过自定义检测找到的,只有完全不懂的外行人,或者只是利用程序做系统压力测试,才会依照系统所分配的数字去做检测。

    柯蒂斯-库珀的说法贏得了不少数学家、计算机专家的支持,但同时他们也依旧认为,王浩的运气实在好到了爆炸。

    即便对梅森数有很深入的研究,但要知道梅森素数在梅森数中是非常稀少的。

    比如,一千万以下的质数有六十六万四千五百多个,以它们为『指数』对应的梅森数中,就只有三十八个是梅森素数,机率连万分之一都不到。

    如果是筛选五千万以上的素数做检测,对应梅森素数出现的概率就更低,几十万个数只有两、三个,甚至可能完全没有。

    这个机率,说是大海捞针一点都不为过。

    另一边,西海大学的夜。

    计算机实验楼顶层忽然传出了一声呼喊,「啊~~~」

    楼里的几个人赶紧到中心实验室查看,就见到了兴奋状態中的张志强,「你们来了,快来看!新的梅森素数,找到了!」

    「我刚才都已经睡著了,正好梦见找到了梅森素数,就过来看一眼,没想到还真找到了!」

    「这是第二个了!」

    张志强顶著通红的双眼兴奋的说著,其他人都能够理解他的情绪,想找一个梅森素数实在太难了,结果一个星期內找到了两个。

    虽然不是张志强的成果,但他也算是贡献第二人了。

    其他人也兴奋的谈论起来,「第二个梅森素数了,这下可真是了不起了。」

    「估计明天舆论会炸!」

    「这次我们计算机实验室,绝对是大出风头了,不只是国內,国际都会很知名!」

    「你们看看,gimps论坛已经疯了,都在说这个话题。」

    他们討论著干脆留在了计算机实验室,一直蹲守在那里,等待著第二天的到来,仿佛是怕数字长腿跑了一样。

    早上的时候,已经有媒体注意到消息开始报导了。

    多数报导有些不確定,「西海大学王浩教授,疑似找到了两个梅森素数。」

    「gimps出现了震撼消息,一星期之內,疑似检测到两个梅森素数,发现人都是西海大学的王浩教授。」

    「这是错误,还是真实信息?gimps宣布对第二个梅森素数进行检测……」

    这件事甚至上了网络热搜,舆论比上一次还要火爆。

    之前发现了一个梅森素数,就是寻找梅森素数的一个进展,只一个星期时间內,又发现了新的梅森素数,发现人依旧是王浩,事情就变得很不一般了。

    同一个人找到两个梅森素数,歷史上也是有发生的。

    比如,第43和第44个梅森素数,就都是同一团队使用gimps发现的,但中途时间间隔也长达九个月时间。

    现在只是一个星期內,快速发现两个梅森素数,已经超出了『正常范畴』。

    有人提出是否是进行了覆盖运算。

    有专业的计算机专家,当即站出来指出,「即便是使用高性能的超算,对於六千万到七千万区间指数对应梅森数进行覆盖检测,需要的时间也会长达10万个小时以上。」

    「显然,那是不可能的。」

    於是舆论都关注起了西海大学,关注起发现两个梅森素数的王浩。

    早上八点钟,王浩准时来到了计算机实验室。

    他提前知道了发现第二个梅森素数,但也並不感到意外,只是过去转了一圈,和几个熟悉的人谈了几句,记下了具体数字以后,就赶紧去工作间做验证。

    王浩已经塑造好了两个函数。

    一个是验证函数,可以代入素数计算坐標,另一个是判定函数,可以判定坐標是否在区域內或边缘线上,前者说明『是梅森素数的机率大』,后者则说明『一定是梅森素数』。

    在代入新发现的梅森素数后,很遗憾的是,对应函数的坐標,出现在了判定函数覆盖范围內,却没有出现在判定函数覆盖区域的边缘线上。

    「看来还是要用计算机手段做验证,接下来的工作,数学研究已经解决不了了。」

    王浩思考著开始写起了程序,他要做一个『函数验证』的程序,就是把一个个指数代入到函数中,计算它们所对应的梅森数所对应的坐標,是否在判定函数覆盖的区域內。

    因为两个函数都比较复杂,程序设计起来也很不容易。

    好在王浩自己塑造的函数,对代入数值后的求解方法很了解,他用了一个上午的时间,终於完成了程序所有的设计。

    然后他去了中心实验室。

    这时候,中心实验室依旧非常热闹,不止是计算机实验室的人,还有其他学院的人过来,学校好几个领导都过来一趟,特別关注了一下发现梅森素数问题,他们知道王浩在忙著研究什么,也没有过去打扰。

    楼道里。

    陈庆华、朱建荣以及欒海平正站在一起,討论著学校发布公告信息的事情。

    陈庆华想让朱建荣擬稿的时候,多提起计算机实验室,最好是对王浩的所属进行『模糊处理』,让看到消息的人,以为王浩就是计算机实验室的研究院、计算机学院的教授。

    旁边,欒海平黑著脸听著,恶狠狠的眼神似乎透露著,都有种把陈庆华掐死的冲动,他不断的反对著,「王浩是理学院的教授,就算不谈学院,也不能说他是计算机学院的啊?这不等於是骗人吗?」

    「什么骗人?」

    陈庆华马上质问三连,「王浩是不是一直在计算机实验室?两个梅森素数是不是在计算机实验室发现的?所以发布的成果公告上写,计算机实验室的王浩教授,能有什么问题?」

    「额~~~」

    王浩走过来站在旁边。

    陈庆华注意到王浩顿时有点尷尬,马上道,「王浩也来了,我就直白的说,我们不是要把他挖到计算机实验室,而是,针对这个成果,是在我们计算机实验室完成的,公告谈什么理学院也没有意义,对吧?」

    「怎么没意义?很有意义,理学院也需要……」欒海平立刻进行了反驳。

    王浩倒是对什么计算机学院、理学院不感兴趣,反正只是学校的一条公告而已,他干脆完全当做没看见,轻飘飘的从旁边走了过去。

    他是来找张志强的。

    张志强依旧顶著通红的双眼,从凌晨三点到现在,他就一直没有休息过。

    王浩劝了一句,「赶紧回去睡一觉,找到梅森素数值得高兴,但也別这样啊……」

    「放心吧,还能坚持!」

    张志强满是不在意的说道,他確实感到非常疲惫,也想著一会去办公室眯一会儿。

    现在还有事。

    「把检测程序停下来,先计算这个……」

    王浩把写好的代码,拷贝到了电脑里,简单解释道,「这是对梅森数的筛选程序,可以说就是对之前程序的优化,也许会变得更精准吧。」

    他有些不確定。

    在结果没有百分之百出来之前,他也不敢说自己做的研究就是正確的。

    张志强顿时重新打起精神,停掉了一直在运行的检测程序,开始执行刚拷贝的代码。

    一亿以下的质数作为数据录入,输出端则有三个文件。

    第一个文件记录的是处在判定函数边缘线的『指数p』以及对应坐標。

    第二个文件记录的是,处在判定函数覆盖范围內的『指数p』、对应坐標以及到边缘线的最近距离。

    第三个文件,则是剩余被排除的素数、对应坐標,以及到边缘线的最短距离。

    函数比较复杂、程序也比较复杂,需求的计算量就非常庞大,即便是以现有的计算能力,全部执行完也需要三个小时以上。

    张志强被推著去休息了。

    王浩干脆等在了电脑前,一直看著程序执行,等待著输出结果。

    ……

    下午两点钟,陈庆华和朱建荣一起到中心实验室,找到王浩並递给他一份手写的公告。

    「我们討论来討论去,还是想著让你看看,你是当事人,看这份公告怎么样?」

    「你说行,我们就发了。」陈庆华很认真的看向王浩,公告里面说的是『王浩教授在计算机实验室工作,並连续找到了两个梅森素数』。

    这个模糊的说法,听起来好像是说,王浩就是计算机实验室的研究员。

    王浩对此並不在意,他只是扫了一眼,把手写公告扔在旁边,开口道,「陈院长,朱主任,先別急著发公告,只是两个梅森素数而已。」

    「……而已?」陈庆华满眼不解。

    朱建荣也用力扯了扯嘴角,发现两个梅森素数,还只是『而已』,口气也太大了吧?

    王浩没理会他们的反应,而是打开了电脑中的一个文件,上面记录了十一个数字,其中有八个標准红色字体,剩下的三个则还是黑色。

    他指著三个黑色的数字,认真道,「这三个,作为梅森数的指数,验证一下。」

    「如果不出意外,应该都是梅森素数。」

    </p>

    </br>

    </br>