——

王浩像看傻子一样看了他一眼“咱们搞数学的，现在基本都是默认它是定理在用了好吗”

“很多重大的数论推论都是建立在黎曼猜想成立的前提下的，你说呢”

“哎，说到黎曼猜想————

刘强突然插话，然后看向了李东床铺下方。

“东哥这台电脑，跑那个验证黎曼zeta函数非平凡零点的程序，已经连续跑了两天两夜了吧”

王浩也凑了过去。

“是啊，不过说实话，验证非平凡零点这活儿，发展到现在早就不是单纯的数学推导了，还要优化算法。”

逼王王浩上线科普。

“我之前专门查过这方面的资料。”

“目前国际上公认的计算记录，是法国数学家xaviergourdon在2004年创下的。”

“人家当时可是动用了分布式的超级计算机集群，把最顶级的0s算法优化到了极致，没日没夜的跑了好几个月，才將非平凡零点验证到了恐怖的十万亿级別。”

他指了指李东的电脑。

“东哥这台移动工作站，i9的標压u加上大內存，在个人pc里確实是顶配。”

“但在当年的超算集群面前，硬体算力也差了两个数量级。”

“跑了两天两夜，按照常规算法的物理算力极限，能跑到几百亿级別已经是c++底层內存管理写得出神入化了。”

陈楠听完，好奇心被彻底勾了起来。

“你们说，东哥这程序现在到底跑到什么数字了”

“反正只是看看屏幕，动一下滑鼠唤醒一下而已，又不会打断程序的运行，看看唄。

刘强咽了口唾沫，大著胆子伸出手，轻轻晃动了一下李东的滑鼠。

原本漆黑的屏幕缓缓亮起。

黑色的控制台窗口里，一行行绿色的数字，正稳定的向下滚动。

三人立刻將脑袋凑了过去，看向了屏幕最下方那行实时刷新的统计数据：

【verifiedzeros：168，451，239，840...】

【verifiedzeros：168，451，245，112...】

这一刻寢室变得无比的安静。

“个、十、百、千、万————十万、百万、千万、亿————十亿、百亿、千亿————”

刘强和陈楠念道。

“—千————一千六百八十多亿”

“1.6乘10的11次方”

“耗子，东哥这个算怎么样”

王浩刚才还从容的笑容已经僵住了。

“还————还好吧————”

他没敢確认，毕竟这有点太过夸张了。

他现在第一个想法就是，李东应该不是全量验算的。

刘强和陈楠不懂，可是他是知道一些呀。

“要是这个是全量验算的话————”

他开始快速换算著速率与硬体差距，只是越换算越觉得自己的世界观快崩塌了————

要知道，那些超算的算力，可是以tflops（每秒万亿次浮点运算）甚至pflops为单位来发力的！

人家倾尽全力跑几个月，才干到十万亿！

虽然对比李东跑的绝对值更大————

可是李东用的是一台家用的移动工作站啊！

而且只用了两天两夜，单机就完成了一千六百多亿个零点的全量验证

要是也跑几个月，那不是直接就追平了

也许还能超过

gt;