一个小时后。
王通搭乘的计程车停到了五道口的丘成桐数学科学中心外。
丘成桐数学科学中心。
这是五道口职业学院早先独立于数学系成立的一个机构，由菲尔兹奖的首位华人得主丘成桐创立。
与偏向教书育人的五道口数学系不同。
丘成桐数学科学中心更多以年轻人为主，机构职能也大多放在了学术研究方面。
虽然与燕京大学的数学水平犹有差距，但这些年的进步倒也不可小觑，算是第一梯队的机构。
当王通抵达大厅时。
一位留着地中海的圆脸中年人正在皱眉看着手表，脸色有些着急。
王通快步走了上去：
“张主任，我来了。”
地中海中年人全名叫做张飞，一个看起来应该须发浓密身形五大三粗的名字。
目前他司职丘成桐数学科学中心的常务副主任，同时也是数学系的一位教授。
见到王通到来。
张飞拍了拍他的肩膀，算是打过招呼，指着一间标号202的房间道：
“小王，咱们这次分成了四个小组同时核验步骤，你去202帮忙郭教授小组计算，具体情况郭教授会和你说的。”
王通点点头：
“明白。”
说完他便转过身，快步走向了202房。
202房是计算中心的一间计算室，骤眼一看有些类似常见的自习室——也就是简约格调，每个位置上分出好几个挡板的布局。
除了大量的算纸之外，并没有很多人想象的超算或者主控配置。
这其实才是运用数学的常态。
在不需要数值分析、线代最优化算法、最优化、编程的时候，数学从业者基本上都是靠手写。
202号房内此时正坐着七八个人，有男有女。
除了一位小老头外，所有人的年纪至少在样貌上不会差别太大。
“郭教授好。”
王通礼貌的与小老头打了声招呼，随后便选了个位置坐了下去。
又过了几分钟。
待一位短发女生到场后，郭教授轻咳一声，环视了周围一圈，说道：
“各位同学，今天是星期日，原本是不应该喊大家过来加班的——毕竟咱们这行没那么多活给大家996嘛。”
下方顿时响起了一声轻笑。
不过很快。
郭教授便脸色一正，道：
“只是在今天上午，我们收到了一封来自中科大的协助函，函文中宣称他们已经证明了梅森素数的无穷性。”
“在收到函文后，我和基础数学研究所的步尚全教授以及应用数学的陈金文、何凌冰教授他们简单的草算了一遍。”
“根据我们的演算结果显示，那份推导过程不存在明显的错漏环节，随机抽检重点核验也同样如此。”
“所以我们便请张主任把各位同学临时聚集到了这里，准备进行详细的核算。”
“大家都是数学行业的顶尖人才，应该知道梅森素数在数学界的地位——如果验证流程没有问题，这可是个大新闻呐。”
郭教授话音刚落。
下方便响起了些许讨论声。
正如郭教授所说，梅森素数的地位他们可再清楚不过了。
很快。
一位高高瘦瘦的男生举起了手，此人是郭教授亲自带的一位博士生：
“老师，这是科大哪位大老推导出来的成果？”
“张睿老先生？还是陈发来教授？”
现场的其余众人闻言，眼中也不由冒出了一股好奇。
中科大作为一所理工院校，数学水平自然不可能是短板。
但如果和其他顶尖理工大学相比，科大数学系却也不至于有多大的优势。