实可能会提升效率。

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

不然，建立个任务？

想到就做！

【任务二】

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

【灵感值：0。】

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

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

……

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

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

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

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

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

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

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

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

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

第三个发布消息的机构有些意外，是国际着名的克雷数学研究所，大概是受到了皮特-舒尔兹