“这儿呢。”
话音刚落。
张睿便一个箭步窜到了办公桌边,看也不看徐云,拿着笔和纸开始对起了文件。
“先证明不存在奇完全数.”
“σ(n)≠2{p^(a1+1/1)-1}/{p1-1}·”
“唔,这一步怎么跳过来的?哦,考虑乘法群了”
“P={p1,p2,.},排为升序,假设∑p∈P1收敛,则an为一些互异的小素数的乘积妙啊”
张睿就这样旁若无人的在办公室内验算了起来,徐云和田良伟倒也很识趣的没有打断他。
对于一个数学佬来说,打断推演基本上等同于帮钓鱼佬下捞网的时候失了手,很容易得罪人。
就这样。
四十多分钟一晃而过。
终于。
张睿在一张全新的A4纸上停下了笔尖。
只见他沉默了足足有小半分钟,才写下了一句话:
“所以,梅森素数的无穷性可证。”
随后他放下手中的笔,看了眼面露期待的田良伟,缓缓点了点头:
“田院长,从我这次的演算来看,小徐推导出的结果应该是没多大问题的。”
“不过这只是一次简单草算,类似摸个梗概,只能确定关键原理不存在漏洞,不能代表最终结论。”
“像梅森素数这种级别的难题真正的核验计算量很大,同时一旦宣布被破译,必然会有无数业内业外的从业者和爱好者进行演算。”
“一般来说,想要真正终定小徐的验证无误,最少都需要半年以上。”
田良伟轻轻点了点头,表示自己明白。
正如张睿所言。
梅森素数作为数学界极为重要的猜想之一,每年几乎都有许多人宣称对它完成了证明。
因此这类问题想要通过最终裁定,无论是流程还是时间都相当复杂。
比如说证明了费马定理的安德鲁·怀尔斯。
安德鲁·怀尔斯在1993年6月宣布证明了费马定理,不过在同年12月他就承认了自己步骤上存在问题,直到1994年10月25日才公布了正确的第二版论证。
当时他通过他以前的学生、美国俄亥俄州立大学教授卡尔·鲁宾,向全球各大数学学会发送了费马大定理的完整证明邮件。
但直到一年六个月后,数学界才正式承认了他的推导正确。
本章未完,请点击下一页继续阅读!