走进不科学 第678章

　　塔形数……

　　排中律……

　　单未知数……

　　徐云仿佛回到了1850年的剑桥大学，当时他也是这样坐在书桌边和小麦讨论着各种问题。

　　只是当初徐云是老师，小麦是学生。

　　而这一次……

　　徐云变成了学生，小麦则成为了老师。

　　一个小时后。

　　徐云的笔尖微微一顿，写下了最后一行字：

　　“综上所述，故……存在无穷多个梅森素数。”

　　与此同时。

　　他的身子莫名一震。

　　原本急速转动的思绪，骤然停止了下来。

　　过了几秒钟。

　　徐云轻轻呼出了口绵长的气息，带着感慨，带着追忆。

　　“多谢你了，麦克斯韦……”

第377章 反击从现在开始！

　　次日。

　　科大生命医学大楼。

　　院长办公室。

　　“小徐，你说啥？”

　　看着面前被口罩包得严严实实的徐云，田良伟罕见的有些失态：

　　“你说你把梅森素数的无穷性证明出来了？”

　　虽然田良伟是个实打实的生物从业者，但这不代表他对于数学领域一无所知。

　　至少对于现存的几大数学难题，他还是叫得上名字的。

　　比如哥德巴赫猜想。

　　比如黎曼猜想。

　　比如孪生素数和费马素数。

　　又比如……

　　梅森素数的无穷性。

　　诚然。

　　和千禧年的七大难题相比，梅森素数远远算不上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这些学校的验证，方才能算是最终核验完成。

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

　　当然了。

　　还是那句话。

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