第九十四章 这些都是梅森素数！（4 / 7）

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

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

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

现在只是一个星期内，快速发现两个梅森素数，已经超出了‘正常范畴’。

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

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

“显然，那是不可能的。”

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

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

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

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

一个是验证函数，可以代入素数计算坐标，另一个是判定函数，可以判定坐标是否在区域内或边缘线上，前者说明‘是梅森素数的几率大’，后者则说明‘一定是梅森素数’。

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

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

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

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