注：章说已经恢复，各位可以正常留言了
次日。
科大生命医学大楼。
院长办公室。
“小徐，你说啥？”
看着面前被口罩包得严严实实的徐云，田良伟罕见的有些失态：
“你说你把梅森素数的无穷性证明出来了？”
虽然田良伟是个实打实的生物从业者，但这不代表他对于数学领域一无所知。
至少对于现存的几大数学难题，他还是叫得上名字的。
比如哥德巴赫猜想。
比如黎曼猜想。
比如孪生素数和费马素数。
又比如
梅森素数的无穷性。
诚然。
和千禧年的七大难题相比，梅森素数远远算不上t1级别。
但这并不代表梅森素数就是个烂大街的课题。
如果田良伟没记错的话。
他有几位数学学部的院士好友比如陈恕行院士、张平文院士等人就在做这方面的研究。
另外国内每年也会批下百万级的经费或者说超算核时，用来寻找最新的梅森素数。
想到这里。
田良伟不由拿起徐云递来的手稿，不过看了几秒上头的数学符号后便勐地拍回到了桌上：
“p，眼瞎了，老子没事找事看数学论文干啥？”
随后他拿起桌上的水杯抿了口水，沉吟片刻，拿起电话拨通了一个号码。
很快。
电话对头传来了数学学院院长、科大现任常务副校长张睿的声音：
“喂，田院长？”
“是我，老张，有空过来一趟不？”
“额，田院长，我在外头钓鱼呢，要不咱们明天再说？”
“明天啊也行吧，我听小徐说他证明了梅森素数的无穷性，就寻思着要不让你回来一趟看看”
“？？？”
几秒钟后。
电话对头传来了一些“你这鱼还要不要啊”、“我便宜点卖给你”之类的杂音。
不过很快，这些杂音便被张睿的高分贝给盖了过去：
“你说啥？？”
一个小时后。
张睿风风火火的闯入了田良伟的办公室，丝毫看不出此前斯文的模样：
“田院长，验证过程呢？”
田良伟指了指桌上一份厚厚的文稿：
“这儿呢。”
话音刚落。
张睿便一个箭步窜到了办公桌边，看也不看徐云，拿着笔和纸开始对起了文件。
“先证明不存在奇完全数”
“σ(n)≠2{p（a1+1/1）-1}/{p1-1}·”
“唔，这一步怎么跳过来的？哦，考虑乘法群了”
“p={p1，p2，}，排为升序，假设∑p∈p1收敛，则an为一些互异的小素数的乘积妙啊”
张睿就这样旁若无人的在办公室内验算了起来，徐云和田良伟倒也很识趣的没有打断他。
对于一个数学老来说，打断推演基本上等同于帮钓鱼老下捞网的时候失了手，很容易得罪人。
就这样。
四十多分钟一晃而过。
终于。
张睿在一张全新的a4纸上停下了笔尖。
只见他沉默了足足有小半分钟，才写下了一句话：
“所以，梅森素数的无穷性可证。”
随后他放下手中的笔，看了眼面露期待的田良伟，缓缓点了点头：
“田院长，从我这次的演算来看，小徐推导出的结果应该是没多大问题的。”
“不过这只是一次简单草算，类似摸个梗概，只能确定关键原理不存在漏洞，不能代表最终结论。”
“像梅森素数这种级别的难题真正的核验计算量很大，同时一旦宣布被破译，必然会有无数业内业外的从业者和爱好者进行演算。”
“一般来说，想要真正终定小徐的验证无误，最少都需要半年以上。”
田良伟轻轻点了点头，表示自己明白。
正如张睿所言。
梅森素数作为数学界极为重要的猜想之一，每年几乎都有许多人宣称对它完成了证明。
因此这类问题想要通过最终裁定，无论是流程还是时间都相当复杂。
比如说证明了费马定理的安德鲁·怀尔斯。
安德鲁·怀尔斯在1993年6月宣布证明了费马定理，不过在同年12月他就承认了自己步骤上存在问题，直到1994年10月25日才公布了正确的到底该要怎么发布才合适。”
“怎么发布么”
张睿拿起桌上的水杯抿了口水，沉吟片刻，说道：
“田院长，这事儿说起来其实还挺复杂的，大概要分成几个阶段进行。”
“首先要做的，就是把这些文稿拿到我们数院，进行一次完整的复验。”
“等到内部验证没有问题了，才能进行下一步。”
