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

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

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

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

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

    就这样。

    四十多分钟一晃而过。

    终于。

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

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

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

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

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

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

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

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

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

    正如张睿所言。

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

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

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

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

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

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

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

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

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

    大到了即便徐云事先获得了高斯对于奇完全数不存在的证明、也依旧需要用一个小时的‘小麦附体’来计算出相关结果。

    所以即便是是张睿，此时也只敢说是‘草算’。

    一般来说。

    这种证明出炉后。

    首先会由推导者所在的学校发表声明，接着再选择一篇期刊发表正文或者预印版。

    同时把相关证明附录在学校网站或者发给诸如欧洲数学学会、牛津数学学会之类的老牌机构，然后进行漫长的复验。

    正常情况下。

    梅森素数这种基数的猜想，最少都需要经过eth、weizmann、牛津、剑桥、波恩、马普所、巴黎六big、nyu、ucla这些学校的验证，方才能算是最终核验完成。

    如果不是这几年情况特殊不方便出国，照理还要参加一些线下的论坛来接受‘拷问’。

    当然了。

    还是那句话。

    荣誉归荣誉，热度归热度。

    即便获奖、终定需要的时间长达十年，也丝毫不影响徐云可以靠此获得大量关注的事实。

    毕竟国内也有不少机构是研究这方向的呢。

    也许国内的数学教学水平和国际依旧有所差距，但在复验这块的能力还是母庸置疑的。

    有了国内高校的验证，热度分分钟就能炒起来。

    顶多就是有些酸货会说这是国内“自嗨”、“等着国际机构打脸”之类的话了。

    保不齐还能扯到一些国内科研甚至运动员造假的黑历史。

    不过总体上来说，那些言论不足为虑。

    想到这里。

    张睿不由看了眼徐云，赞叹道：

    -->>(第 2/4 页)（本章未完，请点击下一页继续阅读）