来到中心,沈奇重新写了最后一页,将200多页的手稿扫描为pdf格式,随后召集威腾、周雨安、萧俊龙开会。
“通解我已经算出来了,接下来请三位分别验证,等你们的消息哦。”熬了一宿的沈奇靠咖啡因强行提神,看上去神采奕奕,实际上他已经很疲惫了。
“大佬果然是大佬啊!”萧俊龙激动的跳了起来,威腾、周雨安同样振奋。
威腾等三人每人找一个安静独立的空间,各自验证n-s方程破解方案。
沈奇在中心补觉,一觉醒来,满血复活。
人工验证不是一两天就能搞定的,在人工验证的同时,沈奇开始联系燕大超算中心,预约深腾x8810的使用权。
深腾系列超算是同一家中国公司研发制造的,燕大几年前购买了当时最新的超算深腾x8810,命名为“未名一号”,经过几年的运行、摸索,“未名一号”趋于成熟稳定,排名全球超算top20之内。
人工验证主要是从逻辑思路上进行正向逆向的推导、核查,海量的数据处理和预测,没有一个人类可以搞定,沈奇也搞不定,必须使用超算。
燕大超算中心主任听说沈奇想使用“未名一号”验证n-s方程,他绝对支持,为沈奇预留了使用时间。
威腾、周雨安、萧俊龙三人非常熟悉这套n-s方程破解方案,其中很多工作就是他们完成的。
即便如此,最先完成人工手动验证的威腾,还是花费了一个多礼拜的时间。
“哇喔,完美,奇,看来我们真的解决了n-s方程,至少逻辑上没有问题。”威腾和沈奇握手、拥抱,两位菲奖得主联手完成了一个课题。
过了几天,周雨安、萧俊龙完成人工验证,没问题,上超算吧!
燕大超算中心迎来了由沈奇、威腾领衔的n-s方程项目组。
“未名一号”已经启动,燕大超算中心的研究员们摩拳擦掌做好了一切准备,就等沈教授一声令下开启运算程序。