第三百七十七章 风起(7.2K)(3 / 5)

黄海冰杨钰王通”

很快。

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

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

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

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

于是很快。

王通便拿起笔算了起来。

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

“知d不整除2n,对1式两边平方2(2(n1))≡1(odp),于是d2(n1),于是d2(n1)”

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

“f0f1fk1fk2对k≤t均成立,那么当kt1时”

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

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

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

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

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

因此对于王通等人而言。

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

沙沙沙——

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

三个小时后。

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

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

他并没有压低自己的声音,因为核验小组的每个人都戴着隔音耳罩,双十一特惠价只需咳咳  随后他站起身,将演算结果交到了等候在此的郭教授手里:

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

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

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

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

王通顿时眉头一喜。

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

接着他又看了眼郭教授,试探着问道:

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

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

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

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

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

真的成功了?

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

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

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

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

真是个怪物  以现在国内的数学环境来说,光这一份成就就足够他吃一辈子了。

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

不过吃着吃着。

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

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

想到这里。

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