第(2/3)页

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

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

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

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

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

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

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

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

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

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

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

    ????????一般来说。

    ????????这种证明出炉后。

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

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

    ????????正常情况下。

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

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

    ????????当然了。

    ????????还是那句话。

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

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

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

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

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

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

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

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

    ????????想到这里。

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

    ????????“田院长，你这位学生是真不可限量啊。”

    ????????“这种节骨眼上整出这样的成果咱们科大这次恐怕真要搞出个大新闻了，”

    ????????张睿对于徐云能够验证梅森素数的无穷性虽然惊异，但却没有夸张到质疑的地步。

    ????????毕竟徐云虽然只攻读了生物和物理，但这不代表他的数学水平很低。

    ????????这年头物理涉及到的数学知识可不只是简简单单的牛一牛二计算，而是需要大量的深入概念。

    ????????比如相对论。

    ????????它的基础就是黎曼几何，全文都是用张量进行描述的。

    ????????没数学基础根本就学不了多深。

    ????????隔壁有个叫天瑞说符的倒霉蛋，就被这玩意儿折腾的要死要活的。

    ????????所以张睿此时心中的惊讶肯定是有，但远远不止于脑补其他一些画面。

    ????????超前一步是天才，徐云从始至终都在把握着这个度。

    ????????随后田良伟又朝张睿手中的文件努了努下巴，问道：

    ????????“老张，我对数学论文这方面不太了解，所以今天找你过来还有一件事。”

    ????????“就是想问问你，小徐的这篇文章到底该要怎么发布才合适。”

    ????????“怎么发布么.”

    ????????张睿拿起桌上的水杯抿了口水，沉吟片刻，说道：

    ????????“田院长，这事儿说起来其实还挺复杂的，大概要分成几个阶段进行。”

    ????????“首先要做的，就是把这些文稿拿到我们数院，进行一次完整的复验。”

    ????????“等到内部验证没有问题了，才能进行下一步。”

    ????????田良伟点点头，这个道理倒是不难理解：

    ????????“没问题，不过老张，这个流程大概要多久？”

    ????????张睿闻言捏了捏徐云的文稿，思索道：

    ????????“小徐的稿件大概有七十多张，我估计一次详细的核验——不是像我刚才那种的草算哈，大概需要六到七个小时左右。”

    ????????“这样吧，我回去安排一些人手，争取在明天这时候完成复验任务。”

    ????????田良伟原以为张睿会报出个两到三天的答案，稍显意外的同时自然也不会选择推辞：

    ????????“那就多谢了。”

    ????????张睿笑着摆了摆手。

    ????????这是一种双向的行为，毕竟徐云的这份成果分量实在是太重了。

    ????????如果徐云的推导过程没有问题，那么科大数院也会由此沾光，他自然也要尽力而为了。

    ????????接着他顿了顿，又说道：

    ????????“等复验完毕后，我们就可以通过科大官方渠道正式发布公告，把验证邮件发送给各大数学机构。”
    第(2/3)页