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