“田院长，验证过程呢？”
田良伟指了指桌上一份厚厚的文稿：
“这儿呢。”
话音刚落。
张睿便一个箭步窜到了办公桌边，看也不看徐云，拿着笔和纸开始对起了文件。
“先证明不存在奇完全数......”
“σ(n)≠2{p^（a1+1/1）-1}/{p1-1}·........”
“唔，这一步怎么跳过来的？哦，考虑乘法群了......”
“P={p1，p2，...}，排为升序，假设∑p∈P1收敛，则an为一些互异的小素数的乘积....妙啊......”
张睿就这样旁若无人的在办公室内验算了起来，徐云和田良伟倒也很识趣的没有打断他。
对于一个数学老来说，打断推演基本上等同于帮钓鱼老下捞网的时候失了手，很容易得罪人。
就这样。
四十多分钟一晃而过。
终于。
张睿在一张全新的A4纸上停下了笔尖。
只见他沉默了足足有小半分钟，才写下了一句话：
“所以，梅森素数的无穷性可证。”
随后他放下手中的笔，看了眼面露期待的田良伟，缓缓点了点头：
“田院长，从我这次的演算来看，小徐推导出的结果应该是没多大问题的。”
“不过这只是一次简单草算，类似摸个梗概，只能确定关键原理不存在漏洞，不能代表最终结论。”
“像梅森素数这种级别的难题真正的核验计算量很大，同时一旦宣布被破译，必然会有无数业内业外的从业者和爱好者进行演算。”