注：章说已经恢复各位可以正常留言了
次日。
科大生命医学大楼。
院长办公室。
“小徐你说啥？”
看着面前被口罩包得严严实实的徐云田良伟罕见的有些失态：
“你说你把梅森素数的无穷性证明出来了？”
虽然田良伟是个实打实的生物从业者但这不代表他对于数学领域一无所知。
至少对于现存的几大数学难题他还是叫得上名字的。
比如哥德巴赫猜想。
比如黎曼猜想。
比如孪生素数和费马素数。
又比如
梅森素数的无穷性。
诚然。
和千禧年的七大难题相比梅森素数远远算不上t1级别。
但这并不代表梅森素数就是个烂大街的课题。
如果田良伟没记错的话。
他有几位数学学部的院士好友比如陈恕行院士、张平文院士等人就在做这方面的研究。
另外国内每年也会批下百万级的经费或者说超算核时用来寻找最新的梅森素数。
想到这里。
田良伟不由拿起徐云递来的手稿不过看了几秒上头的数学符号后便勐地拍回到了桌上：
“mmp眼瞎了老子没事找事看数学论文干啥？”
随后他拿起桌上的水杯抿了口水沉吟片刻拿起电话拨通了一个号码。
很快。
电话对头传来了数学学院院长、科大现任常务副校长张睿的声音：
“喂田院长？”
“是我老张有空过来一趟不？”
“额田院长我在外头钓鱼呢要不咱们明天再说？”
“明天啊也行吧我听小徐说他证明了梅森素数的无穷性就寻思着要不让你回来一趟看看”
“？？？”
几秒钟后。
电话对头传来了一些“你这鱼还要不要啊”、“我便宜点卖给你”之类的杂音。
不过很快这些杂音便被张睿的高分贝给盖了过去：
“你说啥？？”
一个小时后。
张睿风风火火的闯入了田良伟的办公室丝毫看不出此前斯文的模样：
“田院长验证过程呢？”
田良伟指了指桌上一份厚厚的文稿：
“这儿呢。”
话音刚落。
张睿便一个箭步窜到了办公桌边看也不看徐云拿着笔和纸开始对起了文件。
“先证明不存在奇完全数”
“σ(n)≠2{p^（a1+1/1）-1}/{p1-1}·”
“唔这一步怎么跳过来的？哦考虑乘法群了”
“p={p1p2}排为升序假设∑p∈p1收敛则an为一些互异的小素数的乘积妙啊”
张睿就这样旁若无人的在办公室内验算了起来徐云和田良伟倒也很识趣的没有打断他。
对于一个数学老来说打断推演基本上等同于帮钓鱼老下捞网的时候失了手很容易得罪人。
就这样。
四十多分钟一晃而过。
终于。
张睿在一张全新的a4纸上停下了笔尖。
只见他沉默了足足有小半分钟才写下了一句话：
“所以梅森素数的无穷性可证。”
随后他放下手中的笔看了眼面露期待的田良伟缓缓点了点头：
“田院长从我这次的演算来看小徐推导出的结果应该是没多大问题的。”
“不过这只是一次简单草算类似摸个梗概只能确定关键原理不存在漏洞不能代表最终结论。”
“像梅森素数这种级别的难题真正的核验计算量很大同时一旦宣布被破译必然会有无数业内业外的从业者和爱好者进行演算。”
“一般来说想要真正终定小徐的验证无误最少都需要半年以上。”
田良伟轻轻点了点头表示自己明白。
正如张睿所言。
梅森素数作为数学界极为重要的猜想之一每年几乎都有许多人宣称对它完成了证明。
因此这类问题想要通过最终裁定无论是流程还是时间都相当复杂。
比如说证明了费马定理的安德鲁·怀尔斯。
安德鲁·怀尔斯在1993年6月宣布证明了费马定理不过在同年12月他就承认了自己步骤上存在问题直到1994年10月25日才公布了正确的第二版论证。
当时他通过他以前的学生、美国俄亥俄州立大学教授卡尔·鲁宾向全球各大数学学会发送了费马大定理的完整证明邮件。
但直到一年六个月后数学界才正式承认了他的推导正确。
还有证明了庞加来猜想的格里戈里·佩雷尔曼。
这位数学界隐士在2002年11月起就公布了相关证明步骤但直到2006年才真正被认定破解了庞加来猜想。
因为这种问题涉及到的计算量实在是太大太大了。
大到了即便徐云事先获得了高斯对于奇完全数不存在的证明、也依旧需要用一个小时的‘小麦附体’来计算出相关结果。
所以即便是是张睿此时也只敢说是‘草算’。
一般来说。
这种证明出炉后。
首先会由推导者所在的学校发表声明接着再选择一篇期刊发表正文或者预印版。
同时把相关证明附录在学校网站或者发给诸如欧洲数学学会、牛津数学学会之类的老牌机构然后进行漫长的复验。
正常情况下。
梅森素数这种基数的猜想最少都需要经过eth、weizmann、牛津、剑桥、波恩、马普所、巴黎六big、nyu、ucla这些学校的验证方才能算是最终核验完成。
如果不是这几年情况特殊不方便出国照理还要参加一些线下的论坛来接受‘拷问’。
当然了。
还是那句话。
荣誉归荣誉热度归热度。
即便获奖、终定需要的时间长达十年也丝毫不影响徐云可以靠此获得大量关注的事实。
毕竟国内也有不少机构是研究这方向的呢。
也许国内的数学教学水平和国际依旧有所差距但在复验这块的能力还是母庸置疑的。
有了国内高校的验证热度分分钟就能炒起来。
顶多就是有些酸货会说这是国内“自嗨”、“等着国际机构打脸”之类的话了。
保不齐还能扯到一些国内科研甚至运动员造假的黑历史。
不过总体上来说那些言论不足为虑。
想到这里。