我们马上记住本站网址,www.ri4.net,若被浏/览/器/转/码,可退出转/码继续阅读,感谢支持.
王浩像看傻子一样看了他一眼「咱们搞数学的，现在基本都是默认它是定理在用了好吗？」
「很多重大的数论推论都是建立在黎曼猜想成立的前提下的，你说呢？」
「哎，说到黎曼猜想————
刘强突然插话，然後看向了李东床铺下方。
「东哥这台电脑，跑那个验证黎曼Zeta函数非平凡零点的程序，已经连续跑了两天两夜了吧？」
王浩也凑了过去。
「是啊，不过说实话，验证非平凡零点这活儿，发展到现在早就不是单纯的数学推导了，还要优化算法。」
逼王王浩上线科普。
「我之前专门查过这方面的资料。」
「目前国际上公认的计算记录，是法国数学家XavierGourdon在2004年创下的。」
「人家当时可是动用了分布式的超级计算机集群，把最顶级的0S算法优化到了极致，没日没夜的跑了好几个月，才将非平凡零点验证到了恐怖的十万亿级别。」
他指了指李东的电脑。
「东哥这台移动工作站，i9的标压U加上大内存，在个人PC里确实是顶配。」
「但在当年的超算集群面前，硬体算力也差了两个数量级。」
「跑了两天两夜，按照常规算法的物理算力极限，能跑到几百亿级别已经是C++底层内存管理写得出神入化了。」
陈楠听完，好奇心被彻底勾了起来。
「你们说，东哥这程序现在到底跑到什麽数字了？」
「反正只是看看屏幕，动一下滑鼠唤醒一下而已，又不会打断程序的运行，看看呗。
刘强咽了口唾沫，大着胆子伸出手，轻轻晃动了一下李东的滑鼠。
原本漆黑的屏幕缓缓亮起。
黑色的控制台窗口里，一行行绿色的数字，正稳定的向下滚动。
三人立刻将脑袋凑了过去，看向了屏幕最下方那行实时刷新的统计数据：
【VerifiedZeros：168，451，239，840...】
【Verified Zeros：168，451，245，112...】
这一刻寝室变得无比的安静。
「个、十、百、千、万————十万、百万、千万、亿————十亿、百亿、千亿————」
刘强和陈楠念道。
「—千————一千六百八十多亿？」
「1.6乘10的11次方？」
「耗子，东哥这个算怎麽样？」
王浩刚才还从容的笑容已经僵住了。
「还————还好吧————」
他没敢确认，毕竟这有点太过夸张了。
他现在第一个想法就是，李东应该不是全量验算的。
刘强和陈楠不懂，可是他是知道一些呀。
「要是这个是全量验算的话————」
他开始快速换算着速率与硬体差距，只是越换算越觉得自己的世界观快崩塌了————
要知道，那些超算的算力，可是以TFLOPS（每秒万亿次浮点运算）甚至PFLOPS为单位来发力的！
人家倾尽全力跑几个月，才干到十万亿！
虽然对比李东跑的绝对值更大————
可是李东用的是一台家用的移动工作站啊！
而且只用了两天两夜，单机就完成了一千六百多亿个零点的全量验证？
要是也跑几个月，那不是直接就追平了？
也许还能超过？
>