“阿通，今晚咱们去吃寿喜烧呗，我在点评网抽到了一张五折卷诶。”
听到自家女朋友这番话。
原本双脚靠在长条沙发另一侧、正在看视频的王通不由按下了暂停键，伸了个骨头咔咔响的懒腰：
“寿喜烧？行，啥时候出发？”
作为五道口职业技术学校丘成桐数学中心的一名副研究员，王通有着大多数数学汪难以想象的美好人生：
他大学期间就脱离了单身，并且一直持续到了现在。
如今他和女朋友张莹二人都有着不错的工作，暂住于燕京人才公寓中，正在筹备着结婚事宜。
当然了。
再怎么精打细算，偶尔吃上一顿寿喜锅还是没啥问题的。
“那家店在奥运村那边，离咱们这儿有点远呢。”
张莹看了眼点评软件的地图，心中计算着距离：
“要不就一个小时后吧，刚好等我把这波线对完。”
“对线？”
王通起身走到了女朋友身边，轻轻的环住她的腰：
“对什么线？”
张莹大大方方的朝他晃了晃手机，上头赫然显示着一篇微博：
“中科大的渣男呗，又是脚踏几条船又是pua，还叫女朋友打了两次胎——阿通，我跟你说啊，要是今后我怀孕了我可不打胎，我可想要个小宝宝了。”
王通闻言，大手在女朋友的腰上摩挲了几下：
“安啦安啦，我哪儿舍得让你受罪嘛，况且咱们还有安全措施.”
吧唧了几下后，王通便和张莹各自分开，开始准备起了出门的行头。
毕竟年轻人都追求仪式感嘛。
半个多小时后。
捯饬完毕的二人来到了公寓玄关，准备穿鞋出门。
蓦然。
王通兜里的手机响了起来。
“whenyourdreamealiveyouareunstoppable，takeashot，chasethesun，findthebeautiful”
王通取出手机，发现来人的备注上赫然写着‘赵主任’。
见此情形。
他的心中陡然冒出了一股不太妙的预感，不过还是很快接通了电话：
“喂，赵主任？”
片刻过后。
电话对头传来了一道有些急促的声音：
“小王，你在哪儿呢？”
“额，今天周末，刚准备和女朋友出门吃晚饭”
“别去了，快点回学校！”
虽然心中已经猜到这种可能性，王通依旧微微一愣，拉住张莹的手问道：
“主任，出啥事了？”
“中科大那边发来了一份邮件，说是推导出了梅森素数的无穷性希望我们帮忙复验，赶紧回来！”
嘟嘟嘟——
听着手机里传来的盲音。
王通不由看向张莹，脸上露出了一丝苦笑：
“老婆，你看这”
张莹闻言沉默片刻，幽幽叹了口气：
“哎，去吧去吧，事业要紧，我自个儿对付一顿就成了。”
王通脸上顿时露出了一股笑意，自家的女朋友不算什么大美女，但性格却一直都很贤惠。
不过目光在瞥到张莹手机的时候，他的笑容忽然僵在了脸上：
“等等.中科大？！”
一个小时后。
王通搭乘的计程车停到了五道口的丘成桐数学科学中心外。
丘成桐数学科学中心。
这是五道口职业学院早先独立于数学系成立的一个机构，由菲尔兹奖的首位华人得主丘成桐创立。
与偏向教书育人的五道口数学系不同。
丘成桐数学科学中心更多以年轻人为主，机构职能也大多放在了学术研究方面。
虽然与燕京大学的数学水平犹有差距，但这些年的进步倒也不可小觑，算是第一梯队的机构。
当王通抵达大厅时。
一位留着地中海的圆脸中年人正在皱眉看着手表，脸色有些着急。
王通快步走了上去：
“张主任，我来了。”
地中海中年人全名叫做张飞，一个看起来应该须发浓密身形五大三粗的名字。
目前他司职丘成桐数学科学中心的常务副主任，同时也是数学系的一位教授。
见到王通到来。
张飞拍了拍他的肩膀，算是打过招呼，指着一间标号202的房间道：
“小王，咱们这次分成了四个小组同时核验步骤，你去202帮忙郭教授小组计算，具体情况郭教授会和你说的。”
王通点点头：
“明白。”
说完他便转过身，快步走向了202房。
202房是计算中心的一间计算室，骤眼一看有些类似常见的自习室——也就是简约格调，每个位置上分出好几个挡板的布局。
除了大量的算纸之外，并没有很多人想象的超算或者主控配置。
这其实才是运用数学的常态。
在不需要数值分析、线代最优化算法、最优化、编程的时候，数学从业者基本上都是靠手写。
202号房内此时正坐着七八个人，有男有女。
除了一位小老头外，所有人的年纪至少在样貌上不会差别太大。
“郭教授好。”
王通礼貌的与小老头打了声招呼，随后便选了个位置坐了下去。
又过了几分钟。
待一位短发女生到场后，郭教授轻咳一声，环视了周围一圈，说道：
“各位同学，今天是星期日，原本是不应该喊大家过来加班的——毕竟咱们这行没那么多活给大家996嘛。”
下方顿时响起了一声轻笑。
不过很快。
郭教授便脸色一正，道：
“只是在今天上午，我们收到了一封来自中科大的协助函，函文中宣称他们已经证明了梅森素数的无穷性。”
“在收到函文后，我和基础数学研究所的步尚全教授以及应用数学的陈金文、何凌冰教授他们简单的草算了一遍。”
“根据我们的演算结果显示，那份推导过程不存在明显的错漏环节，随机抽检重点核验也同样如此。”
“所以我们便请张主任把各位同学临时聚集到了这里，准备进行详细的核算。”
“大家都是数学行业的顶尖人才，应该知道梅森素数在数学界的地位——如果验证流程没有问题，这可是个大新闻呐。”
郭教授话音刚落。
下方便响起了些许讨论声。
正如郭教授所说，梅森素数的地位他们可再清楚不过了。
很快。
一位高高瘦瘦的男生举起了手，此人是郭教授亲自带的一位博士生：
“老师，这是科大哪位大佬推导出来的成果？”
“张睿老先生？还是陈发来教授？”
现场的其余众人闻言，眼中也不由冒出了一股好奇。
中科大作为一所理工院校，数学水平自然不可能是短板。
但如果和其他顶尖理工大学相比，科大数学系却也不至于有多大的优势。
科大数院的优点是出国率高，进了科大数学系，基本就是进了常青藤的快车道，算是一个优质通道。
当然了。
这也和国内整体数学水平较低有关。
如果不算海外华人，国内数学水平在国际上给面子说是二流末，实际上也就三流左右。
而与咱们相反的是，咱们的老邻居霓虹在这块倒做的不错，出了不少成果。
“验证人啊.”
看着一脸好奇的众人，郭教授轻轻摇了摇头，眼中浮现出一丝感慨：
“不是老张，也不是老陈——实际上写下验证过程的压根不是科大的任何一位教授，而是一位在读博士。”
听到郭教授这番话，台下某位男生下意识便爆了一声粗口：
“卧槽？博士？”
郭教授点点头，并未对男生的粗口有所苛责：
“嗯，那位博士叫做徐云，主修的专业还是物理和生物，前途无量啊”
“咦？徐云？”
郭教授话音刚落。
王通的耳边便骤然传来了一声轻咦，只见最后进来的那位短发女生举起了手：
“郭教授，那个叫徐云的科大博士，是不是还开着一家蟑螂药公司？”
郭教授微微一愣：
“这我就不知道了，怎么，小王你认识他？”
短发女生沉默片刻，掏出手机晃了晃：
“郭教授，您看可能不清楚，最近几天科大也有一个叫徐云的博士上了热搜。”
“不过原因是因为堕胎、pua女朋友和脚踏多条船，同时产品也对宠物有毒”
郭教授皱了皱眉头，由于年纪较大的缘故，他对于这些话题并不太感兴趣：
“这个问题不在我们的核验范围内，真想知道的话可以私下里查一查。”
“好了，大家先准备一下，尽快开始复验吧。”
“下面我叫到名字的同学，请上来领取你的复验资料。”
“赵瑞.黄海冰.杨钰王通.”
很快。
王通分到了一份16页的手稿复印件。
这份手稿的字体事先已经被扫描成了标准字号，查阅起来倒是并不困难。
王通负责的这部分归属于count变量环节，一直以来这都是一个近似项。
不过徐云的这份手稿里，却推导出了另一种正值方式。
于是很快。
王通便拿起笔算了起来。
“考察费马数2^(2^n)+1的素因子p，设2模p的阶为d则由于2^(2^n)≡-1(modp)”
“知d不整除2^n，对1式两边平方2^(2^(n+1))≡1(modp），于是d|2^(n+1)，于是d=2^(n+1)”
“根据已有定理，调和级数是发散的，故会导致矛盾，所以.”
“f0f1fk1=fk2对k≤t均成立，那么当k=t+1时.”
读过五道口数学系的同学应该都知道。
国内的数学机构虽然天天被人诟病，但他们并不都是吃干饭的。
比如丘成桐数学科学中心，经常会负担起验证国内外各种推导结果的任务。
例如世人皆知怀尔斯当年的第一版费马证明过程存在问题，却不知道第一个发现这个问题并且发出指正函的其实是南大数学系。
只是一般情况下，这些结果大都会被找出bug就是了系。
因此对于王通等人而言。
复验虽然比较累人，但却并非难如登天。
沙沙沙——
指尖与演算纸摩擦的声音不断在屋内响起，一项项推导过程逐渐被验证完毕。
三个小时后。
王通抹了把额头上的汗水，长呼出一口气：
“好家伙，总算搞定了。”
他并没有压低自己的声音，因为核验小组的每个人都戴着隔音耳罩，双十一特惠价只需咳咳
随后他站起身，将演算结果交到了等候在此的郭教授手里：
“郭教授，我这部分验证完毕了，逻辑合理，没有任何问题。”
郭教授接过原先的文件和验证稿，朝王通点点头：
“辛苦了小王，大厅那边有盒饭，肚子饿了可以去垫垫肚子。”
“哦对了，还有一件事刚才忘了说，今天算是协助项目，有额外补助300块钱——科大那边出的。”
王通顿时眉头一喜。
三百块钱，这可不算低了呢。
接着他又看了眼郭教授，试探着问道：
“郭教授，不知道复验结果”
郭教授摸了摸已经交还回来的文稿，表情有些复杂：
“咱们小组的进度稍微慢点，还没出具体结果。”
“不过根据其他小组还有南大、燕大、鲁东大学的反馈来看”
“梅森素数的无穷性.应该是被验证成功了。”
真的成功了？
纵然王通心中早有准备，此时闻言依旧瞳孔一缩。
从此前郭教授的表述来看。
那位叫徐云的博士既然能被挂上‘在读’的名头，年龄无论如何都不太可能超过35岁吧？
更别说科大还有少年班中法班这种挂壁班级，说不定对方毕业的时候只有27、8岁？
真是个怪物
以现在国内的数学环境来说，光这一份成就就足够他吃一辈子了。
随后王通带着感叹离开202房，走到大厅随意领了一口盒饭，选了个座位填起了肚子。
不过吃着吃着。
他忽然想到自己女朋友以及刚才那位短发女生说的话：
她俩都提到了科大和堕胎pua，不出意外的话，说的应该是一件事？
想到这里。
王通干脆掏出手机，打开了下载过但不怎么用的微博。
结果刚一点进热搜榜，他便看到了三个硕大的话题：
#徐云#qqxsnew
#中科大宣布证明梅森素数的无穷性#
#中科大#。
三个话题依次占据了热搜的前三位，同时#徐云#这个话题的后方还有一个红色的大字：
爆。
这代表这个话题的热度已经突破了常规极限，关注度远远出圈。
随后王通想了想。
点开了#中科大宣布证明梅森素数的无穷性#这个话题。
话题内显示在最上方的是科大官微，内容很简单：
【梅森素数的无穷性进入最后环节！我校校友徐云推导出的计算结果已通过知名国际数学期刊《annalsofmathematics》初验，你我或将见证历史？】
实话实说。
从王通的视角看来，科大的这段内容没什么问题，甚至可以有些保守。
毕竟国内的数学理论水平或许和国际上仍有差距，但复验这块还是挺有权威性的。
燕大、五道口、南大、鲁东大学加上科大自己的复验都没问题，基本上已经可以说是锤死了。
不过当他点开相关评论的时候，整个人却傻了眼。
只见这条微博的评论数已经达到了3.3万，其中第一条评论点赞数超过了7.2万。
内容则是简简单单两个字：
【脸呢？】
第二条评论的内容要更长一些：
【吐了，死保渣男不说，现在还反过来跳脸，这种垃圾还能有学术成果？当别人是傻子吗？】
第三条则脑补了很多‘内幕’：
【呕，这人是科大校长的私生子吧，这时候还出来这样护着他，真的是丢脸丢到姥姥家了，以为发个公告别人就会信？】
王通划拉了好一会儿，入眼的评论无一例外，全是在攻击科大和徐云。
毫无疑问。
即便不清楚具体内情，王通也大致猜到了一个答案：
郭教授口中证明了梅森素数无穷性的那个‘徐云’，正是自己女朋友在家抨击的那位渣男。
想到这里。
王通干脆放下了筷子，开始认真了解起了事情的经过。
先是路人宠物猫中毒.
然后网红宠物猫‘跳跳’暴毙.
接着博主曝光，引发出徐云脚踏多只船、堕胎、pua的黑历史
由于事先已经有‘好心人’出面，将整件事情整理成了备忘录的模式方便路人阅读。
所以王通没怎么费力，就知晓了整件事的来龙去脉。
另外在大量的抨击言论中，王通还注意到了少数几个让大家冷静或许表示徐云无辜的账号。
这些账号有男有女，ip地址大多都在皖南。
看起来像是科大的校友。
当然了。
王通能注意到这些账号并非偶然，而是这些给徐云‘洗白’的评论已经被顶到了广场的首页。
一如当初凢凢、峰峰进局子的时候，也有一些脑残粉在超话高呼不离不弃，引来了一堆人观猴。
虽然彼时和此时的情况截然不同，但平台算法却是一致的。
所以王通能看到这些内容倒也正常。
这些账号有的是直接认为徐云无辜，有的则摆出了一些证据。
例如吡虫啉是对哺乳动物无效的论文等等
只是无论是以上哪种内容，下方都充斥着大量的冷嘲热讽。
或许是在验算过程中对徐云有了一些基于能力而出现的好感，王通并没有跟着站队，而是隐隐感觉这些评论似乎有些道理。
至少
徐云推导出梅森素数无穷性这件事应该是真的。
于是他思索片刻。
在#中科大宣布证明梅森素数的无穷性#这个话题下发了一段内容：
【很少关注微博，刚刚才知道这件事，别的不太确定，但徐云确实写出了梅森素数无穷性的验证流程，并且根据现在的情况来看，验证成功的可能性很大，所以各位还是少说点aoe的话吧，什么学术造假都跑出来了——谁会拿这种级别的猜想造假？】
写完。
发送。
随后王通想了想，又给女朋友发去了一条微信：
【老婆，先别急着对线了，那个徐云有可能是被污蔑的，先让子弹飞一会儿，真是渣男到时候我和你一起锤他！】
与此同时。
在华夏各地。
也有一些人和王通一样，写下了各种带有相关词条的微博。
他们并没有选择明确支持徐云或者认为徐云无辜，而是从自身的专业出发，认为科大的公告并非造假。
但纵使如此，这些言论依旧是与目前网爆的‘主流’节奏有些相悖。
就这样。
一道肉眼无法看到的风，缓缓从数学圈内吹散开来.
注：
看了很多留言，很多读者表示想重新再建个群，其实建群很容易，但是需要有人能看群啊，我的精力是不足以支撑我两头兼顾的。
所以有愿意做管理的可以在这里留言，粉丝值要求全订吧，我后台可以看到一些评论和阅读时常的数据，如果合适的超过五个人我就重新建群。
另外求保底月票！！！！
(本章完)