论坛上许多人针对的讨论起来。
柯蒂斯-库珀同样是个数学家,他也对此发表了自己的看法,“我也认为不可能。这是运气,但也有他对梅森数的了解因素。”
后者很关键。
找到梅森素数的人中有牙医、快递员,或者其他什么人,但大部分还是数学家、计算机专家。
柯蒂斯-库珀也发现过梅森素数,他就是依靠自己对于数学的了解,筛选出了一部分数字,自定义做分析检测。
其他梅森素数的发现,也多是通过自定义检测找到的,只有完全不懂的外行人,或者只是利用程序做系统压力测试,才会依照系统所分配的数字去做检测。
柯蒂斯-库珀的说法赢得了不少数学家、计算机专家的支持,但同时他们也依旧认为,王浩的运气实在好到了爆炸。
即便对梅森数有很深入的研究,但要知道梅森素数在梅森数中是非常稀少的。
比如,一千万以下的质数有六十六万四千五百多个,以它们为‘指数’对应的梅森数中,就只有三十八个是梅森素数,几率连万分之一都不到。
如果是筛选五千万以上的素数做检测,对应梅森素数出现的概率就更低,几十万个数只有两、三个,甚至可能完全没有。
这个几率,说是大海捞针一点都不为过。
另一边,西海大学的夜。
计算机实验楼顶层忽然传出了一声呼喊,“啊~~~”
楼里的几个人赶紧到中心实验室查看,就见到了兴奋状态中的张志强,“你们来了,快来看!新的梅森素数,找到了!”
“我刚才都已经睡着了,正好梦见找到了梅森素数,就过来看一眼,没想到还真找到了!”
“这是第二个了!”
张志强顶着通红的双眼兴奋的说着,其他人都能够理解他的情绪,想找一个梅森素数实在太难了,结果一个星期内找到了两个。
虽然不是张志强的成果,但他也算是贡献第二人了。
其他人也兴奋的谈论起来,“第二个梅森素数了,这下可真是了不起了。”
“估计明天舆论会炸!”
“这次我们计算机实验室,绝对是大出风头了,不只是国内,国际都会很知名!”
“你们看看,gips论坛已经疯了,都在说这个话题。”
他们讨论着干脆留在了计算机实验室,一直蹲守在那里,等待着第二天的到来,仿佛是怕数字长腿跑了一样。
早上的时候,已经有媒体注意到消息开始报道了。
多数报道有些不确定,“西海大学王浩教授,疑似找到了两个梅森素数。”
“gips出现了震撼消息,一星期之内,疑似检测到两个梅森素数,发现人都是西海大学的王浩教授。”
“这是错误,还是真实信息?gips宣布对第二个梅森素数进行检测……”
这件事甚至上了网络热搜,舆论比上一次还要火爆。
之前发现了一个梅森素数,就是寻找梅森素数的一个进展,只一个星期时间内,又发现了新的梅森素数,发现人依旧是王浩,事情就变得很不一般了。
同一个人找到两个梅森素数,历史上也是有发生的。
比如,第43和第44个梅森素数,就都是同一团队使用gips发现的,但中途时间间隔也长达九个月时间。
现在只是一个星期内,快速发现两个梅森素数,已经超出了‘正常范畴’。
有人提出是否是进行了覆盖运算。
有专业的计算机专家,当即站出来指出,“即便是使用高性能的超算,对于六千万到七千万区间指数对应梅森数进行覆盖检测,需要的时间也会长达10万个小时以上。”
“显然,那是不可能的。”
于是舆论都关注起了西海大学,关注起发现两个梅森素数的王浩。
早上八点钟,王浩准时来到了计算机实验室。
他提前知道了发现第二个梅森素数,但也并不感到意外,只是过去转了一圈,和几个熟悉的人谈了几句,记下了具体数字以后,就赶紧去工作间做验证。
王浩已经塑造好了两个函数。
一个是验证函数,可以代入素数计算坐标,另一个是判定函数,可以判定坐标是否在区域内或边缘线上,前者说明‘是梅森素数的几率大’,后者则说明‘一定是梅森素数’。
在代入新发现的梅森素数后,很遗憾的是,对应函数的坐标,出现在了判定函数覆盖范围内,却没有出现在判定函数覆盖区域的边缘线上。
“看来还是要用计算机手段做验证,接下来的工作,数学研究已经解决不了了。”
王浩思考着开始写起了程序,他要做一个‘函数验证’的程序,就是把一个个指数代入到函数中,计算它们所对应的梅森数所对应的坐标,是否在判定函数覆盖的区域内。
因为两个函数都比较复杂,程序设计起来也很不容易。
好在王浩自己塑造的函数,对代入数值后的求解方法很了解,他用了一个上午的时间,终于完成了程序所有的设计。
然后他去了中心实验室。
这时候,中心实验室依旧非常热闹,不止是计算机实验室的人,还有其他学院的人过来,学校好几个领导都过来一趟,特别关注了一下发现梅森素数问题,他们知道王浩在忙着研究什么,也没有过去打扰。
楼道里。
陈庆华、朱建荣以及栾海平正站在一起,讨论着学校发布公告信息的事情。