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