名为“未名一号”，经过几年的运行、摸索，“未名一号”趋于成熟稳定，排名全球超算TOP20之内。
人工验证主要是从逻辑思路上进行正向逆向的推导、核查，海量的数据处理和预测，没有一个人类可以搞定，沈奇也搞不定，必须使用超算。
燕大超算中心主任听说沈奇想使用“未名一号”验证N-S方程，他绝对支持，为沈奇预留了使用时间。
威腾、周雨安、萧俊龙三人非常熟悉这套N-S方程破解方案，其中很多工作就是他们完成的。
即便如此，最先完成人工手动验证的威腾，还是花费了一个多礼拜的时间。
“哇喔，完美，奇，看来我们真的解决了N-S方程，至少逻辑上没有问题。”威腾和沈奇握手、拥抱，两位菲奖得主联手完成了一个课题。
过了几天，周雨安、萧俊龙完成人工验证，没问题，上超算吧！
燕大超算中心迎来了由沈奇、威腾领衔的N-S方程项目组。
“未名一号”已经启动，燕大超算中心的研究员们摩拳擦掌做好了一切准备，就等沈教授一声令下开启运算程序。