用gimps分布计算网络，去计算寻找梅森素数？

        有些人有兴趣的时候，也会去研究一下gimps，并利用体系中的计算能力去寻找，但能真正找到梅森素数的家伙，绝不可能是短时间的运气好，肯定是花费了很长时间和精力在上面，因为碰运气的几率太小了，小到比中五百万还要小的多。

        这种听起来就不是正常人！

        王浩想着帕德里克的怪异，也想着对方的建议，倒是觉得帕德里克的想法很不错，把有效与无关进位算法用在验证素数上，确实可能会提升效率。

        这还需要仔细的研究一下，尤其放在寻找梅森素数上，有很多的计算都可以简化。

        不然，建立个任务？

        想到就做！

        【任务二】

        【研究项目名称：新型梅森素数检验算法（难度：a）。】

        【灵感值：0。】

        【完成a级难度研究，额外获得教学币：1000。】

        【任务结算，获得教学币奖励。】

        ……

        当王浩正待在飞往西海市的飞机上时，好多人正为他的数学成果忙的焦头烂额。

        前一天，他在报告厅完成证明时，并没有引起太大的议论，因为只有几家小媒体发布了消息，连做现场采访的电视媒体，都捂住消息没有发布。

        原因很简单，证明过程没有被权威机构验证。

        大媒体当然会担心闹个‘乌龙’，王浩证明做的倒是十分流畅，但也只有皮特-舒尔兹一个人确定证明完善，其他人现场跟不上思路，也无法确定证明是否正确。

        一个数学证明的成果，必须有足够权威的机构认证，才会被认定是有效的，大媒体也是等权威机构发话。

        首先发话的是首都大学应用数学学会。

        他们是珠城计算机会议的举办方之一，当天就组织专家针对王浩的证明做研究，他们还邀请了一名科学院的数学院士。

        在完全了全部的研究后，确定证明过程十分完善，首都大学应用数学学会就宣布，“我们非常确定，王浩有关阿廷常数存在性以及有界性的证明是正确的。”

        下一个是科学院数学所，他们也很快拿到了全部的证明，发布确定证明完善的消息，只比首都大学应用数学学会晚半个小时。

        第三个发布消息的机构有些意外，是国际著名的克雷数学研究所，大概是受到了皮特-舒尔兹参会的影响，他们对于王浩的证明非常重视，拿到了证明过程后，也马上进行了验证。

        随后发布消息表示，“克雷数学研究所认可王浩有关阿廷常数存在性以及有界性的证明成果。”

        消息中还带着一句简短的评价，“这是一项开创性的研究。素数分布领域的进展，也许代表着研究素数分布的意义，或许要高于对特性类别素数的研究。”

        素数分布，和特性类别素数是两个不同的内容。

        前者中最有代表性的就是黎曼猜想，而后者包含孪生素数猜想、周氏猜想等等。

        两个国内机构、一个国外机构，都发布消息确定了王浩的证明。