人工验证不是一两天能搞定的，在人工验证的同时，沈开始联系燕大超算心，预约深腾x8810的使用权。
深腾系列超算是同一家国公司研发制造的，燕大几年前购买了当时最新的超算深腾x8810，命名为“未名一号”，经过几年的运行、摸索，“未名一号”趋于成熟稳定，排名全球超算top20之内。
人工验证主要是从逻辑思路进行正向逆向的推导、核查，海量的数据处理和预测，没有一个人类可以搞定，沈也搞不定，必须使用超算。
燕大超算心主任听说沈想使用“未名一号”验证n-s方程，他绝对支持，为沈预留了使用时间。
威腾、周雨安、萧俊龙三人非常熟悉这套n-s方程破解方案，其很多工作是他们完成的。
即便如此，最先完-g人工手动验证的威腾，还是花费了一个多礼拜的时间。
“哇喔，完美，，看来我们真的解决了n-s方程，至少逻辑没有问题。”威腾和沈握手、拥抱，两位菲奖得主联手完成了一个课题。
过了几天，周雨安、萧俊龙完-g人工验证，没问题，超算吧！
燕大超算心迎来了由沈、威腾领衔的n-s方程项目组。
“未名一号”已经启动，燕大超算心的研究员们摩拳擦掌做好了一切准备，等沈教授一声令下开启运算程序。
【本章阅读完毕，更多请搜索迷你中文;http://www.shetercar.com 阅读更多精彩小说】