第三百七十七章 风起（7.2K）(第 3/4 页)

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

    很快。

    王通分到了一份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)”

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

    “f0f1fk1=fk2 对 k≤t 均成立，那么当 k=t+1 时.”

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

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

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

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

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

    因此对于王通等人而言。

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

    沙沙沙——

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

    三个小时后。

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

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

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

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

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

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

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

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

    王通顿时眉头一喜。

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

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

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

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

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

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

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

    真的成功了？

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

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

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

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

    真是个怪物

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

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

    不过吃着吃着。

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

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

    想到这里。

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

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

    #徐云#

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

    #中科大#。

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

    爆。

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

    随后王通想了想。

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

    -->>(第 3/4 页)（本章未完，请点击下一页继续阅读）