第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这些学校的验证，方才能算是最终核验完成。
如果不是这几年情况特殊不方便出国，照理还要参加一些线下的论坛来接受‘拷问’。
当然了。
还是那句话。
荣誉归荣誉，热度归热度。
即便获奖、终定需要的时间长达十年，也丝毫不影响徐云可以靠此获得大量关注的事实。
毕竟国内也有不少机构是研究这方向的呢。
也许国内的数学教学水平和国际依旧有所差距，但在复验这块的能力还是毋庸置疑的。
有了国内高校的验证，热度分分钟就能炒起来。
顶多就是有些酸货会说这是国内“自嗨”、“等着国际机构打脸”之类的话了。
保不齐还能扯到一些国内科研甚至运动员造假的黑历史。
不过总体上来说，那些言论不足为虑。
想到这里。
张睿不由看了眼徐云，赞叹道：
“田院长，你这位学生是真不可限量啊。”
“这种节骨眼上整出这样的成果……咱们科大这次恐怕真要搞出个大新闻了。”
张睿对于徐云能够验证梅森素数的无穷性虽然惊异，但却没有夸张到质疑的地步。
毕竟徐云虽然只攻读了生物和物理，但这不代表他的数学水平很低。
这年头物理涉及到的数学知识可不只是简简单单的牛一牛二计算，而是需要大量的深入概念。
比如相对论。
次日。
科大生命医学大楼。
院长办公室。
“小徐，你说啥？”
看着面前被口罩包得严严实实的徐云，田良伟罕见的有些失态：
“你说你把梅森素数的无穷性证明出来了？”
虽然田良伟是个实打实的生物从业者，但这不代表他对于数学领域一无所知。
至少对于现存的几大数学难题，他还是叫得上名字的。
比如哥德巴赫猜想。
比如黎曼猜想。
比如孪生素数和费马素数。
又比如……
梅森素数的无穷性。
诚然。
和千禧年的七大难题相比，梅森素数远远算不上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这些学校的验证，方才能算是最终核验完成。
如果不是这几年情况特殊不方便出国，照理还要参加一些线下的论坛来接受‘拷问’。
当然了。
还是那句话。
荣誉归荣誉，热度归热度。
即便获奖、终定需要的时间长达十年，也丝毫不影响徐云可以靠此获得大量关注的事实。
毕竟国内也有不少机构是研究这方向的呢。
也许国内的数学教学水平和国际依旧有所差距，但在复验这块的能力还是毋庸置疑的。
有了国内高校的验证，热度分分钟就能炒起来。
顶多就是有些酸货会说这是国内“自嗨”、“等着国际机构打脸”之类的话了。
保不齐还能扯到一些国内科研甚至运动员造假的黑历史。
不过总体上来说，那些言论不足为虑。
想到这里。
张睿不由看了眼徐云，赞叹道：
“田院长，你这位学生是真不可限量啊。”
“这种节骨眼上整出这样的成果……咱们科大这次恐怕真要搞出个大新闻了。”
张睿对于徐云能够验证梅森素数的无穷性虽然惊异，但却没有夸张到质疑的地步。
毕竟徐云虽然只攻读了生物和物理，但这不代表他的数学水平很低。
这年头物理涉及到的数学知识可不只是简简单单的牛一牛二计算，而是需要大量的深入概念。
比如相对论。