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

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