第685节

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

上一章目录+书签下一章