第105章 要不要这么离谱 胖胖的小橘
……
与此同时,京都,燕大35栋男寝,404室。
“妈的,今天又没抢到前排!”
王浩一把推开寝室门,把手里的书往桌上一扔,直接开始骂娘
跟在后面的刘强和陈楠也是一脸愤愤不平的跟著抱怨。
“这群人我怀疑他们是体育特招进来的,跑的是真快。”
今天他们上的还是刘若传教授的《数学分析》。
毕竟昨天被刘教授画的数学蓝图给砸晕了,全班人的积极性空前高涨。
虽然今天的课讲的只是基础的分析部分,刘教授依旧引经据典讲得极为精彩
可是昨天那种数学大一统的震撼,还是让他们这群天之骄子念念不忘。
“你们说,黎曼猜想到底是会被证明还是会被证伪呀?”
陈楠问道。
王浩像看傻子一样看了他一眼
“咱们搞数学的,现在基本都是默认它是定理在用了好吗?”
“很多重大的数论推论都是建立在黎曼猜想成立的前提下的,你说呢?”
“哎,说到黎曼猜想……”
刘强突然插话,然后看向了李东床铺下方。
“东哥这台电脑,跑那个验证黎曼zeta函数非平凡零点的程序,已经连续跑了两天两夜了吧?”
王浩也凑了过去。
“是啊,不过说实话,验证非平凡零点这活儿,发展到现在早就不是单纯的数学推导了,还要优化算法。”
逼王王浩上线科普。
“我之前专门查过这方面的资料。”
“目前国际上公认的计算记录,是法国数学家xaviergourdon在2004年创下的。”
“人家当时可是动用了分布式的超级计算机集群,把最顶级的os算法优化到了极致,没日没夜的跑了好几个月,才将非平凡零点验证到了恐怖的十万亿级别。”
他指了指
李东的电脑。
“东哥这台移动工作站,i9的标压u加上大内存,在个人pc里确实是顶配。”
“但在当年的超算集群面前,硬件算力也差了两个数量级。”
“跑了两天两夜,按照常规算法的物理算力极限,能跑到几百亿级别已经是c++底层内存管理写得出神入化了。”
陈楠听完,好奇心被彻底勾了起来。
“你们说,东哥这程序现在到底跑到什么数字了?”
“反正只是看看屏幕,动一下鼠标唤醒一下而已,又不会打断程序的运行,看看呗。”
刘强咽了口唾沫,大著胆子伸出手,轻轻晃动了一下李东的鼠标。
原本漆黑的屏幕缓缓亮起。
黑色的控制台窗口里,一行行绿色的数字,正稳定的向下滚动。
三人立刻将脑袋凑了过去,看向了屏幕最下方那行实时刷新的统计数据:
【verifiedzeros:168,451,239,840】
【verifiedzeros:168,451,245,112】
这一刻寝室变得无比的安静。
“个、十、百、
章节内容不完整,请退出阅读模式查看完整内容!