据希多方程建立……”
一段话下来，运行时间已经超过30秒，这让希多教授目瞪口呆。
居然不崩溃了？
“停！”又过了十几秒，他连忙打断乌拉诺斯的自我介绍，神情激动地站起来，半天都不知道要说什么。
他踱了几步，见乌拉诺斯依旧在稳定运行，忍不住挥了挥拳头，万分兴奋道：“上帝啊……我是在做梦吗！”
“不是。”乌拉诺斯的机械声音传出，古井不波。
希多教授更为激动，仿佛整个人要跳起来。
过了一会，老头终于平复，他看着乌拉诺斯：“乌拉诺斯，还记得之前我们给你的那个问题吗？”
“证明纳维叶—斯托克斯方程解的存在性与性质。”乌拉诺斯说道。
“你现在可以做到吗？”希多不禁有些紧张。
纳维叶—斯托克斯方程问题是被克雷数学研究所悬赏100万美元的千禧难题之一，上次就是在处理这个问题的时候，乌拉诺斯陷入了无限崩溃的循环。
“稍等。”乌拉诺斯的声音依旧平淡。
大约十分钟之后，屏幕上出现了一大堆数字、符号，密密麻麻。
同时乌拉诺斯说道：“这是对纳维叶—斯托克斯方程解的存在性以及光滑性的证明。”
希多教授不敢置信地瞪大眼睛，身体微微颤抖地看着屏幕上的证明：“天哪，这简直……”
尽管不是专业的数学家，但希多教授作为最负盛名的计算机科学家之一，证明还是能看懂的。
困扰了人类一百多年的纳维叶—斯托克斯方程，乌拉诺斯只用
第517章 乌拉诺斯(4/5)