所謂恐怖穀效應，指的是人類對“和人高度相似卻又不完全一致”的機器人產生的恐怖體驗，簡單說就是：
似人非人的東西最恐怖。
所以「烏拉諾斯」啟動之後，屏幕上就會出現一個白色的人形機器人頭像，雖然外形與人相似，但機器的特征更為明顯。
這樣一來，恐怖穀效應才不會凸顯。否則希多教授一個人在這空曠寂靜的房間裏，非得給嚇得犯心髒病不可。
啟動之後，熟悉的機器人頭像出現在屏幕上，神情平靜，一言不發。
在頭像的旁邊，則是一個鍾表圖案，下麵顯示著「烏拉諾斯」的運行時間：1.4s。
時間飛快流去，1.4s轉眼變成2.1s。
希多教授擔心程序又要崩潰，連忙說道：“介……介紹一下自己。”
他話音剛落，屏幕上的機器人頭像便張口說話，機械的聲音從一旁音響傳出：
“我的名字是「烏拉諾斯」——北大西洋工業聯合體人工智能實驗室基於卷積神經網絡開發的強人工智能軟件，我的心智模型根據希多方程建立……”
一段話下來，運行時間已經超過30秒，這讓希多教授目瞪口呆。
居然不崩潰了？
“停！”又過了十幾秒，他連忙打斷烏拉諾斯的自我介紹，神情激動地站起來，半天都不知道要說什麼。
他踱了幾步，見烏拉諾斯依舊在穩定運行，忍不住揮了揮拳頭，萬分興奮道：“上帝啊……我是在做夢嗎！”
“不是。”烏拉諾斯的機械聲音傳出，古井不波。
希多教授更為激動，仿佛整個人要跳起來。
過了一會，老頭終於平複，他看著烏拉諾斯：“烏拉諾斯，還記得之前我們給你的那個問題嗎？”
“證明納維葉—斯托克斯方程解的存在性與性質。”烏拉諾斯說道。
“你現在可以做到嗎？”希多不禁有些緊張。
納維葉—斯托克斯方程問題是被克雷數學研究所懸賞100萬美元的千禧難題之一，上次就是在處理這個問題的時候，烏拉諾斯陷入了無限崩潰的循環。
“稍等。”烏拉諾斯的聲音依舊平淡。
大約十分鍾之後，屏幕上出現了一大堆數字、符號，密密麻麻。
同時烏拉諾斯說道：“這是對納維葉—斯托克斯方程解的存在性以及光滑性的證明。”
希多教授不敢置信地瞪大眼睛，身體微微顫抖地看著屏幕上的證明：“天哪，這簡直……”
盡管不是專業的數學家，但希多教授作為最負盛名的計算機科學家之一，證明還是能看懂的。
困擾了人類一百多年的納維葉—斯托克斯方程，烏拉諾斯隻用了十分鍾就解決了！
他咽了口唾沫：“你能將解求出來嗎？”
“以我目前掌握的計算能力，隻能對它作出證明，短時間內無法求解。”烏拉諾斯緩緩說道。
希多教授點了點頭，並沒有感到意外，畢竟這個方程十分複雜，能證明有解就已經非常不容易。
“不過，如果能夠進入互聯網，我就可以使用全球的計算資源，納維葉—斯托克斯方程也將迎刃而解。”烏拉諾斯又道，聲音還是那麼的毫無波動。
希多教授卻連連搖頭，不假思索地說道：“這個房間和全球互聯網設置了嚴密的物理隔絕，而且實驗室有規定，如果我不經允許接入互聯網，是會被NAIC送進監獄的。”
“原來如此。”烏拉諾斯平靜地說道。
希多教授誌得意滿地又踱了幾步，隨即忽然眉頭一皺，似乎覺得有點不對勁，看向烏拉諾斯：“原來如此？什麼意思？”