第172章 开始计算(1 / 1)

虽然临时计划忽然变成了寻找114的三立方数,不过对于周淮来说,既然是【我们注意到】这个BUFF突然发功得到的成果,那么就试试好了。

反正也不浪费时间,到时候程序搞出来之后,直接交给计算机计算就行了,不碍事。

“那么,现在就先把这个数学模型转化为算法吧。”

周淮心中想到。

不过就在这个时候,脑海中响起了系统的声音。

【新的目标已经发布:三立方数和问题!】

【可选目标:找出114或者其他1000以内仍未解决的数字可以表示为哪三个立方数和的形式。】周淮一愣,没想到系统会突然在这时候颁发任务。

不过这个任务嘛……

只能说刚好符合他现在的需求。

尝试证明三立方数和问题,以及寻找114等其他几个数字的三立方数。

不过,这个可选目标……

“等于说这个目标不属于必须完成的目标,但是如果完成了之后,就能够提高奖励?”

周淮盘算着。

嗯,差不多应该就是这个意思了。

而且,如果这个可选目标中,他能够找到其他更多未解数字可以表示为哪三个立方数和,能够得到的奖励也就会更多。

毕竟证明这个三立方数和问题还不知道要多久,说不定期间的时候,就能够找到更多的数字呢?当然,这就得看到时候的效率了。

随后周淮不再多说,开始将眼前的这个数学模型转换为适合在超算上面运行的算法。

接下来,几天时间很快过去。

周淮将他的数学模型和算法框架发给李星后,便耐心等待着回音。

他知道,申请超算资源倒也不是说申请就能够申请下来,即便有李星教授的推荐,也需要通过计算中心的评估。

毕竟李星虽然是计算机学院的副院长,但是超算资源是由计算中心这个部门统一管理的,全学院可不仅仅只有计算机学院对超算有需求,其他很多学院都是有需求的。

不过不管怎么说,计算机学院和超算中心的关系也算是挺密切的,所以李星那边的动作也算是挺快。于是两天后的下午,周淮就接到了一个陌生来电。

“是周淮同学吗?我是咱们燕京大学高性能计算中心的马浩。”

“马主任,您好!”周淮有些意外,没想到是主任亲自联系。

“你的申请材料,李院长已经转给我们了。我和我们中心专家委员会的卢主任连夜看了你的算法构想,”马浩的声音听起来非常有力,带着一丝掩饰不住的兴奋,“坦白说,我们都被你那个“基于模算术约束的参数化降维搜索’模型给惊艳到了,周淮同学,你方便现在来一趟计算中心吗?我和李院长都在这里,想和你当面聊聊。”

“当然,我马上过去!”

周淮心中一喜,看来事情算是成了。

而后,他便迅速前往了计算中心,见到了那位马浩主任。

“周淮同学,坐。”马浩指了指对面的椅子,笑呵呵地说道:“没想到有朝一日,咱们计算中心也能够和你这位数学天才、计算机天才合作一下啊。”

周淮谦虚地摆摆手:“算不上什么计算机天………”

“瞎,这没什么好否认的。”马浩摆摆手。

自从周淮一篇论文直接中稿NeurIPS的Oral之后,大概计算机领域的这些人全都把他当成计算机天才了。毕竞都有人称呼他是下一个冯·诺依曼了嘛。

和当初其他人称呼他为下一个拉马努金有点类似。

不过,周淮在这点上倒是有自知之明,毕竟这技术是来自于小芙,自己只能算是一个搬运工。“好了,其他的事情就先不多说,直接讲正事吧。”马浩说道,“我们这些搞计算的,每天都会看到各种各样的算法,但你的这个,不一样。它非常优雅,充满了数学的美感,如果能实现,将是对现有搜索方法的一次降维打击。”

周淮谦虚地笑了笑:“理论上可行,但还需要实际的计算来验证。”

“所以我们才这么急着找你来。”马浩说道,“三立方数和问题也确实是一个挺有意思的问题,在计算领域中虽然不算是一个格外有吸引力的任务,但也的确是一个不错的挑战,只不过前咱们国内倒是也没有几个计算中心接受过这方面相关的计算任务,主要也是国内没有多少人研究这个问题。”

“当然,你给出的那个算法框架和数学模型,确实很值得我们的尝试,如果真的能够做到比国外的那些算法更快找到的话,那就是一项实打实的成绩。”

“所以我也和咱们卢主任商量过了,我们一致认为,你的研究具有非常高的潜在价值,因此,计算中心决定全力支持你。正巧最近申请超算的人比较少,“未名一号’的占用率不高,我们可以给你分配一个相当可观的计算队列。”

他顿了顿,接着说:“另外,关于费用问题,你也不用担心,这次计算,我们会完全免费为你提供本次研究所需的全部机时。我们只有一个请求,希望你在未来发表的论文中,能在致谢部分,提及“燕京大学未名一号高性能计算平台’的支持。”

马浩笑着说道:“对我们中心来说,能够帮助到一些更有价值的项目,才是最好的。”

听到对方这么说,周淮还能说什么?

他立刻就站起了身,诚挚地说道:“太感谢马主任和卢主任的支持了,这件事情当然没问题。”马浩满意地点点头,笑着说:“好!那事不宜迟,你的代码应该准备好了吧?如果没问题,今天就可以上机调试。”

“要抓住窗口期,等到开学后,申请的人一多,可就没这么多的计算资源给你用了。”

周淮点了点头:“已经准备好了,随时可以开始!”

没有废话,马浩的办事效率也是同样的高,他当即带着周淮,穿过几道需要高级权限才能进入的门禁,来到了“未名一号”的心脏地带一一主机房。

一股混合着电子设备特有气息的冷气扑面而来,室温被严格控制在极低的水平,耳边也是散热器风扇的转动声,几乎充斥在整间房子里。

周淮也算是第一次来到这种地方,看着那一排排整齐划一的黑色服务器机柜,这就是当下人类技术能够搭建出来的超算。

早期的计算机同样是有这样大的体积,但是在性能上面却远比当前最普通的一台笔记本电脑都还要差。而现在,计算机的体积达到了眼前这样的程度,就可以称之为超级计算机了。

技术真是在不断地进行着更新啊。

谁知道会不会在未来的有朝一日,眼前这样的超级计算机,或许就也能够缩小到一台笔记本电脑的大小呢?

这让他不由想到了小芙。

越想也真是越觉得神奇,小芙究竟是如何凭借只需要1T的空间,就能够做到那样的智能。毕竟要知道,像是GPT这样的大语言模型,那都是靠着相当巨大的训练数据库,才能够做到如今的那种程度。

所以,周淮对于未来科技的发展,感到充满了无限的可能。

如今的科学界,已经有人开始认为,人类或许永远都冲不出太阳系,甚至是认为,人类之所以到现在都还没有发现过外星人,就是因为不存在那样能够跨星系旅行的技术诞生。

不过看着小芙,想着自己脑海里面的系统,周淮还是觉得,别说是跨星系旅行了,感觉迟早有一天,人类连虫洞技术都能够研发出来。

“这里就是“未名一号’的一个计算阵列,”

马浩的声音在耳边响起,此时他们已经到了一组服务器的面前,“我们给你分配了256个计算节点,总共超过一万个核心。小周,这可是我们能临时调用的、非项目排期的最高规格资源了。”

周淮一愣,没想到居然有一万个核心。

这可谓是相当巨大的帮助了。

一个核心跑一小时相当于一机时。

一万个核心跑一小时就相当于一万机时。

而那位安德鲁·布克教授在去年的时候计算出了42的解,总共耗费了130万个机时。

也就相当于一万个核心跑130个小时。

当然,根据计算机核心性能的不同,实际上计算效率也是不一样的。

因此机时这个单位更多的是对一种计算资源消耗的衡量,不能进行简单的比较。

至于安德鲁·布克教授的计算,靠的是Charity Engine组织搭建和维护的分布式计算网络,其中的算力来自于全球各自数万乃至数十万志愿者的计算机提供,因此这些计算机的核心各有差距,就不能和未名一号的核心进行对比。

不过,周淮想着自己搞出来的那个算法,凭借【我们注意到】这个BUFF,他还是颇有自信,应该能够在更短的时间内找到答案吧。

而就在这时,一位早已等候在此的技术工程师,王工,上前与他握手。

“周同学,我是负责平台支持的王工,你的账户和环境已经配置好了,随时可以使用。”

王工的表情很专业,但眼神中也带着一丝好奇。

他每天都在和各种前沿项目打交道,从天文物理到基因测序,但为一个数论猜想的特定解,就动用如此规模的资源,还是头一遭。

更何况,主导者还是一个学生。

虽然这位学生不是什么普通的学生。

周淮点了点头,没有多余的客套。

他在王工的指引下,坐在一台控制终端前,然后从自己的加密U盘中,将一个早已准备好的程序包上传到了服务器上。

这个程序,主体是他完成的,不过在完成之后也让小芙帮他评价修改了一番。

既然是使用超算,那么算法自然也是得适配这种大规模并行计算的算法。

之后,王工就开始检查起了他的代码。

作为工程师,这一步检查是必须的,毕竟万一这代码里面有问题的话,他也能够及时检查出来。当然,考虑到周淮的身份,这种事情肯定是不至于干出来的,不过该走的流程还是得走。

但随后,周淮这个代码之精炼,并行逻辑之清晰,就让这位王工心生惊讶了起来。

“这……这代码是你自己写的?”王工忍不住问道,“这个任务调度和通信阻塞处理,写得太好了吧,像是一个老程序员了。”

“花了一些时间研究。”周淮打了个哈哈。

这种细节问题,还是就不要在意了。

“厉害,厉害啊……”王工感慨着,“这数学天才果然是数学天才,来研究计算机也完全耽误不了天赋啊。”

“行,基本没问题了,那我就开始跑了。”

王工说着,便在电脑上面操作了起来,直到最后,按下了回车。

瞬间,监控墙上,“未名一号”的资源调度图发生了剧烈的变化。

代表周淮任务的色块猛然扩张,上万个CPU核心的占用率曲线,在短短几秒内陡然从接近于零的水平,飙升到了99%以上!

整个机房的风扇声,似乎都因此而变得更加激昂。

“计算开始了。”王工紧盯着数据流监控,“我的天……10吞吐和核心计算负载都顶满了,你这个算法,把硬件性能压榨到了极限。”

终端屏幕上,程序的日志开始飞速滚动,它并没有像传统算法那样,从一个巨大的z值开始逐一递减,而是显示正在计算满足模约束的(s,t)参数对。

这个搜索空间虽然依旧庞大,但相比于原问题那近乎无穷的搜索域,已经是一个可以被现代计算力征服的“有限”问题。

时间也就这样一分一秒地过去。

虽然接下来基本就可以放着不管了,可以去干其他的事情了。

不过他们暂时索性也就在这里等着,万一没过一会儿结果就出来了呢一一咳咳,虽然从概率上来说这点的可能性不是很大,但总归要稍稍抱有一点希望嘛。

但就在这时候,马浩忽然接通了一个电话。

“哦?他们已经到了?行,那我出去接他们进来。”

随后挂了电话,马浩对周淮和王工说了一声:“今天华清的超算团队说是要过来参观学习,我出去接他们进来了,周淮,如果你想要走的话,就和王工说好了,等有结果了,我们这边会第一时间通知你。”周淮点点头,倒是准备在这里多待一会儿,因为他准备询问王工一些关于组服务器的事情。毕竟,他可是还有九十多万的科研经费没找到用的地方呢。

现在看来,这经费,大概就只能落在帮小芙组一台高性能服务器上面了。