第三百七十七章 风起（7.2K）(5/9)

    “不过原因是因为堕胎、pua女朋友和脚踏多条船，同时产品也对宠物有毒”

    郭教授皱了皱眉头，由于年纪较大的缘故，他对于这些话题并不太感兴趣：

    “这个问题不在我们的核验范围内，真想知道的话可以私下里查一查。”

    “好了，大家先准备一下，尽快开始复验吧。”

    “下面我叫到名字的同学，请上来领取你的复验资料。”

    “赵瑞黄海冰杨钰王通”

    很快。

    王通分到了一份16页的手稿复印件。

    这份手稿的字体事先已经被扫描成了标准字号，查阅起来倒是并不困难。

    王通负责的这部分归属于unt变量环节，一直以来这都是一个近似项。

    不过徐云的这份手稿里，却推导出了另一种正值方式。

    于是很快。

    王通便拿起笔算了起来。

    “考察费马数2(2n)+1的素因子p，设2模p的阶为d则由于2(2n)≡-1(od p)”

    “知d不整除2n，对1式两边平方2(2(n+1))≡1(od p），于是d|2(n+1)，于是d=2(n+1)”

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

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

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

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

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

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

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

    因此对于王通等人而言。

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

    沙沙沙——

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

    三个小时后。

    王