了证明。

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

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

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

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

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

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

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

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

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

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

一般来说。

这种证明出炉后。

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

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

正常情况下。

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

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

当然了。

还是那句话。

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

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

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

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