当然了。</p>
这也和国内整体数学水平较低有关。</p>
如果不算海外华人，国内数学水平在国际上给面子说是二流末，实际上也就三流左右。</p>
而与咱们相反的是，咱们的老邻居霓虹在这块倒做的不错，出了不少成果。</p>
“验证人啊.”</p>
看着一脸好奇的众人，郭教授轻轻摇了摇头，眼中浮现出一丝感慨：</p>
“不是老张，也不是老陈——实际上写下验证过程的压根不是科大的任何一位教授，而是一位在读博士。”</p>
听到郭教授这番话，台下某位男生下意识便爆了一声粗口：</p>
“卧槽？博士？”</p>
郭教授点点头，并未对男生的粗口有所苛责：</p>
“嗯，那位博士叫做徐云，主修的专业还是物理和生物，前途无量啊”</p>
“咦？徐云？”</p>
郭教授话音刚落。</p>
王通的耳边便骤然传来了一声轻咦，只见最后进来的那位短发女生举起了手：</p>
“郭教授，那个叫徐云的科大博士，是不是还开着一家蟑螂药公司？”</p>
郭教授微微一愣：</p>
“这我就不知道了，怎么，小王你认识他？”</p>
短发女生沉默片刻，掏出手机晃了晃：</p>
“郭教授，您看可能不清楚，最近几天科大也有一个叫徐云的博士上了热搜。”</p>
“不过原因是因为堕胎、pua女朋友和脚踏多条船，同时产品也对宠物有毒”</p>
郭教授皱了皱眉头，由于年纪较大的缘故，他对于这些话题并不太感兴趣：</p>
“这个问题不在我们的核验范围内，真想知道的话可以私下里查一查。”</p>
“好了，大家先准备一下，尽快开始复验吧。”</p>
“下面我叫到名字的同学，请上来领取你的复验资料。”</p>
“赵瑞.黄海冰.杨钰王通.”</p>
很快。</p>
王通分到了一份16页的手稿复印件。</p>
这份手稿的字体事先已经被扫描成了标准字号，查阅起来倒是并不困难。</p>
王通负责的这部分归属于count变量环节，一直以来这都是一个近似项。</p>
不过徐云的这份手稿里，却推导出了另一种正值方式。</p>
于是很快。</p>
王通便拿起笔算了起来。</p>
“考察费马数2^(2^n)+1的素因子p，设2模p的阶为d则由于2^(2^n)≡-1(modp)”</p>
“知d不整除2^n，对1式两边平方2^(2^(n+1))≡1(modp），于是d|2^(n+1)，于是d=2^(n+1)”</p>
“根据已有定理，调和级数是发散的，故会导致矛盾，所以.”</p>
“f0f1fk1=fk2对k≤t均成立，那么当k=t+1时.”</p>
读过五道口数学系的同学应该都知道。</p>
国内的数学机构虽然天天被人诟病，但他们并不都是吃干饭的。</p>
比如丘成桐数学科学中心，经常会负担起验证国内外各种推导结果的任务。</p>
例如世人皆知怀尔斯当年的第一版费马证明过程存在问题，却不知道第一个发现这个问题并且发出指正函的其实是南大数学系。</p>
只是一般情况下，这些结果大都会被找出bug就是了系。</p>
因此对于王通等人而言。</p>
复验虽然比较累人，但却并非难如登天。</p>
沙沙沙——</p>
指尖与演算纸摩擦的声音不断在屋内响起，一项项推导过程逐渐被验证完毕。</p>
三个小时后。</p>
王通抹了把额头上的汗水，长呼出一口气：</p>
“好家伙，总算搞定了。”</p>