倍福文学

手机浏览器扫描二维码访问

第三百七十六章 反击从现在开始章说已经恢复了（第2页）

????????“你说啥？？”

????????一个小时后。

????????张睿风风火火的闯入了田良伟的办公室，丝毫看不出此前斯文的模样：

????????“田院长，验证过程呢？”

????????田良伟指了指桌上一份厚厚的文稿：

????????“这儿呢。”

????????话音刚落。

????????张睿便一个箭步窜到了办公桌边，看也不看徐云，拿着笔和纸开始对起了文件。

????????“先证明不存在奇完全数.”

????????“o（n）≠2{p^（a1+11）-1}{p1-1}·”

????????“唔，这一步怎么跳过来的？哦，考虑乘法群了”

????????“p={p1，p2，.}，排为升序，假设∑p∈p1收敛，则an为一些互异的小素数的乘积妙啊”

????????张睿就这样旁若无人的在办公室内验算了起来，徐云和田良伟倒也很识趣的没有打断他。

????????对于一个数学佬来说，打断推演基本上等同于帮钓鱼佬下捞网的时候失了手，很容易得罪人。

????????就这样。

????????四十多分钟一晃而过。

????????终于。

????????张睿在一张全新的a4纸上停下了笔尖。

????????只见他沉默了足足有小半分钟，才写下了一句话：

????????“所以，梅森素数的无穷性可证。”

????????随后他放下手中的笔，看了眼面露期待的田良伟，缓缓点了点头：

????????“田院长，从我这次的演算来看，小徐推导出的结果应该是没多大问题的。”

????????“不过这只是一次简单草算，类似摸个梗概，只能确定关键原理不存在漏洞，不能代表最终结论。”

????????“像梅森素数这种级别的难题真正的核验计算量很大，同时一旦宣布被破译，必然会有无数业内业外的从业者和爱好者进行演算。”

????????“一般来说，想要真正终定小徐的验证无误，最少都需要半年以上。”

????????田良伟轻轻点了点头，表示自己明白。

????????正如张睿所言。

????????梅森素数作为数学界极为重要的猜想之一，每年几乎都有许多人宣称对它完成了证明。

????????因此这类问题想要通过最终裁定，无论是流程还是时间都相当复杂。

????????比如说证明了费马定理的安德鲁·怀尔斯。

????????安德鲁·怀尔斯在1993年6月宣布证明了费马定理，不过在同年12月他就承认了自己步骤上存在问题，直到1994年1o月25日才公布了正确的第二版论证。

????????当时他通过他以前的学生、美国俄亥俄州立大学教授卡尔·鲁宾，向全球各大数学学会送了费马大定理的完整证明邮件。

????????但直到一年六个月后，数学界才正式承认了他的推导正确。

????????还有证明了庞加莱猜想的格里戈里·佩雷尔曼。

????????这位数学界隐士在2oo2年11月起就公布了相关证明步骤，但直到2oo6年才真正被认定破解了庞加莱猜想。

????????因为这种问题涉及到的计算量实在是太大太大了。