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