人工验证不是一两天就能搞定的，在人工验证的同时，沈奇开始联系燕大超算中心，预约深腾X8810的使用权。

深腾系列超算是同一家中国公司研发制造的，燕大几年前购买了当时最新的超算深腾X8810，命名为“未名一号”，经过几年的运行、摸索，“未名一号”趋于成熟稳定，排名全球超算TOP20之内。

人工验证主要是从逻辑思路上进行正向逆向的推导、核查，海量的数据处理和预测，没有一个人类可以搞定，沈奇也搞不定，必须使用超算。

燕大超算中心主任听说沈奇想使用“未名一号”验证N-S方程，他绝对支持，为沈奇预留了使用时间。

威腾、周雨安、萧俊龙三人非常熟悉这套N-S方程破解方案，其中很多工作就是他们完成的。

即便如此，最先完成人工手动验证的威腾，还是花费了一个多礼拜的时间。

“哇喔，完美，奇，看来我们真的解决了N-S方程，至少逻辑上没有问题。”威腾和沈奇握手、拥抱，两位菲奖得主联手完成了一个课题。

过了几天，周雨安、萧俊龙完成人工验证，没问题，上超算吧！

燕大超算中心迎来了由沈奇、威腾领衔的N-S方程项目组。

“未名一号”已经启动，燕大超算中心的研究员们摩拳擦掌做好了一切准备，就等沈教授一声令下开启运算程序。