” “不过这只是一次简单草算,类似摸个梗概,只能确定关键原理不存在漏洞,不能代表最终结论。” “像梅森素数这种级别的难题真正的核验计算量很大,同时一旦宣布被破译,必然会有无数业内业外的从业者和爱好者进行演算。” “一般来说,想要真正终定小徐的验证无误,最少都需要半年以上。” 田良伟轻轻点了点头,表示自己明白。 正如张睿所言。 梅森素数作为数学界极为重要的猜想之一,每年几乎都有许多人宣称对它完成了证明。 因此这类问题想要通过最终裁定,无论是流程还是时间都相当复杂。 比如说证明了费马定理的安德鲁·怀尔斯。 安德鲁·怀尔斯在1993年6月宣布证明了费马定理,不过在同年12月他就承认了自己步骤上存在问题,直到1994年10月25日才公布了正确的第二版论证。 当时他通过他以前的学生、美国俄亥俄州立大学教授卡尔·鲁宾,向全球各大数学学会发送了费马大定理的完整证明邮件。 但直到一年六个月后,数学界才正式承认了他的推导正确。 还有证明了庞加莱猜想的格里戈里·佩雷尔曼。 这位数学界隐士在2002年11月起就公布了相关证明步骤,但直到2006年才真正被认定破解了庞加莱猜想。 因为这种问题涉及到的计算量实在是太大太大了。 大到了即便徐云事先获得了高斯对于奇完全数不存在的证明、也依旧需要用一个小时的‘小麦附体’来计算出相关结果。 所以即便是是张睿,此时也只敢说是‘草算’。 一般来说。 这种证明出炉后。 首先会由推导者所在的学校发表声明,接着再选择一篇期刊发表正文或者预印版。 同时把相关证明附录在学校网站或者发给诸如欧洲数学学会、牛津数学学会之类的老牌机构,然后进行漫长的复验。 正常情况下。 梅森素数这种基数的猜想,最少都需要经过eth、weizmann、牛津、剑桥、波恩、马普所、巴黎六big、nyu、ucla这些学校的验证,方才能算是最终核验完成。 如果不是这几年情况特殊不方便出国,照理还要参加一些线下的论坛来接受‘拷问’。 当然了。 还是那句话。 荣誉归荣誉,热度归热度。 即便获奖、终定需要的时间长达十年,也丝毫不影响徐云可以靠此获得大量关注的事实。 毕竟国内也有不少机构是研究这方向的呢。 也许国内的数学教学水平和国际依旧有所差距,但在复验这块的能力还是毋庸置疑的。 有了国内高校的验证,热度分分钟就能炒起来。 顶多就是有些酸货会说这是国内“自嗨”、“等着国际机构打脸”之类的话了。 保不齐还能扯到一些国内科研甚至运动员造假的黑历史。 不过总体上来说,那些言论不足为虑。 想到这里。 张睿不由看了眼徐云,赞叹道: “田院长,你这位学生是真不可限量啊。” “这种节骨眼上整出这样的成果……咱们科大这次恐怕真要搞出个大新闻了。” 张睿对于徐云能够验证梅森素数的无穷性虽然惊异,但却没有夸张到质疑的地步。 毕竟徐云虽然只攻读了生物和物理,但这不代表他的数学水平很低。 这年头物理涉及到的数学知识可不只是简简单单的牛一牛二计算,而是需要大量的深入概念。 比如相对论。M.DaMINGpumP.coM