短发女生沉默片刻，掏出手机晃了晃： “郭教授，您看可能不清楚，最近几天科大也有一个叫徐云的博士上了热搜。” “不过原因是因为堕胎、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块钱——科大那边出的。” 王通顿时眉头一喜。 三百块钱，这可不算低了呢。 接着他又看了眼郭教授，试探着问道： “郭教授，不知道复验结果……” 郭教授摸了摸已经交还回来的文稿，表情有些复杂： “咱们小组的进度稍微慢点，还没出具体结果。” “不过根据其他小组还有南大、燕大、鲁东大学的反馈来看……” “梅森素数的无穷性……应该是被验证成功了。” 真的成功了？ 纵然王通心中早有准备，此时闻言依旧瞳孔一缩。 从此前郭教授的表述来看。 那位叫徐云的博士既然能被挂上‘在读’的名头，年龄无论如何都不太可能超过3m.PAＲTｓｏｒdＥr63.ＣｏM