第517章 乌拉诺斯

bsp;

一段话下来，运行时间已经超过30秒，这让希多教授目瞪口呆。

居然不崩溃了？

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本章未完，请点击下一页继续阅读！ 第4页 / 共5页