章节错误,点此举报(免注册),举报后维护人员会在两分钟内校正章节内容,请耐心等待,并刷新页面。
注:章说已经恢复,各位可以正常留言了
...... ....... ...... 次日。 科大生命医学大楼。 院长办公室。 “小徐,你说啥?”看着面前被口罩包得严严实实的徐云,田良伟罕见的有些失态: “你说你把梅森素数的无穷性证明出来了?”
虽然田良伟是个实打实的生物从业者,但这不代表他对于数学领域一无所知。 至少对于现存的几大数学难题,他还是叫得上名字的。 比如哥德巴赫猜想。 比如黎曼猜想。 比如孪生素数和费马素数。 又比如...... 梅森素数的无穷性。 诚然。 和千禧年的七大难题相比,梅森素数远远算不上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这些学校的验证,方才能算是最终核验完成。 如果不是这几年情况特殊不方便出国,照理还要参加一些线下的论坛来接受‘拷问’。 当然了。 还是那句话。 荣誉归荣誉,热度归热度。 即便获奖、终定需要的时间长达十年,也丝毫不影响徐云可以靠此获得大量关注的事实。 毕竟国内也有不少机构是研究这方向的呢。 也许国内的数学教学水平和国际依旧有所差距,但在复验这块的能力还是毋庸置疑的。 有了国内高校的验证,热度分分钟就能炒起来。 顶多就是有些酸货会说这是国内“自嗨”、“等着国际机构打脸”之类的话了。 保不齐还能扯到一些国内科研甚至运动员造假的黑历史。 不过总体上来说,那些言论不足为虑。 想到这里。 张睿不由看了眼徐云,赞叹道: “田院长,你这位学生是真不可限量啊。”
“这种节骨眼上整出这样的成果.....咱们科大这次恐怕真要搞出个大新闻了,” 张睿对于徐云能够验证梅森素数的无穷性虽然惊异,但却没有夸张到质疑的地步。 毕竟徐云虽然只攻读了生物和物理,但这不代表他的数学水平很低。 这年头物理涉及到的数学知识可不只是简简单单的牛一牛二计算,而是需要大量的深入概念。 比如相对论。 它的基础就是黎曼几何,全文都是用张量进行描述的。 没数学基础根本就学不了多深。 隔壁有个叫天瑞说符的倒霉蛋,就被这玩意儿折腾的要死要活的。 所以张睿此时心中的惊讶肯定是有,但远远不止于脑补其他一些画面。 超前一步是天才,徐云从始至终都在把握着这个度。 .......... 随后田良伟又朝张睿手中的文件努了努下巴,问道: “老张,我对数学论文这方面不太了解,所以今天找你过来还有一件事。”
“就是想问问你,小徐的这篇文章到底该要怎么发布才合适。”
“怎么发布么......” 张睿拿起桌上的水杯抿了口水,沉吟片刻,说道: “田院长,这事儿说起来其实还挺复杂的,大概要分成几个阶段进行。”
“首先要做的,就是把这些文稿拿到我们数院,进行一次完整的复验。”
“等到内部验证没有问题了,才能进行下一步。”
田良伟点点头,这个道理倒是不难理解: “没问题,不过老张,这个流程大概要多久?”
张睿闻言捏了捏徐云的文稿,思索道: “小徐的稿件大概有七十多张,我估计一次详细的核验——不是像我刚才那种的草算哈,大概需要六到七个小时左右。”
“这样吧,我回去安排一些人手,争取在明天这时候完成复验任务。”
田良伟原以为张睿会报出个两到三天的答案,稍显意外的同时自然也不会选择推辞: “那就多谢了。”
张睿笑着摆了摆手。 这是一种双向的行为,毕竟徐云的这份成果分量实在是太重了。 如果徐云的推导过程没有问题,那么科大数院也会由此沾光,他自然也要尽力而为了。 接着他顿了顿,又说道: “等复验完毕后,我们就可以通过科大官方渠道正式发布公告,把验证邮件发送给各大数学机构。”
“同时还可以联系一家顶级数学期刊,请他们加急评审——我个人推荐《Annals of Mathematics》。”
田良伟微微一愣: “数学年刊?”
众所周知。 期刊领域除了CNS之外,每个学科也通常会有自身方向的所谓顶级期刊。 比如数学界的‘四大神刊’。 这四大神刊分别是: 数学年刊: 《Annals of Mathematics》 数学新进展: 《Inventiones mathematicae》 数学学报: 《Acta Mathematica》 美国数学会杂志: 《Journal of the American Mathematical Society》 在数学领域中,四大的地位基本等同于CNS之于化学物理。 由于大陆数学界与前沿差距较大的缘故,国内——这里不包括华人哈,单纯国内学者发布四大的总篇数,从建国后截止到2022年都没破百。 国内的教授如果能有一篇论文发在上述杂志上,基本上评博导是没有问题的。 即便是张睿这种号称最有机会获得沃尔夫奖的本土数学家,此前也只发过一篇《Acta Mathematica》罢了。 当然了。 如果徐云的推导过程确定没问题,这些所谓的期刊壁垒将会瞬间消失不见,甚至可能一转攻势。 虽然不至于几大期刊抱着大腿喊着‘爸爸选我吧’那么夸张,但优先级上必然会降低无数倍。 随后田良伟想了想,又问道: “那么老张,如果投《Annals of Mathematics》的话,arXiv那边需要考虑一下吗?”
arXiv。 不同于常规期刊,这是目前影响力最大的预印本网站之一,建立于1991年。 当时一群物理学家想要彼此交流自己将要发表的文章,奈何以哪个时代的网络条件和数据储存能力来说,靠邮件交流实在是太困难了。 于是这群物理学家就成了一个共享平台LANL,这个就是arXiv的雏形。 当时由洛斯阿拉莫斯国家实验室运营,现在已经被康奈尔大学接管、 arXiv是目前最老牌也是包括学科最为全面的预印本网站,涵盖了数学、材料、物理、计算机、统计、天文、生物、金融等领域。 这个网站有些类似现在的贴吧,早期阶段门槛很低。 无论你是民科还是正轨军,只要能上网,就都可以在上头发表内容。 不过由于投稿人数过多,2004年网站开始引入审核制度,只有材料学的文章依然可以不用审核。 目前为止。 arXiv已经收录了多达170万篇学术文章,数量之多冠绝业内。 在这个网站上发表的论文就相当于占了个坑,不会被人抢走成果——毕竟传统的发表方式需要很多时间,从成文到同行评议到网上发表排版付印,极有可能花费几个月甚至一两年。 比如此前传闻已经攻破了攻克朗道-西格尔零点猜想的张益唐,他的论文预计就将在11月内发表在arXiv上。(所以最近我在复习数论,希望能赶得上,如果真发表了到时候可以和大家说下我的浅见,还是挺期待的,虽然大概率是证明零点不存在,如果存在乐子可就大了) “arXiv吗......” 张睿摸了摸下巴,斟酌着道: “这倒也行,毕竟arXiv是个公开站点,虽然势必会引来一些民科,但专业人士无疑会更多。”
“这样吧,我回去先组织个小会,看看能不能以科大乃至科院的名义发个函,争取让那边快速组织一批评审。”
田良伟点点头: “好,那就麻烦你了。”
考虑到事态紧急,张睿便也没和田良伟闲聊。 在简单提了一句相关事务后,他便带着徐云的文稿匆匆离开了办公室。 徐云则被田良伟多留了十来分钟,确定自己的学生状态还行方才放人。 就这样。 时间一天天的流逝。 网络上对徐云和科大的声讨愈发势大,甚至波及到了其他一些无关新闻的下方占楼。 一般话术就是【抱歉占楼,请关注#徐云##中科大#事件,校方死保pua渣男,试问公道何在?】 这类楼中楼里头则充斥着diss国内学术的言论,看起来乌烟瘴气。 而就在这样的氛围中。 两日后。 一条微博悄然出现在了热搜末端: #中科大宣布证明梅森素数的无穷性#! ...........