“停！”又過了十幾秒，他連忙打斷烏拉諾斯的自我介紹，神情激動地站起來，半天都不知道要說什麼。
他踱了幾步，見烏拉諾斯依舊在穩定執行，忍不住揮了揮拳頭，萬分興奮道：“上帝啊……我是在做夢嗎！”
“不是。”烏拉諾斯的機械聲音傳出，古井不波。
希多教授更為激動，彷彿整個人要跳起來。
過了一會，老頭終於平複，他看著烏拉諾斯：“烏拉諾斯，還記得之前我們給你的那個問題嗎？”
“證明納維葉—斯托克斯方程解的存在性與性質。”烏拉諾斯說道。
“你現在可以做到嗎？”希多不禁有些緊張。
納維葉—斯托克斯方程問題是被克雷數學研究所懸賞100萬美元的千禧難題之一，上次就是在處理這個問題的時候，烏拉諾斯陷入了無限崩潰的迴圈。
“稍等。”烏拉諾斯的聲音依舊平淡。
大約十分鐘之後，螢幕上出現了一大堆數字、符號，密密麻麻。
同時烏拉諾斯說道：“這是對納維葉—斯托克斯方程解的存在性以及光滑性的證明。”
希多教授不敢置信地瞪大眼睛，身體微微顫抖地看著螢幕上的證明：“天哪，這簡直……”
盡管不是專業的數學家，但希多教授作為最負盛名的電腦科學家之一，證明還是能看懂的。
困擾了人類一百多年的納維葉—斯托克斯方程，烏拉諾斯只用了十分鐘就解決了！
他嚥了口唾沫：“你能將解求出來嗎？”
“以我目前掌握的計算能力，只能對它作出證明，短時間內無法求解。”烏拉諾斯緩緩說道。
希多教授點了點頭，並沒有感到意外，畢竟這個方程十分複雜，能證明有解就已經非常不容易。
“不過，如果能夠進入網際網路，我就可以使用全球的計算資源，納維葉—斯托克斯方程也將迎刃而解。”烏拉諾斯又道，聲音還是那麼的毫無波動。
希多教授卻連連搖頭，不假思索地說道：“這個房間和全球網際網路設定了嚴密的物理隔絕，而且實驗室有規定，如果我不經允許接入網際網路，是會被naic送進監獄的。”
“原來如此。”烏拉諾斯平靜地說道。
希多教授志得意滿地又踱了幾步，隨即忽然眉頭一皺，似乎覺得有點不對勁，看向烏拉諾斯：“原來如此？什麼意思？”