第517章 乌拉诺斯 (第3/3页)

0秒，这让希多教授目瞪口呆。

    居然不崩溃了？

    “停！”又过了十几秒，他连忙打断乌拉诺斯的自我介绍，神情激动地站起来，半天都不知道要说什么。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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