第105章 要不要这么离谱(2/2)

【畅读更新加载慢，有广告，章节不完整，请退出畅读后阅读！】

「你们说，黎曼猜想到底是会被证明还是会被证伪呀？」



    陈楠问道。



    ??



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



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



    「哎，说到黎曼猜想????



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



    「东哥这台电脑，跑那个验证黎曼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为单位来发力的！



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



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



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



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



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



    也许还能超过？