我的学习群里全是真大佬 第120节

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

　　陈楠问道。

　　王浩像看傻子一样看了他一眼.

　　“咱们搞数学的，现在基本都是默认它是定理在用了好吗？”

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

　　“哎，说到黎曼猜想……”

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

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

　　王浩也凑了过去。

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

　　逼王王浩上线科普。

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

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

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

　　他指了指

　　李东的电脑。

　　“东哥这台移动工作站，i9的标压U加上大内存，在个人PC里确实是顶配。”

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

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

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

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

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

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

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

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

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

　　【VerifiedZeros:168，451，239，840...】

　　【VerifiedZeros:168，451，245，112...】

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

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

　　刘强和陈楠念道。

　　“一千……一千六百八十多亿？”

　　“1.6乘10的11次方？”

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

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

　　“还……还好吧……”

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

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

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

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

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

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

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

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

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

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

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

　　也许还能超过？

第106章 等会可千万别哭出来哦

　　李东从浙大回来的时候，寝室里只有王浩一个人。

　　刘强和陈楠依旧不知道去哪儿卷去了。

　　王浩见李东推门进来，他放下了手中的《AlgebraicGeometry》然后看著李东。

　　只是此时他的脸色奇奇怪怪的。

　　“东哥，回来啦？事情处理完了吗？”王浩试探著打了个招呼。

　　李东有些疲惫的点了点头。

　　“嗯，没问题了，剩下的就是交给时间去验证了。”

　　高山柳菊的T1代突变株已经成功开花结籽，只要等表型数据一出来，孟德尔的百年遗憾就能画上完美的句号。

　　王浩“哦”了一声，随后假装漫不经心的问道。

　　“哎，对了东哥，一直没顾上问你，你高考数学成绩怎么样啊？”

　　他问这个问题，也是有小心思的。

　　自从上次他看到了李东那台移动工作站上的零点数据后，他内心的骄傲就已经在崩溃的边缘了。

　　如果那真的是全量验算，而且跑到了千亿甚至更高的级别，那李东的数学恐怕……

　　李东正在拿杯子倒水呢，听到这个问题，下意识的回了一句。

　　“啊，满分。”

　　果然如此。

　　王浩又追问了一句。

　　“那你以前的高中数学……也都是满分吗？”

　　李东这才觉得有点奇怪，转头看向王浩。

　　“嗯，都是满分，耗子干嘛突然问这个？”

　　王浩这下在心里长长的叹了一口气。

　　他倒不是嫉妒李东。

　　能进燕大元培的，大家都是天之骄子，成绩都不差。

　　但王浩是搞数竞出身的，还拿了金牌。

　　虽然嘴上谦虚，但在骨子里，他始终觉得这个404寝室里没有人比他数学更好。

　　可是现在他开始严重怀疑这一点了。

　　不懂行的人如果看李东的程序已经跑到了千亿级可能会惊呼。

　　“东哥，你计算机编程真牛逼！”

　　可真正明白这个黎曼Zeta函数非平凡零点验算是怎么回事的王浩却很清楚。

　　这玩意的底层逻辑，其实是数学算法。

　　编程语言和C++的底层内存调度，只是用来翻译和执行这套算法的工具。

　　能把计算机性能压榨到极致固然需要很高的计算机造诣，但最核心的能把时间复杂度硬生生降维的，依旧是数学算法。

　　“唉……”王浩指了指李东桌上那台一直没合上盖子的移动工作站，语气干涩的问道。

　　“东哥，你那个程序……真的是全量验算吗？”

　　刚才李东一路上都在考虑生物实验的数据，想著后续要投《NaturePlants》的话，论文该怎么构思。

　　被王浩这么一指，他这才想起来，自己寝室里还跑著非平凡零点的验证程序呢。

　　“对，是全量验算。”

　　李东急忙回了一句，连水都顾不上喝了，就来到移动工作站前，唤醒了屏幕。

　　此时的电脑屏幕上，黑色的控制台窗口依然在运行著。

　　【VerifiedZeros:987，654，321，000...】【VerifiedZeros:988，102，445，112...】

　　9乘10的11次方！

　　九千多亿！马上就要突破10的12次方（万亿级）的大关了！

　　李东一看这数据就知道成了。

　　用一台单机移动工作站，在短短几天内全量跑到万亿级，这套源自黎曼手稿的降维算法，其优越性已经得到了无可辩驳的证明！

　　可是，当他准备伸手去拿鼠标，查看一下具体的内存堆栈情况时。

　　“嘶——好烫！”

　　工作站的C面面板，温度有点高的吓人了。

　　而移动鼠标时，光标也出现了严重的拖影。

　　“应该是到了硬件的物理极限了。”

　　王浩这次没有凑过来看。