第九十四章 这些都是梅森素数！
gimps论坛，爆了。 论坛上发布的帖子内容，都和新发现的梅森素数有关。 每个人都在讨论着。 所有的消息都离不开‘新梅森素数’、‘连续发现两个梅森素数’、‘中国志愿者王浩’等关键词和内容。 每一个了解梅森素数、了解发现检测机制的人，都感觉非常的不可思议。 从gimps成立到现在，20多年的时间里，也只找到了17个梅森素数，其中有14个都是在10年以前发现的，近十年也只找到了3个梅森素数。 这是因为越往后的梅森数，检测和计算量就会越大，千万位梅森数和百万位梅森数，检测需求上当然不是同一个级别。 计算机硬件的发展速度非常快，几年就会有一次更新换代，但依旧远远赶不上梅森数检测需求的膨胀速度。 现在每检测一个梅森数，都需要普通电脑运行几个月时间，gimps参与者用个人电脑完成几个梅森数的检测，就已经很了不起，更不用说找到梅森素数了。 但是，这位来自中国的志愿者王浩，却在短短一个星期之内就找到了两个梅森素数。 gimps论坛的成员们，首先排除了黑客入侵的因素，他们中很多都是数学家、计算机专家，只看一下网站情况，就知道并没有黑客入侵迹象，正常情况下，也不会有黑客去入侵信息全部公开的分布式计算网络。 那没有任何意义。 网站、软件错误也可以排除，因为有负责人站出来，说明网站、软件没有任何错误。 “网站上显示新梅森素数的消息，是软件检测信息自动上报、自动更新的信息。”布洛瑟负责网站维护、软件更新，他看到了信息也感到很不可思议，还是发了个帖子做出澄清。 布洛瑟的说明也彻底排除了出错的可能，换句话说，显示的新梅森素数很可能是真的。 好多人都感到不能接受。 人的运气怎么能好到这个地步呢？ 有人发帖指出，“这位来自中国的王浩是一个数学家，而且是有一定名气的，我查了一下，他在国际会议上，完成的阿廷常数证明很有影响力，会不会是他破解了梅森素数的奥秘，知道哪些会是梅森素数？” 下面顿时有好几个数学家站出来反驳，“这是不可能的，梅森素数没有规律。” “我宁愿相信他是运气好，也不相信他能够破解梅森素数的规律。” “连续找到梅森素数是有可能的，但找到梅森素数的规律是绝对不可能的。我从事数学研究二十多年，对梅森素数非常的了解，这一类数在梅森数中，就像是普通素数在数字中一样，根本就不可能有固定出现的规律。” 论坛上许多人针对的讨论起来。 柯蒂斯-库珀同样是个数学家，他也对此发表了自己的看法，“我也认为不可能。这是运气，但也有他对梅森数的了解因素。” 后者很关键。 找到梅森素数的人中有牙医、快递员，或者其他什么人，但大部分还是数学家、计算机专家。 柯蒂斯-库珀也发现过梅森素数，他就是依靠自己对于数学的了解，筛选出了一部分数字，自定义做分析检测。 其他梅森素数的发现，也多是通过自定义检测找到的，只有完全不懂的外行人，或者只是利用程序做系统压力测试，才会依照系统所分配的数字去做检测。 柯蒂斯-库珀的说法赢得了不少数学家、计算机专家的支持，但同时他们也依旧认为，王浩的运气实在好到了爆炸。 即便对梅森数有很深入的研究，但要知道梅森素数在梅森数中是非常稀少的。 比如，一千万以下的质数有六十六万四千五百多个，以它们为‘指数’对应的梅森数中，就只有三十八个是梅森素数，几率连万分之一都不到。 如果是筛选五千万以上的素数做检测，对应梅森素数出现的概率就更低，几十万个数只有两、三个，甚至可能完全没有。 这个几率，说是大海捞针一点都不为过。 另一边，西海大学的夜。 计算机实验楼顶层忽然传出了一声呼喊，“啊~~~” 楼里的几个人赶紧到中心实验室查看，就见到了兴奋状态中的张志强，“你们来了，快来看！新的梅森素数，找到了！” “我刚才都已经睡着了，正好梦见找到了梅森素数，就过来看一眼，没想到还真找到了！” “这是第二个了！” 张志强顶着通红的双眼兴奋的说着，其他人都能够理解他的情绪，想找一个梅森素数实在太难了，结果一个星期内找到了两个。 虽然不是张志强的成果，但他也算是贡献第二人了。 其他人也兴奋的谈论起来，“第二个梅森素数了，这下可真是了不起了。” “估计明天舆论会炸！” “这次我们计算机实验室，绝对是大出风头了，不只是国内，国际都会很知名！” “你们看看，gimps论坛已经疯了，都在说这个话题。” 他们讨论着干脆留在了计算机实验室，一直蹲守在那里，等待着第二天的到来，仿佛是怕数字长腿跑了一样。 早上的时候，已经有媒体注意到消息开始报道了。 多数报道有些不确定，“西海大学王浩教授，疑似找到了两个梅森素数。” “gimps出现了震撼消息，一星期之内，疑似检测到两个梅森素数，发现人都是西海大学的王浩教授。” “这是错误，还是真实信息？gimps宣布对第二个梅森素数进行检测……” 这件事甚至上了网络热搜，舆论比上一次还要火爆。 之前发现了一个梅森素数，就是寻找梅森素数的一个进展，只一个星期时间内，又发现了新的梅森素数，发现人依旧是王浩，事情就变得很不一般了。 同一个人找到两个梅森素数，历史上也是有发生的。 比如，第43和第44个梅森素数，就都是同一团队使用gimps发现的，但中途时间间隔也长达九个月时间。 现在只是一个星期内，快速发现两个梅森素数，已经超出了‘正常范畴’。 有人提出是否是进行了覆盖运算。 有专业的计算机专家，当即站出来指出，“即便是使用高性能的超算，对于六千万到七千万区间指数对应梅森数进行覆盖检测，需要的时间也会长达10万个小时以上。” “显然，那是不可能的。” 于是舆论都关注起了西海大学，关注起发现两个梅森素数的王浩。 早上八点钟，王浩准时来到了计算机实验室。 他提前知道了发现第二个梅森素数，但也并不感到意外，只是过去转了一圈，和几个熟悉的人谈了几句，记下了具体数字以后，就赶紧去工作间做验证。 王浩已经塑造好了两个函数。 一个是验证函数，可以代入素数计算坐标，另一个是判定函数，可以判定坐标是否在区域内或边缘线上，前者说明‘是梅森素数的几率大’，后者则说明‘一定是梅森素数’。 在代入新发现的梅森素数后，很遗憾的是，对应函数的坐标，出现在了判定函数覆盖范围内，却没有出现在判定函数覆盖区域的边缘线上。 “看来还是要用计算机手段做验证，接下来的工作，数学研究已经解决不了了。” 王浩思考着开始写起了程序，他要做一个‘函数验证’的程序，就是把一个个指数代入到函数中，计算它们所对应的梅森数所对应的坐标，是否在判定函数覆盖的区域内。 因为两个函数都比较复杂，程序设计起来也很不容易。 好在王浩自己塑造的函数，对代入数值后的求解方法很了解，他用了一个上午的时间，终于完成了程序所有的设计。 然后他去了中心实验室。 这时候，中心实验室依旧非常热闹，不止是计算机实验室的人，还有其他学院的人过来，学校好几个领导都过来一趟，特别关注了一下发现梅森素数问题，他们知道王浩在忙着研究什么，也没有过去打扰。 楼道里。 陈庆华、朱建荣以及栾海平正站在一起，讨论着学校发布公告信息的事情。 陈庆华想让朱建荣拟稿的时候，多提起计算机实验室，最好是对王浩的所属进行‘模糊处理’，让看到消息的人，以为王浩就是计算机实验室的研究院、计算机学院的教授。 旁边，栾海平黑着脸听着，恶狠狠的眼神似乎透露着，都有种把陈庆华掐死的冲动，他不断的反对着，“王浩是理学院的教授，就算不谈学院，也不能说他是计算机学院的啊？这不等于是骗人吗？” “什么骗人？” 陈庆华马上质问三连，“王浩是不是一直在计算机实验室？两个梅森素数是不是在计算机实验室发现的？所以发布的成果公告上写，计算机实验室的王浩教授，能有什么问题？” “额~~~” 王浩走过来站在旁边。 陈庆华注意到王浩顿时有点尴尬，马上道，“王浩也来了，我就直白的说，我们不是要把他挖到计算机实验室，而是，针对这个成果，是在我们计算机实验室完成的，公告谈什么理学院也没有意义，对吧？” “怎么没意义？很有意义，理学院也需要……”栾海平立刻进行了反驳。 王浩倒是对什么计算机学院、理学院不感兴趣，反正只是学校的一条公告而已，他干脆完全当做没看见，轻飘飘的从旁边走了过去。 他是来找张志强的。 张志强依旧顶着通红的双眼，从凌晨三点到现在，他就一直没有休息过。 王浩劝了一句，“赶紧回去睡一觉，找到梅森素数值得高兴，但也别这样啊……” “放心吧，还能坚持！” 张志强满是不在意的说道，他确实感到非常疲惫，也想着一会去办公室眯一会儿。 现在还有事。 “把检测程序停下来，先计算这个……” 王浩把写好的代码，拷贝到了电脑里，简单解释道，“这是对梅森数的筛选程序，可以说就是对之前程序的优化，也许会变得更精准吧。” 他有些不确定。 在结果没有百分之百出来之前，他也不敢说自己做的研究就是正确的。 张志强顿时重新打起精神，停掉了一直在运行的检测程序，开始执行刚拷贝的代码。 一亿以下的质数作为数据录入，输出端则有三个文件。 第一个文件记录的是处在判定函数边缘线的‘指数p’以及对应坐标。 第二个文件记录的是，处在判定函数覆盖范围内的‘指数p’、对应坐标以及到边缘线的最近距离。 第三个文件，则是剩余被排除的素数、对应坐标，以及到边缘线的最短距离。 函数比较复杂、程序也比较复杂，需求的计算量就非常庞大，即便是以现有的计算能力，全部执行完也需要三个小时以上。 张志强被推着去休息了。 王浩干脆等在了电脑前，一直看着程序执行，等待着输出结果。 …… 下午两点钟，陈庆华和朱建荣一起到中心实验室，找到王浩并递给他一份手写的公告。 “我们讨论来讨论去，还是想着让你看看，你是当事人，看这份公告怎么样？” “你说行，我们就发了。”陈庆华很认真的看向王浩，公告里面说的是‘王浩教授在计算机实验室工作，并连续找到了两个梅森素数’。 这个模糊的说法，听起来好像是说，王浩就是计算机实验室的研究员。 王浩对此并不在意，他只是扫了一眼，把手写公告扔在旁边，开口道，“陈院长，朱主任，先别急着发公告，只是两个梅森素数而已。” “……而已？”陈庆华满眼不解。 朱建荣也用力扯了扯嘴角，发现两个梅森素数，还只是‘而已’，口气也太大了吧？ 王浩没理会他们的反应，而是打开了电脑中的一个文件，上面记录了十一个数字，其中有八个标准红色字体，剩下的三个则还是黑色。 他指着三个黑色的数字，认真道，“这三个，作为梅森数的指数，验证一下。” “如果不出意外，应该都是梅森素数。”