第三百七十七章 风起(第2/4页)

在不需要数值分析、线代最优化算法、最优化、编程的时候,数学从业者基本上都是靠手写。

202号房内此时正坐着七八个人,有男有女。

除了一位小老头外,所有人的年纪至少在样貌上不会差别太大。

“郭教授好。”

王通礼貌的与小老头打了声招呼,随后便选了个位置坐了下去。

又过了几分钟。

待一位短发女生到场后,郭教授轻咳一声,环视了周围一圈,说道:

“各位同学,今天是星期日,原本是不应该喊大家过来加班的——毕竟咱们这行没那么多活给大家996嘛。”

下方顿时响起了一声轻笑。

不过很快。

郭教授便脸色一正,道:

“只是在今天上午,我们收到了一封来自中科大的协助函,函文中宣称他们已经证明了梅森素数的无穷性。”

“在收到函文后,我和基础数学研究所的步尚全教授以及应用数学的陈金文、何凌冰教授他们简单的草算了一遍。”

“根据我们的演算结果显示,那份推导过程不存在明显的错漏环节,随机抽检重点核验也同样如此。”

“所以我们便请张主任把各位同学临时聚集到了这里,准备进行详细的核算。”

“大家都是数学行业的顶尖人才,应该知道梅森素数在数学界的地位——如果验证流程没有问题,这可是个大新闻呐。”

郭教授话音刚落。

下方便响起了些许讨论声。

正如郭教授所说,梅森素数的地位他们可再清楚不过了。

很快。

一位高高瘦瘦的男生举起了手,此人是郭教授亲自带的一位博士生:

“老师,这是科大哪位大佬推导出来的成果?”

“张睿老先生?还是陈发来教授?”

现场的其余众人闻言,眼中也不由冒出了一股好奇。

中科大作为一所理工院校,数学水平自然不可能是短板。

但如果和其他顶尖理工大学相比,科大数学系却也不至于有多大的优势。

科大数院的优点是出国率高,进了科大数学系,基本就是进了常青藤的快车道,算是一个优质通道。

当然了。

这也和国内整体数学水平较低有关。

如果不算海外华人,国内数学水平在国际上给面子说是二流末,实际上也就三流左右。

而与咱们相反的是,咱们的老邻居霓虹在这块倒做的不错,出了不少成果。

“验证人啊……”

看着一脸好奇的众人,郭教授轻轻摇了摇头,眼中浮现出一丝感慨:

“不是老张,也不是老陈——实际上写下验证过程的压根不是科大的任何一位教授,而是一位在读博士。”

听到郭教授这番话,台下某位男生下意识便爆了一声粗口:

“卧槽?博士?”

郭教授点点头,并未对男生的粗口有所苛责:

“嗯,那位博士叫做徐云,主修的专业还是物理和生物,前途无量啊……”

“咦?徐云?”

郭教授话音刚落。

王通的耳边便骤然传来了一声轻咦,只见最后进来的那位短发女生举起了手:

“郭教授,那个叫徐云的科大博士,是不是还开着一家蟑螂药公司?”

郭教授微微一愣:

“这我就不知道了,怎么,小王你认识他?”

短发女生沉默片刻,掏出手机晃了晃:

“郭教授,您看可能不清楚,最近几天科大也有一个叫徐云的博士上了热搜。”

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

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

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

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

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

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

很快。

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

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

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

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

于是很快。

王通便拿起笔算了起来。

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

“知d不整除2^n,对①式两边平方2^(2^(n+1))≡1(mod p),于是d|2^(n+1),于是d=2^(n+1)……”

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