“阿通，今晚咱们去吃寿喜烧呗，我在点评网抽到了一张五折卷诶。”

听到自家女朋友这番话。

原本双脚靠在长条沙发另一侧、正在看视频的王通不由按下了暂停键，伸了个骨头咔咔响的懒腰：

“寿喜烧？行，啥时候出发？”

作为五道口职业技术学校丘成桐数学中心的一名副研究员，王通有着大多数数学汪难以想象的美好人生：

他大学期间就脱离了单身，并且一直持续到了现在。

如今他和女朋友张莹二人都有着不错的工作，暂住于燕京人才公寓中，正在筹备着结婚事宜。

当然了。

再怎么精打细算，偶尔吃上一顿寿喜锅还是没啥问题的。

“那家店在奥运村那边，离咱们这儿有点远呢。”

张莹看了眼点评软件的地图，心中计算着距离：

“要不就一个小时后吧，刚好等我把这波线对完。”

“对线？”

王通起身走到了女朋友身边，轻轻的环住她的腰：

“对什么线？”

张莹大大方方的朝他晃了晃手机，上头赫然显示着一篇微博：

“中科大的渣男呗，又是脚踏几条船又是pua，还叫女朋友打了两次胎——阿通，我跟你说啊，要是今后我怀孕了我可不打胎，我可想要个小宝宝了。”

王通闻言，大手在女朋友的腰上摩挲了几下：

“安啦安啦，我哪儿舍得让你受罪嘛，况且咱们还有安全措施……”

吧唧了几下后，王通便和张莹各自分开，开始准备起了出门的行头。

毕竟年轻人都追求仪式感嘛。

半个多小时后。

捯饬完毕的二人来到了公寓玄关，准备穿鞋出门。

蓦然。

王通兜里的手机响了起来。

“When your dreams come alive you are unstoppable，Take a shot，chase the sun，find the beautiful……”

王通取出手机，发现来人的备注上赫然写着‘赵主任’。

见此情形。

他的心中陡然冒出了一股不太妙的预感，不过还是很快接通了电话：

“喂，赵主任？”

片刻过后。

电话对头传来了一道有些急促的声音：

“小王，你在哪儿呢？”

“额，今天周末，刚准备和女朋友出门吃晚饭……”

“别去了，快点回学校！”

虽然心中已经猜到这种可能性，王通依旧微微一愣，拉住张莹的手问道：

“主任，出啥事了？”

“中科大那边发来了一份邮件，说是推导出了梅森素数的无穷性希望我们帮忙复验，赶紧回来！”

嘟嘟嘟——

听着手机里传来的盲音。

王通不由看向张莹，脸上露出了一丝苦笑：

“老婆，你看这……”

张莹闻言沉默片刻，幽幽叹了口气：

“哎，去吧去吧，事业要紧，我自个儿对付一顿就成了。”

王通脸上顿时露出了一股笑意，自家的女朋友不算什么大美女，但性格却一直都很贤惠。

不过目光在瞥到张莹手机的时候，他的笑容忽然僵在了脸上：

“等等……中科大？！”

……

一个小时后。

王通搭乘的计程车停到了五道口的丘成桐数学科学中心外。

丘成桐数学科学中心。

这是五道口职业学院早先独立于数学系成立的一个机构，由菲尔兹奖的首位华人得主丘成桐创立。

与偏向教书育人的五道口数学系不同。

丘成桐数学科学中心更多以年轻人为主，机构职能也大多放在了学术研究方面。

虽然与燕京大学的数学水平犹有差距，但这些年的进步倒也不可小觑，算是第一梯队的机构。

当王通抵达大厅时。

一位留着地中海的圆脸中年人正在皱眉看着手表，脸色有些着急。

王通快步走了上去：

“张主任，我来了。”

地中海中年人全名叫做张飞，一个看起来应该须发浓密身形五大三粗的名字。

目前他司职丘成桐数学科学中心的常务副主任，同时也是数学系的一位教授。

见到王通到来。

张飞拍了拍他的肩膀，算是打过招呼，指着一间标号202的房间道：

“小王，咱们这次分成了四个小组同时核验步骤，你去202帮忙郭教授小组计算，具体情况郭教授会和你说的。”

王通点点头：

“明白。”

说完他便转过身，快步走向了202房。

202房是计算中心的一间计算室，骤眼一看有些类似常见的自习室——也就是简约格调，每个位置上分出好几个挡板的布局。

除了大量的算纸之外，并没有很多人想象的超算或者主控配置。

这其实才是运用数学的常态。

在不需要数值分析、线代最优化算法、最优化、编程的时候，数学从业者基本上都是靠手写。

202号房内此时正坐着七八个人，有男有女。

除了一位小老头外，所有人的年纪至少在样貌上不会差别太大。

“郭教授好。”

王通礼貌的与小老头打了声招呼，随后便选了个位置坐了下去。

又过了几分钟。

待一位短发女生到场后，郭教授轻咳一声，环视了周围一圈，说道：

“各位同学，今天是星期日，原本是不应该喊大家过来加班的——毕竟咱们这行没那么多活给大家996嘛。”

下方顿时响起了一声轻笑。

不过很快。

郭教授便脸色一正，道：

“只是在今天上午，我们收到了一封来自中科大的协助函，函文中宣称他们已经证明了梅森素数的无穷性。”

“在收到函文后，我和基础数学研究所的步尚全教授以及应用数学的陈金文、何凌冰教授他们简单的草算了一遍。”

“根据我们的演算结果显示，那份推导过程不存在明显的错漏环节，随机抽检重点核验也同样如此。”

“所以我们便请张主任把各位同学临时聚集到了这里，准备进行详细的核算。”

“大家都是数学行业的顶尖人才，应该知道梅森素数在数学界的地位——如果验证流程没有问题，这可是个大新闻呐。”

郭教授话音刚落。

下方便响起了些许讨论声。

正如郭教授所说，梅森素数的地位他们可再清楚不过了。

很快。

一位高高瘦瘦的男生举起了手，此人是郭教授亲自带的一位博士生：

“老师，这是科大哪位大佬推导出来的成果？”

“张睿老先生？还是陈发来教授？”

现场的其余众人闻言，眼中也不由冒出了一股好奇。

中科大作为一所理工院校，数学水平自然不可能是短板。

但如果和其他顶尖理工大学相比，科大数学系却也不至于有多大的优势。

科大数院的优点是出国率高，进了科大数学系，基本就是进了常青藤的快车道，算是一个优质通道。

当然了。

这也和国内整体数学水平较低有关。

如果不算海外华人，国内数学水平在国际上给面子说是二流末，实际上也就三流左右。

而与咱们相反的是，咱们的老邻居霓虹在这块倒做的不错，出了不少成果。

“验证人啊……”

看着一脸好奇的众人，郭教授轻轻摇了摇头，眼中浮现出一丝感慨：

“不是老张，也不是老陈——实际上写下验证过程的压根不是科大的任何一位教授，而是一位在读博士。”

听到郭教授这番话，台下某位男生下意识便爆了一声粗口：

“卧槽？博士？”

郭教授点点头，并未对男生的粗口有所苛责：

“嗯，那位博士叫做徐云，主修的专业还是物理和生物，前途无量啊……”

“咦？徐云？”

郭教授话音刚落。

王通的耳边便骤然传来了一声轻咦，只见最后进来的那位短发女生举起了手：

“郭教授，那个叫徐云的科大博士，是不是还开着一家蟑螂药公司？”

郭教授微微一愣：

“这我就不知道了，怎么，小王你认识他？”

短发女生沉默片刻，掏出手机晃了晃：

“郭教授，您看可能不清楚，最近几天科大也有一个叫徐云的博士上了热搜。”

“不过原因是因为堕胎、PUA女朋友和脚踏多条船，同时产品也对宠物有毒……”

郭教授皱了皱眉头，由于年纪较大的缘故，他对于这些话题并不太感兴趣：

“这个问题不在我们的核验范围内，真想知道的话可以私下里查一查。”

“好了，大家先准备一下，尽快开始复验吧。”

“下面我叫到名字的同学，请上来领取你的复验资料。”

“赵瑞……黄海冰……杨钰……王通……”

很快。

王通分到了一份16页的手稿复印件。

这份手稿的字体事先已经被扫描成了标准字号，查阅起来倒是并不困难。

王通负责的这部分归属于count变量环节，一直以来这都是一个近似项。

不过徐云的这份手稿里，却推导出了另一种正值方式。

于是很快。

王通便拿起笔算了起来。

“考察费马数2^（2^n）＋1的素因子p，设2模p的阶为d……则由于2^（2^n）≡－1（mod p）……”

“知d不整除2^n，对①式两边平方2^（2^（n＋1））≡1（mod p），于是d|2^（n＋1），于是d=2^（n＋1）……”

“根据已有定理，调和级数是发散的，故会导致矛盾，所以……”

“F0F1……Fk－1=Fk－2对k≤t均成立，那么当k=t＋1时……”

读过五道口数学系的同学应该都知道。

国内的数学机构虽然天天被人诟病，但他们并不都是吃干饭的。

比如丘成桐数学科学中心，经常会负担起验证国内外各种推导结果的任务。

例如世人皆知怀尔斯当年的第一版费马证明过程存在问题，却不知道第一个发现这个问题并且发出指正函的其实是南大数学系。

只是一般情况下，这些结果大都会被找出bug就是了系。

因此对于王通等人而言。

复验虽然比较累人，但却并非难如登天。

沙沙沙——

指尖与演算纸摩擦的声音不断在屋内响起，一项项推导过程逐渐被验证完毕。

三个小时后。

王通抹了把额头上的汗水，长呼出一口气：

“好家伙，总算搞定了。”

他并没有压低自己的声音，因为核验小组的每个人都戴着隔音耳罩，双十一特惠价只需……咳咳……

随后他站起身，将演算结果交到了等候在此的郭教授手里：

“郭教授，我这部分验证完毕了，逻辑合理，没有任何问题。”

郭教授接过原先的文件和验证稿，朝王通点点头：

“辛苦了小王，大厅那边有盒饭，肚子饿了可以去垫垫肚子。”

“哦对了，还有一件事刚才忘了说，今天算是协助项目，有额外补助300块钱——科大那边出的。”

王通顿时眉头一喜。

三百块钱，这可不算低了呢。

接着他又看了眼郭教授，试探着问道：

“郭教授，不知道复验结果……”

郭教授摸了摸已经交还回来的文稿，表情有些复杂：

“咱们小组的进度稍微慢点，还没出具体结果。”

“不过根据其他小组还有南大、燕大、鲁东大学的反馈来看……”

“梅森素数的无穷性……应该是被验证成功了。”

真的成功了？

纵然王通心中早有准备，此时闻言依旧瞳孔一缩。

从此前郭教授的表述来看。

那位叫徐云的博士既然能被挂上‘在读’的名头，年龄无论如何都不太可能超过35岁吧？

更别说科大还有少年班中法班这种挂壁班级，说不定对方毕业的时候只有27、8岁？

真是个怪物……

以现在国内的数学环境来说，光这一份成就就足够他吃一辈子了。

随后王通带着感叹离开202房，走到大厅随意领了一口盒饭，选了个座位填起了肚子。

不过吃着吃着。

他忽然想到自己女朋友以及刚才那位短发女生说的话：

她俩都提到了科大和堕胎PUA，不出意外的话，说的应该是一件事？

想到这里。

王通干脆掏出手机，打开了下载过但不怎么用的微博。

结果刚一点进热搜榜，他便看到了三个硕大的话题：

#徐云#

#中科大宣布证明梅森素数的无穷性#

#中科大#。

三个话题依次占据了热搜的前三位，同时#徐云#这个话题的后方还有一个红色的大字：

爆。

这代表这个话题的热度已经突破了常规极限，关注度远远出圈。

随后王通想了想。

点开了#中科大宣布证明梅森素数的无穷性#这个话题。

话题内显示在最上方的是科大官微，内容很简单：

【梅森素数的无穷性进入最后环节！我校校友徐云推导出的计算结果已通过知名国际数学期刊《Annals of Mathematics》初验，你我或将见证历史？】

实话实说。

从王通的视角看来，科大的这段内容没什么问题，甚至可以有些保守。

毕竟国内的数学理论水平或许和国际上仍有差距，但复验这块还是挺有权威性的。

燕大、五道口、南大、鲁东大学加上科大自己的复验都没问题，基本上已经可以说是锤死了。

不过当他点开相关评论的时候，整个人却傻了眼。

只见这条微博的评论数已经达到了3.3万，其中第一条评论点赞数超过了7.2万。

内容则是简简单单两个字：

【脸呢？】

第二条评论的内容要更长一些：

【吐了，死保渣男不说，现在还反过来跳脸，这种垃圾还能有学术成果？当别人是傻子吗？】

第三条则脑补了很多‘内幕’：

【呕，这人是科大校长的私生子吧，这时候还出来这样护着他，真的是丢脸丢到姥姥家了，以为发个公告别人就会信？】

王通划拉了好一会儿，入眼的评论无一例外，全是在攻击科大和徐云。

毫无疑问。

即便不清楚具体内情，王通也大致猜到了一个答案：

郭教授口中证明了梅森素数无穷性的那个‘徐云’，正是自己女朋友在家抨击的那位渣男。

想到这里。

王通干脆放下了筷子，开始认真了解起了事情的经过。

先是路人宠物猫中毒……

然后网红宠物猫‘跳跳’暴毙……

接着博主曝光，引发出徐云脚踏多只船、堕胎、PUA的黑历史……

由于事先已经有‘好心人’出面，将整件事情整理成了备忘录的模式方便路人阅读。

所以王通没怎么费力，就知晓了整件事的来龙去脉。

另外在大量的抨击言论中，王通还注意到了少数几个让大家冷静或许表示徐云无辜的账号。

这些账号有男有女，IP地址大多都在皖南。

看起来像是科大的校友。

当然了。

王通能注意到这些账号并非偶然，而是这些给徐云‘洗白’的评论已经被顶到了广场的首页。

一如当初凢凢、峰峰进局子的时候，也有一些脑残粉在超话高呼不离不弃，引来了一堆人观猴。

虽然彼时和此时的情况截然不同，但平台算法却是一致的。

所以王通能看到这些内容倒也正常。

这些账号有的是直接认为徐云无辜，有的则摆出了一些证据。

例如吡虫啉是对哺乳动物无效的论文等等……

只是无论是以上哪种内容，下方都充斥着大量的冷嘲热讽。

或许是在验算过程中对徐云有了一些基于能力而出现的好感，王通并没有跟着站队，而是隐隐感觉这些评论似乎有些道理。

至少……

徐云推导出梅森素数无穷性这件事应该是真的。

于是他思索片刻。

在#中科大宣布证明梅森素数的无穷性#这个话题下发了一段内容：

【很少关注微博，刚刚才知道这件事，别的不太确定，但徐云确实写出了梅森素数无穷性的验证流程，并且根据现在的情况来看，验证成功的可能性很大，所以各位还是少说点AOE的话吧，什么学术造假都跑出来了——谁会拿这种级别的猜想造假？】

写完。

发送。

随后王通想了想，又给女朋友发去了一条微信：

【老婆，先别急着对线了，那个徐云有可能是被污蔑的，先让子弹飞一会儿，真是渣男到时候我和你一起锤他！】

与此同时。

在华夏各地。

也有一些人和王通一样，写下了各种带有相关词条的微博。

他们并没有选择明确支持徐云或者认为徐云无辜，而是从自身的专业出发，认为科大的公告并非造假。

但纵使如此，这些言论依旧是与目前网爆的‘主流’节奏有些相悖。

就这样。

一道肉眼无法看到的风，缓缓从数学圈内吹散开来……

……