黄海冰.杨钰王通.”

很快。

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

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

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

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

于是很快。

王通便拿起笔算了起来。

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

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

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

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

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

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

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

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

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

因此对于王通等人而言。

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

沙沙沙——

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

三个小时后。

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

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