第95章 这些都是梅森素数！（2/2）
有专业的计算机专家，当即站出来指出，「即便是使用高性能的超算，对于六千万到七千万区间指数对应梅森数进行覆盖检测，需要的时间也会长达10万个小时以上。」
「显然，那是不可能的。」
于是舆论都关注起了西海大学，关注起发现两个梅森素数的王浩。
早上八点钟，王浩准时来到了计算机实验室。
他提前知道了发现第二个梅森素数，但也并不感到意外，只是过去转了一圈，和几个熟悉的人谈了几句，记下了具体数字以后，就赶紧去工作间做验证。
王浩已经塑造好了两个函数。
一个是验证函数，可以代入素数计算坐标，另一个是判定函数，可以判定坐标是否在区域内或边缘在线，前者说明『是梅森素数的几率大』，后者则说明『一定是梅森素数』。
在代入新发现的梅森素数后，很遗憾的是，对应函数的坐标，出现在了判定函数覆盖范围内，却没有出现在判定函数覆盖区域的边缘在线。
「看来还是要用计算机手段做验证，接下来的工作，数学研究已经解决不了了。」
王浩思考着开始写起了进程，他要做一个『函数验证』的进程，就是把一个个指数代入到函数中，计算它们所对应的梅森数所对应的坐标，是否在判定函数覆盖的区域内。
因为两个函数都比较复杂，进程设计起来也很不容易。
好在王浩自己塑造的函数，对代入数值后的求解方法很了解，他用了一个上午的时间，终于完成了进程所有的设计。
然后他去了中心实验室。
这时候，中心实验室依旧非常热闹，不止是计算机实验室的人，还有其他学院的人过来，学校好几个领导都过来一趟，特别关注了一下发现梅森素数问题，他们知道王浩在忙着研究什么，也没有过去打扰。
楼道里。
陈庆华、朱建荣以及栾海平正站在一起，讨论着学校发布公告信息的事情。
陈庆华想让朱建荣拟稿的时候，多提起计算机实验室，最好是对王浩的所属进行『模糊处理』，让看到消息的人，以为王浩就是计算机实验室的研究院、计算机学院的教授。
旁边，栾海平黑着脸听着，恶狠狠的眼神似乎透露着，都有种把陈庆华掐死的冲动，他不断的反对着，「王浩是理学院的教授，就算不谈学院，也不能说他是计算机学院的啊？这不等于是骗人吗？」
「什么骗人？」
陈庆华马上质问三连，「王浩是不是一直在计算机实验室？两个梅森素数是不是在计算机实验室发现的？所以发布的成果公告上写，计算机实验室的王浩教授，能有什么问题？」
「额~~~」
王浩走过来站在旁边。
陈庆华注意到王浩顿时有点尴尬，马上道，「王浩也来了，我就直白的说，我们不是要把他挖到计算机实验室，而是，针对这个成果，是在我们计算机实验室完成的，公告谈什么理学院也没有意义，对吧？」
「怎么没意义？很有意义，理学院也需要……」栾海平立刻进行了反驳。
王浩倒是对什么计算机学院、理学院不感兴趣，反正只是学校的一条公告而已，他干脆完全当做没看见，轻飘飘的从旁边走了过去。
他是来找张志强的。
张志强依旧顶着通红的双眼，从凌晨三点到现在，他就一直没有休息过。
王浩劝了一句，「赶紧回去睡一觉，找到梅森素数值得高兴，但也别这样啊……」
「放心吧，还能坚持！」
张志强满是不在意的说道，他确实感到非常疲惫，也想着一会去办公室眯一会儿。
现在还有事。
「把检测进程停下来，先计算这个……」
王浩把写好的代码，拷贝到了电脑里，简单解释道，「这是对梅森数的筛选进程，可以说就是对之前进程的优化，也许会变得更精准吧。」
他有些不确定。
在结果没有百分之百出来之前，他也不敢说自己做的研究就是正确的。
张志强顿时重新打起精神，停掉了一直在运行的检测进程，开始运行刚拷贝的代码。
一亿以下的质数作为数据录入，输出端则有三个文档。
第一个文档记录的是处在判定函数边缘线的『指数P』以及对应坐标。
第二个文档记录的是，处在判定函数覆盖范围内的『指数P』、对应坐标以及到边缘线的最近距离。
第三个文档，则是剩余被排除的素数、对应坐标，以及到边缘线的最短距离。
函数比较复杂、进程也比较复杂，需求的计算量就非常庞大，即便是以现有的计算能力，全部运行完也需要三个小时以上。
张志强被推着去休息了。
王浩干脆等在了电脑前，一直看着进程运行，等待着输出结果。
……
下午两点钟，陈庆华和朱建荣一起到中心实验室，找到王浩并递给他一份手写的公告。
「我们讨论来讨论去，还是想着让你看看，伱是当事人，看这份公告怎么样？」
「你说行，我们就发了。」陈庆华很认真的看向王浩，公告里面说的是『王浩教授在计算机实验室工作，并连续找到了两个梅森素数』。
这个模糊的说法，听起来好像是说，王浩就是计算机实验室的研究员。
王浩对此并不在意，他只是扫了一眼，把手写公告扔在旁边，开口道，「陈院长，朱主任，先别急着发公告，只是两个梅森素数而已。」
「……而已？」陈庆华满眼不解。
朱建荣也用力扯了扯嘴角，发现两个梅森素数，还只是『而已』，口气也太大了吧？
王浩没理会他们的反应，而是打开了电脑中的一个文档，上面记录了十一个数字，其中有八个标准红色字体，剩下的三个则还是黑色。
他指着三个黑色的数字，认真道，「这三个，作为梅森数的指数，验证一下。」
「如果不出意外，应该都是梅森素数。」