短发女生沉默片刻，掏出手机晃了晃：
“郭教授，您看可能不清楚，最近几天科大也有一个叫徐云的博士上了热搜。”
“不过原因是因为堕胎、pua女朋友和脚踏多条船，同时产品也对宠物有毒……”
郭教授皱了皱眉头，由于年纪较大的缘故，他对于这些话题并不太感兴趣：
“这个问题不在我们的核验范围内，真想知道的话可以私下里查一查。”
“好了，大家先准备一下，尽快开始复验吧。”
“下面我叫到名字的同学，请上来领取你的复验资料。”
“赵瑞……黄海冰……杨钰……王通……”
很快。
王通分到了一份16页的手稿复印件。
这份手稿的字体事先已经被扫描成了标准字号，查阅起来倒是并不困难。
王通负责的这部分归属于count变量环节，一直以来这都是一个近似项。
不过徐云的这份手稿里，却推导出了另一种正值方式。
于是很快。
王通便拿起笔算了起来。
“考察费马数2^（2^n）＋1的素因子p，设2模p的阶为d……则由于2^（2^n）≡－1（mod p）……”
“知d不整除2^n，对1式两边平方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地址大多都在皖南。
看起来像是科大的校友。
当然了。
王通能注意到这些账号并非偶然，而是这些给徐云‘洗白’的评论已经被顶到了广场的首页。
一如当初凢凢、峰峰进局子的时候，也有一些脑残粉在超话高呼不离不弃，引来了一堆人观猴。
虽然彼时和此时的情况截然不同，但平台算法却是一致的。
“郭教授，您看可能不清楚，最近几天科大也有一个叫徐云的博士上了热搜。”
“不过原因是因为堕胎、pua女朋友和脚踏多条船，同时产品也对宠物有毒……”
郭教授皱了皱眉头，由于年纪较大的缘故，他对于这些话题并不太感兴趣：
“这个问题不在我们的核验范围内，真想知道的话可以私下里查一查。”
“好了，大家先准备一下，尽快开始复验吧。”
“下面我叫到名字的同学，请上来领取你的复验资料。”
“赵瑞……黄海冰……杨钰……王通……”
很快。
王通分到了一份16页的手稿复印件。
这份手稿的字体事先已经被扫描成了标准字号，查阅起来倒是并不困难。
王通负责的这部分归属于count变量环节，一直以来这都是一个近似项。
不过徐云的这份手稿里，却推导出了另一种正值方式。
于是很快。
王通便拿起笔算了起来。
“考察费马数2^（2^n）＋1的素因子p，设2模p的阶为d……则由于2^（2^n）≡－1（mod p）……”
“知d不整除2^n，对1式两边平方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地址大多都在皖南。
看起来像是科大的校友。
当然了。
王通能注意到这些账号并非偶然，而是这些给徐云‘洗白’的评论已经被顶到了广场的首页。
一如当初凢凢、峰峰进局子的时候，也有一些脑残粉在超话高呼不离不弃，引来了一堆人观猴。
虽然彼时和此时的情况截然不同，但平台算法却是一致的。