走进不科学
注：章说已经恢复，各位可以正常留言了
次日。
科大生命医学大楼。
院长办公室。
“小徐，你说啥？”
看着面前被口罩包得严严实实的徐云，田良伟罕见的有些失态：
“你说你把梅森素数的无穷性证明出来了？”
虽然田良伟是个实打实的生物从业者，但这不代表他对于数学领域一无所知。
至少对于现存的几大数学难题，他还是叫得上名字的。
比如哥德巴赫猜想。
比如黎曼猜想。
比如孪生素数和费马素数。
又比如.
梅森素数的无穷性。
诚然。
和千禧年的七大难题相比，梅森素数远远算不上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国内学术的言论，看起来乌烟瘴气。
而就在这样的氛围中。
两日后。
一条微博悄然出现在了热搜末端：
#中科大宣布证明梅森素数的无穷性#！
注：
四群我解散了，前天聊涩情昨天键政——还不是普通的那种，大概就是说穿回19年搞恐怖袭击来提醒疫情，今天十几号人直接在群里分享盗版软件，手把手教人怎么插入链接，有时候管理员啥事不干甚至参与其中，一堆群员觉得有问题的言论管理员冒出来一句没违规，一边码字还要一边看群没那精力，所以直接解散了。
(本章完)