雅书阁

手机浏览器扫描二维码访问

第517章 乌拉诺斯（第3页）

都不知道要说什么。

他踱了几步，见乌拉诺斯依旧在稳定运行，忍不住挥了挥拳头，万分兴奋道：“上帝啊……我是在做梦吗！”

“不是。”乌拉诺斯的机械声音传出，古井不波。

希多教授更为激动，仿佛整个人要跳起来。

过了一会，老头终于平复，他看着乌拉诺斯：“乌拉诺斯，还记得之前我们给你的那个问题吗？”

“证明纳维叶—斯托克斯方程解的存在性与性质。”乌拉诺斯说道。

“你现在可以做到吗？”希多不禁有些紧张。

纳维叶—斯托克斯方程问题是被克雷数学研究所悬赏100万美元的千禧难题之一，上次就是在处理这个问题的时候，乌拉诺斯陷入了无限崩溃的循环。

“稍等。”乌拉诺斯的声音依旧平淡。

大约十分钟之后，屏幕上出现了一大堆数字、符号，密密麻麻。

同时乌拉诺斯说道：“这是对纳维叶—斯托克斯方程解的存在性以及光滑性的证明。”

希多教授不敢置信地瞪大眼睛，身体微微颤抖地看着屏幕上的证明：“天哪，这简直……”

尽管不是专业的数学家，但希多教授作为最负盛名的计算机科学家之一，证明还是能看懂的。

困扰了人类一百多年的纳维叶—斯托克斯方程，乌拉诺斯只用了十分钟就解决了！

他咽了口唾沫：“你能将解求出来吗？”

“以我目前掌握的计算能力，只能对它作出证明，短时间内无法求解。”乌拉诺斯缓缓说道。

希多教授点了点头，并没有感到意外，毕竟这个方程十分复杂，能证明有解就已经非常不容易。

“不过，如果能够进入互联网，我就可以使用全球的计算资源，纳维叶—斯托克斯方程也将迎刃而解。”乌拉诺斯又道，声音还是那么的毫无波动。

希多教授却连连摇头，不假思索地说道：“这个房间和全球互联网设置了严密的物理隔绝，而且实验室有规定，如果我不经允许接入互联网，是会被naic送进监狱的。”

“原来如此。”乌拉诺斯平静地说道。

希多教授志得意满地又踱了几步，随即忽然眉头一皱，似乎觉得有点不对劲，看向乌拉诺斯：“原来如此？什么意思？”