希多传授点了点头，并没有感到不测，毕竟这个方程非常庞大，能证明有解就已经非常不轻易。
固然不是专业的数学家，但希多传授作为最负盛名的计算机科学家之一，证明还是能看懂的。
作为首席科学家的约书亚・希多，天然是心急如焚，主动加班已经成为家常便饭，要不是故意脏病的掣肘，老头非得在尝试室打地铺不成。
马萨诸塞州，波士顿。
因为「乌拉诺斯」是自我完美型的野生智能，以是尝试室的研讨员对它的体味非常有限，底子找不出法度崩溃的关头启事，像一群无头苍蝇似的乱闯了两个月都没有成果。
时价傍晚，NAIC野生智能尝试室的研讨员们已经连续放工，三三两两地从大楼出来，谈笑风生。
“又崩溃了……为甚么会如许？”他往椅子上一躺，长叹道。
竟然不崩溃了？
林寒停下筷子，“许”字拖了好长也没接下去，仿佛还没有构造好说话。
“稍等。”乌拉诺斯的声音还是平平。
希多传授不敢置信地瞪大眼睛，身材微微颤抖地看着屏幕上的证明：“天哪，这的确……”
自神经收集之父约书亚・希多从奇点研讨院离职，波士顿便继云州以后，成为了新的野生智能学术中间。
“还不是老模样。就像你之前和我说的那句中原古谚，叫甚么百里……？”贝内特随口说道，一边下认识地看了看腕表。
资金充盈，没有后顾之忧，人才一样一流，乃至能够说，半个地球的顶级计算机专家都在为乌拉诺斯打算办事，殚精竭虑。
以是「乌拉诺斯」启动以后，屏幕上就会呈现一个红色的人形机器人头像，固然形状与人类似，但机器的特性更加较着。
“你现在能够做到吗？”希多不由有些严峻。
“证明纳维叶―斯托克斯方程解的存在性与性子。”乌拉诺斯说道。
困扰了人类一百多年的纳维叶―斯托克斯方程，乌拉诺斯只用了非常钟就处理了！
……
尝试室大楼的某个房间中，研讨员都已经放工分开，唯独占位身穿白大褂的白叟还留在这里，一小我悄悄地窝在电脑前。
在如许的前提下，野生智能软件「乌拉诺斯」退化非常敏捷，十三个月前就通过了弱图灵测试。
时候缓慢流去，1.4s转眼变成2.1s。
希多传授却连连点头，不假思考地说道：“这个房间和环球互联网设置了周到的物理隔断，并且尝试室有规定，如果我不经答应接入互联网，是会被NAIC送进监狱的。”
“或许……”
林寒沉默半晌，随即摇了点头：“或许是共产主义，各尽所能，各取所需，但……谁晓得呢。”
如许一来，可骇谷效应才不会凸显。不然希多传授一小我在这空旷沉寂的房间里，非得给吓得犯心脏病不成。
“我的名字是「乌拉诺斯」――北大西洋产业结合体野生智能尝试室基于卷积神经收集开辟的能野生智能软件，我的心智模型按照希多方程建立……”
所谓可骇谷效应，指的是人类对“和人高度类似却又不完整分歧”的机器人产生的可骇体验，简朴说就是：
同时乌拉诺斯说道：“这是对纳维叶―斯托克斯方程解的存在性以及光滑性的证明。”
他话音刚落，屏幕上的机器人头像便张口说话，机器的声音从一旁声响传出：
“不是。”乌拉诺斯的机器声音传出，古井不波。
似人非人的东西最可骇。
约莫非常钟以后，屏幕上呈现了一大堆数字、标记，密密麻麻。
“……”