“知d不整除2n，对1式两边平方2(2(n+1))≡1(odp），于是d|2(n+1)，于是d=2(n+1)”
“根据已有定理，调和级数是发散的，故会导致矛盾，所以”
“f0f1fk1=fk2对k≤t均成立，那么当k=t+1时”
读过五道口数学系的同学应该都知道。
国内的数学机构虽然天天被人诟病，但他们并不都是吃干饭的。
比如丘成桐数学科学中心，经常会负担起验证国内外各种推导结果的任务。
例如世人皆知怀尔斯当年的第一版费马证明过程存在问题，却不知道第一个发现这个问题并且发出指正函的其实是南大数学系。
只是一般情况下，这些结果大都会被找出bug就是了系。
因此对于王通等人而言。
复验虽然比较累人，但却并非难如登天。
沙沙沙——
指尖与演算纸摩擦的声音不断在屋内响起，一项项推导过程逐渐被验证完毕。
三个小时后。
王通抹了把额头上的汗水，长呼出一口气：
“好家伙，总算搞定了。”
他并没有压低自己的声音，因为核验小组的每个人都戴着隔音耳罩，双十一特惠价只需咳咳
随后他站起身，将演算结果交到了等候在此的郭教授手里：
“郭教授，我这部分验证完毕了，逻辑合理，没有任何问题。”
郭教授接过原先的文件和验证稿，朝王通点点头：
“辛苦了小王，大厅那边有盒饭，肚子饿了可以去垫垫肚子。”
“哦对了，还有一件事刚才忘了说，今天算是协助项目，有额外补助300块钱——科大那边出的。”
王通顿时眉头一喜。
三百块钱，这可不算低了呢。
接着他又看了眼郭教授，试探着问道：
“郭教授，不知道复验结果”
郭教授摸了摸已经交还回来的文稿，表情有些复杂：
“咱们小组的进度稍微慢点，还没出具体结果。”
“不过根据其他小组还有南大、燕大、鲁东大学的反馈来看”
“梅森素数的无穷性应该是被验证成功了。”
真的成功了？
纵然王通心中早有准备，此时闻言依旧瞳孔一缩。
从此前郭教授的表述来看。
那位叫徐云的博士既然能被挂上‘在读’的名头，年龄无论如何都不太可能超过35岁吧？
更别说科大还有少年班中法班这种挂壁班级，说不定对方毕业的时候只有27、8岁？
真是个怪物
以现在国内的数学环境来说，光这一份成就就足够他吃一辈子了。
随后王通带着感叹离开202房，走到大厅随意领了一口盒饭，选了个座位填起了肚子。
不过吃着吃着。
他忽然想到自己女朋友以及刚才那位短发女生说的话：
…她俩都提到了科大和堕胎pua，不出意外的话，说的应该是一件事？
想到这里。
王通干脆掏出手机，打开了下载过但不怎么用的微博。
结果刚一点进热搜榜，他便看到了三个硕大的话题：
徐云
中科大宣布证明梅森素数的无穷性
中科大。
三个话题依次占据了热搜的前三位，同时徐云这个话题的后方还有一个红色的大字：
爆。
这代表这个话题的热度已经突破了常规极限，度远远出圈。
随后王通想了想。
点开了中科大宣布证明梅森素数的无穷性这个话题。
话题内显示在最上方的是科大官微，内容很简单：
实话实说。
从王通的视角看来，科大的这段内容没什么问题，甚至可以有些保守。
毕竟国内的数学理论水平或许和国际上仍有差距，但复验这块还是挺有权威性的。
燕大、五道口、南大、鲁东大学加上科大自己的复验都没问题，基本上已经可以说是锤死了。
不过当他点开相关评论的时候，整个人却傻了眼。
只见这条微博的评论数已经达到了33万，其中第一条评论点赞数超过了72万。
内容则是简简单单两个字：
第二条评论的内容要更长一些：
第三条则脑补了很多‘内幕’：???
王通划拉了好一会儿，入眼的评论无一例外，全是在攻击科大和徐云。
毫无疑问。
即便不清楚具体内情，王通也大致猜到了一个答案：
郭教授口中证明了梅森素数无穷性的那个‘徐云’