第(2/3)页

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

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

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

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

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

    ????????郭教授话音刚落。

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

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

    ????????很快。

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

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

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

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

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

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

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

    ????????当然了。

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

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

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

    ????????“验证人啊.”

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

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

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

    ????????“卧槽？博士？”

    ????????郭教授点点头，并未对男生的粗口有所苛责：

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

    ????????“咦？徐云？”

    ????????郭教授话音刚落。

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

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

    ????????郭教授微微一愣：

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

    ????????短发女生沉默片刻，掏出手机晃了晃：

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

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

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

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

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

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

    ????????“赵瑞.黄海冰.杨钰王通.”

    ????????很快。

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

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

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

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

    ????????于是很快。

    ????????王通便拿起笔算了起来。

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

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

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

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

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

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

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

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

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

    ????????因此对于王通等人而言。

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

    ????????沙沙沙——

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

    ????????三个小时后。

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

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

    ????????他并没有压低自己的声音，因为核验小组的每个人都戴着隔音耳罩，双十一特惠价只需咳咳

    ????????随后他站起身，将演算结果交到了等候在此的郭教授手里：

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

    ????????郭教授接过原先的文件和验证稿，朝王通点点头：

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

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

    ????????王通顿时眉头一喜。

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

    ????????接着他又看了眼郭教授，试探着问道：

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

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

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

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

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

    ????????真的成功了？

    ????????纵然王通心中早有准备，此时闻言依旧瞳孔一缩。
    第(2/3)页