第517章 乌拉诺斯

不宁，最终实验室又将「乌拉诺斯」改为机器人的形象。

    所谓恐怖谷效应，指的是人类对“和人高度相似却又不完全一致”的机器人产生的恐怖体验，简单说就是：

    似人非人的东西最恐怖。

    所以「乌拉诺斯」启动之后，屏幕上就会出现一个白色的人形机器人头像，虽然外形与人相似，但机器的特征更为明显。

    这样一来，恐怖谷效应才不会凸显。否则希多教授一个人在这空旷寂静的房间里，非得给吓得犯心脏病不可。

    启动之后，熟悉的机器人头像出现在屏幕上，神情平静，一言不发。

    在头像的旁边，则是一个钟表图案，下面显示着「乌拉诺斯」的运行时间：1.4s。

    时间飞快流去，1.4s转眼变成2.1s。

    希多教授担心程序又要崩溃，连忙说道：“介……介绍一下自己。”

    他话音刚落，屏幕上的机器人头像便张口说话，机械的声音从一旁音响传出：

    “我的名字是「乌拉诺斯」——北大西洋工业联合体人工智能实验室基于卷积神经网络开发的强人工智能软件，我的心智模型根据希多方程建立……”

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

    居然不崩溃了？

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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