随后,马浩就离开了机房,到外面去了。
而周淮也就和王工聊起了高性能个人服务器的事情。
王工也不愧是管理着未名一号的工程师,在这方面是相当的精通,很快就和周淮聊了起来,得知他是要组建一台九十多万的服务器时,也给出了不少的建议。
就这样,旁边的程序在飞快地跑着,而他们这里也安心地聊着。
时间很快地过去了。
过了一会儿后,马浩就领着一行七八个人走了进来。
为首的是一位头发微白、戴着黑框眼镜的教授,身后跟着几位看起来像是青年教师和博士生的人。他们一进来,目光就被机房内巨大的计算阵列所吸引,发出了低声的赞叹。
“老马,你们这个“未名一号’的气势是越来越足了啊。”为首的教授笑着和马浩打招呼,但语气中带着一丝不易察觉的竞争意味。
名义上是交流学习,实际上暗地里也是有较劲的。
“多谢钱教授的夸奖啊,还行还行。”马浩笑呵呵地说道,“毕竟我们的超算平台也算是搭建的比较早嘛,经验相对来说还是要丰富一些。”
“不过后发也有后发的优势啊。”钱教授笑呵呵地说道,在话语上面倒是丝毫不让。
而后他对身后那些跟过来的年轻人们说道:“好了,你们看看吧,好好学习一下经验,回去好用在咱们的探索1000上面。”
华清所用的超算就是叫做探索1000。
随后,马浩便带着这一行人开始在他们的机房中参观了起来。
没过一会儿,就到了周淮他们所在的控制室。
那位钱教授的目光在控制室里扫了一圈,忽然定格在了正和王工讨论得热火朝天的周淮身上。他愣了一下,随即眼中闪过一丝惊讶和浓厚的兴趣。
“等等,老马……这位是不是就是周淮?”
此言一出,他身后的整个华清团队都齐刷刷地将目光投向了周淮。
这个名字最近这段时间,在他们这些人的耳中可谓是如雷贯耳。
马浩脸上露出一丝自得的笑容,介绍道:“没错,给你们介绍一下,这位就是周淮同学。”“周淮,这位是华清大学超算中心的钱文广教授。”
周淮礼貌地点了点头:“钱教授您好。”
当这些人过来的时候,他就已经注意到了。
“周淮同学,久仰大名了!”钱文广快步走上前来,热情地握住了周淮的手,“没想到能够在这里遇见你。”
他身后的那些年轻人们也纷纷露出惊叹的目光,小声议论着。
“他就是周淮?比照片上还年轻。”
“单人拿NeurIPS Oral的神人……”
钱教授的热情让周淮有些不好意思,他寒暄了几句。
这时,钱文广的目光又落在了他们面前那台终端的屏幕上,看到了上面飞速滚动的日志和k=114的字样。作为超算中心的负责人,他也算是见多识广了,想了想,顿时就意识到这是在做什么。
“这是在……跑三立方数和问题?”钱文广的眼神变得锐利起来,“你们燕大还真是财大气粗,舍得用这么大的计算队列来跑这种纯粹的数论难题。”
马浩笑着说:“主要是周淮同学提出了一个非常有创新性的算法模型,我们中心评估后认为有很高的可行性,才决定支持的嘛。”
“哦?新算法?”钱文广的兴趣更浓了,他看向周淮,眼中闪烁着光芒,“周淮同学,不知道你有没有兴趣,也来我们华清的平台试试?”
他这话一出,马浩的眉头不易察觉地挑了一下,当即便表示了不满:“喂喂喂,钱文广,你这是想干什么?现在周淮可是在跟我们合作呢。”
钱文广呵呵一笑,说道:“我记得1000以内的三立方数和问题,还有几个数字没有解开吧?我们和周淮同学合作一下其他的几个数字不就行了。”
而后他便看向周淮,笑眯眯地问道:“周淮同学,你看这样行不?”
“这……”
周淮不由得扯了扯嘴角,这都什么事情啊!
而就在这个时候,钱文广又说道:“对了,咱们华清对于周淮同学你中NeurIPS的Oral时,单位填写的是燕京大学而不是华清大学,也算是有点想法。”
“同时作为咱们燕大和华清的学生,你可是得把这碗水给端平啊。”
焯!
666,真就是演都不带演了,还真就明牌着让我端水了是吧。
他感觉自己的嘴角都要扯到耳根去了。
但是还能说啥呢?
人家都这样说了,那就只能接受咯。
随后他便点点头,无奈地说道:“既然您都这样说了,那我还能说啥,等我想好了算法之后就来找您。”
对于如今1000以内仍未解决的那几个数字,虽然在数学模型的思路上面是一致的,但是在细节方面却是存在不同,有时候还需要微调。
这也是为什么去年的时候那位安德鲁·布克一举找到了33和42的解之后,之后却就一直没有找到114等其他数字的解。
就是因为他大概还需要对这些方法进行调整,甚至借助完全不同的数论工具。
“哈哈哈!那就好!那就好!”钱文广笑呵呵地点头:“马教授给你提供了什么条件,我们华清给你提供双倍!”
旁边的马浩已经气笑了,本来他还想要和这家伙炫耀一下,他们在和周淮合作,结果没想到对方直接顺着杆子往上爬,还告诉周淮什么要一碗水端平。
可耻!
他幽幽地说道:“你确定吗?我们可是提供了足足一万个核心,你们能提供两万个?”
钱文广顿时就是一愣。
啥玩意儿?
“你们提供了一万个核心?核心没处使了是吧?”
“那又如何?支持这样的研究,我们当然是得把能拿出来的都拿出来。”马浩说道。
钱文广顿时扯了扯嘴角。
就算是短时间核心闲置地比较多,但也不至于这么奢侈吧?
万一到时候突然有其他人要用呢?
但面对这样的情况,他也只能服软,对周淮说道:“那个……我们可能确实提供了不了那么多,等我回去之后,看看我们超算的计划表,到时候尽量给你争取最多的核心数出来。”
周淮笑着摆摆手:“没必要,我这个问题充其量只是一个数字游戏而已,您还是优先给那些更重要的项目提供就是了,我这边也不是很着急。”
“没事没事,反正现在是假期,我们的计算资源也是闲置了不少,咱们加一下联系方式,等之后有消息就第一时间告诉你。”
周淮无奈,随后也就索性拿出了手机,和这位添加了联系方式。
不过嘛……
问题倒是也不大,毕竟他本身也考虑过在主要目标,也就是证明三立方和问题之前,多找出几个还没有找到解的数字。
现在既然华清也愿意加入的话,一起来也行,正好还省的他去找计算资源。
最后,钱文广乐呵呵地拍了拍旁边马浩的肩膀,笑眯眯地说道:“感谢你啊马主任,正好凑巧让我们赶上了,能够和周淮合作一回,也算是一个收获啊。”
马浩扯了扯嘴角,说道:“行了行了,说一遍就够了。”
而钱文广还是乐呵呵地说道:“没事儿没事儿,接下来就是看咱们谁先找到解了。”
马浩:“你先回去把你们探索1000能够动用的计算资源给调出来再说吧。”
而钱文广还是乐呵呵的,随后便带着自己的团队,继续参观学习。
时间很快过去。
三个小时过去,时间一直到了中午12点,结果并没有计算出来。
当然这也并不意外,虽然周淮对自己的这个算法有信心,但是在计算效率上也不见得就比算法界在这个问题上普遍采用的方法能够好上几十倍。
毕竞42的解就寻找了130万个机时。
不过这一趟下来,周淮也算是从那位王工那里得到了不少关于组建服务器的建议。
随后离开了计算中心,去食堂吃了一个饭,便回到了宿舍。
当他刚坐到自己的座位上面时,小芙的声音就响了起来。
“主人,你准备给我买服务器了吗?”
“你还真是着急啊。”周淮没好气地说道。
经过他的批准,现在的小芙能够随时调用他手机的麦克风,所以小芙也就能够随时收听到他和别人的对话。
显然,刚才他和王工的对话,小芙就听到了。
不过,考虑到他那篇论文大概已经快要通过《数学年刊》的审核,要过稿了,所以他的那批经费也是时候花出去了。
“行吧,你应该也记录好刚才王工的那些建议了,咱们现在就先把配置清单弄好,之后就准备下单,给你组一个新的服务器。”
“好耶!”
小芙高兴的声音当即便响了起来。
没过一会儿,就说道:“主人,我已经列出了十个清单,主人帮我看看选哪个好吧!”
这速度……还真是快。
周淮无奈地摇摇头,不过之后也没有多说,便开始帮小芙挑了起来。
想想小时候,5000的电脑都买不了,结果现在一搞就要搞价值接近100万的电脑。
还真是奢侈啊……
时间很快过去。
花费了一天的时间,周淮最终确定下来了新服务器的购买清单,至于服务器到时候放哪,自然还是就放华清那边的宿舍了。
随后,他便将购买表单提交给了学院。
接着就是等待审批了。
作为一个研究数学的,购买服务器也算是十分正常的一件事情,所以申请的这笔经费大概率也没有太大的问题。
之后,华清的那位钱文广教授也给周淮打来的电话,表示他们的计算资源已经整理完毕了,能够为周淮调用8000个核心进行计算,不过华清探索1000的处理器相比起燕大未名一号要更加先进一些,因此在算力的差距上,华清的8000个核心比起未名一号的10000个核心还要更高一些。
不过,在那之前,周淮也得先将算法给搞出来。
而这次,他瞄准的数字是579。
通过一些数论工具的分析,计算出579的难度应该相对较低一些。
而搞定579的数学模型和算法大概还需要一些时间,因此他们倒是也没有急着开始。
就这样,时间来到了第三天。
王工正端着一杯枸杞保温杯,来到了控制室,开始了今天的上班一进行例行的系统巡检。
他扫了一眼巨大的资源监控墙,目光在代表“未名一号”负载的图表上略作停留。
一切正常,大部分计算队列都在平稳运行,CPU占用率的曲线像平缓的山脉。
然而,他忽然注意到了一块异常的“洼地”。
“嗯?”他凑近屏幕,仔细辨认着那个任务的ID。
那个ID他记得很清楚,就是前两天由周淮提交的、那个几乎榨干了上万个核心算力的“三立方数和”任务。
按理说,这种级别的计算任务,没有十天半个月,是不可能跑完的,哪怕是算法经过了优化,也不至于一个星期不到就跑完了。
可现在,代表它资源占用的色块,已经从刺眼的红色变回了代表空闲的绿色。
“程序崩了?”这是王工的第一反应。
如此大规模的计算,因为某个未预料到的边界条件或者内存溢出而中途崩溃,是再正常不过的事情。他叹了口气,心想那个天才学生可能要失望了,得花时间调试代码再重新提交任务了。
不过这就等于浪费了不少时间,等到后续申请计算节点的人变多,他们可就不能再给周淮提供这么多的核心计算了。
他走到自己的终端前,熟练地敲下指令,调出了那个任务的最终日志,准备查看是哪里出了报错信息。日志文件打开,他将滚动条直接拉到最底部。
没有刺眼的红色[ERROR]代码。
没有Segmentationfault。
也没有任何崩溃退出的提示。
取而代之的,是日志文件末尾,那几行被程序特意加框高亮显示的、安安静静躺在那里的最终输出。******************
*[SOLUTION FOUND]*
* Job finished. Total eecution time: 36 hours, 42 minutes, 13 seconds. 】王工顿时呆住了。
他的眼睛死死地盯着屏幕,仿佛要将那几行字符看穿。
他不是数学家,但他知道这意味着什么。
36个小时!
36个小时!!
问题就解决了!!!
而后,他立刻抓起了桌上的内线电话,直接拨通了马浩的电话。
“马……马主任!您快过来一下!周淮的那个任务·……出结果了!”