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