第三百七十七章 风起（7.2K）

需要数值分析、线代最优化算法、最优化、编程的时候，数学从业者基本上都是靠手写。
202号房内此时正坐着七八个人，有男有女。
除了一位小老头外，所有人的年纪至少在样貌上不会差别太大。
“郭教授好。”
王通礼貌的与小老头打了声招呼，随后便选了个位置坐了下去。
又过了几分钟。
待一位短发女生到场后，郭教授轻咳一声，环视了周围一圈，说道：
“各位同学，今天是星期日，原本是不应该喊大家过来加班的——毕竟咱们这行没那么多活给大家996嘛。”
下方顿时响起了一声轻笑。
不过很快。
郭教授便脸色一正，道：
“只是在今天上午，我们收到了一封来自中科大的协助函，函文中宣称他们已经证明了梅森素数的无穷性。”
“在收到函文后，我和基础数学研究所的步尚全教授以及应用数学的陈金文、何凌冰教授他们简单的草算了一遍。”
“根据我们的演算结果显示，那份推导过程不存在明显的错漏环节，随机抽检重点核验也同样如此。”
“所以我们便请张主任把各位同学临时聚集到了这里，准备进行详细的核算。”
“大家都是数学行业的顶尖人才，应该知道梅森素数在数学界的地位——如果验证流程没有问题，这可是个大新闻呐。”
郭教授话音刚落。
下方便响起了些许讨论声。
正如郭教授所说，梅森素数的地位他们可再清楚不过了。
很快。
一位高高瘦瘦的男生举起了手，此人是郭教授亲自带的一位博士生：
“老师，这是科大哪位大老推导出来的成果？”
“张睿老先生？还是陈发来教授？”
现场的其余众人闻言，眼中也不由冒出了一股好奇。
中科大作为一所理工院校，数学水平自然不可能是短板。
但如果和其他顶尖理工大学相比，科大数学系却也不至于有多大的优势。
科大数院的优点是出国率高，进了科大数学系，基本就是进了常青藤的快车道，算是一个优质通道。
当然了。
这也和国内整体数学水平较低有关。
如果不算海外华人，国内数学水平在国际上给面子说是二流末，实际上也就三流左右。
而与咱们相反的是，咱们的老邻居霓虹在这块倒做的不错，出了不少成果。
“验证人啊......”
看着一脸好奇的众人，郭教授轻轻摇了摇头，眼中浮现出一丝感慨：
“不是老张，也不是老陈——实际上写下验证过程的压根不是科大的任何一位教授，而是一位在读博士。”
听到郭教授这番话，台下某位男生下意识便爆了一声粗口：
“卧槽？博士？”
郭教授点点头，并未对男生的粗口有所苛责：
“嗯，那位博士叫做徐云，主修的专业还是物理和生物，前途无量啊......”
“咦？徐云？”
郭教授话音刚落。
王通的耳边便骤然传来了一声轻咦，只见最后进来的那位短发女生举起了手：
“郭教授，那个叫徐云的科大博士，是不是还开着一家蟑螂药公司？”
郭教授微微一愣：
“这我就不知道了，怎么，小王你认识他？”
短发女生沉默片刻，掏出手机晃了晃：
“郭教授，您看可能不清楚，最近几天科大也有一个叫徐云的博士上了热搜。”
“不过原因是因为堕胎、PUA女朋友和脚踏多条船，同时产品也对宠物有毒......”
郭教授皱了皱眉头，由于年纪较大的缘故，他对于这些话题并不太感兴趣：
“这个问题不在我们的核验范围内，真想知道的话可以私下里查一查。”
“好了，大家先准备一下，尽快开始复验吧。”
“下面我叫到名字的同学，请上来领取你的复验资料。”
“赵瑞.....黄海冰.....杨玉.....王通......”
很快。
王通分到了一份16页的手稿复印件。
这份手稿的字体事先已经被扫描成了标准字号，查阅起来倒是并不困难。
王通负责的这部分归属于t变量环节，一直以来这都是一个近似项。
不过徐云的这份手稿里，却推导出了另一种正值方式。
于是很快。
王通便拿起笔算了起来。
“考察费马数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)......”
“根据已有定理，调和级数是发散的，故会导致矛盾，所以......”
“F0F1?Fk?1=Fk?2 对 k