第517章 乌拉诺斯

  罗萱若有所思地点点头,然后又问:“「天行者」诞生之后,他能帮我们解决所有问题吗?如果可以,人类自己又该做什么呢?”

  “也许……”

  林寒停下筷子,“许”字拖了好长也没接下去,似乎还没有组织好语言。

  “也许什么?”罗萱眨了眨眼。

  林寒沉默片刻,随即摇了摇头:“也许是共产主义,各尽所能,各取所需,但……谁知道呢。”

  ……

  马萨诸塞州,波士顿。

  自神经网络之父约书亚·希多从奇点研究院离职,波士顿便继云州之后,成为了新的人工智能学术中心。

  坐落在这里的哈佛大学、麻省理工学院、塔夫茨大学等100多所著名大学,以及大名鼎鼎的NAIC人工智能实验室,当然还有波士顿动力等科技公司,为这个新兴的AI学术圣地,提供了源源不断的人才以及技术。

  时值傍晚,NAIC人工智能实验室的研究员们已经陆续下班,三三两两地从大楼出来,谈笑风生。

  “嗨,贝内特,「乌拉诺斯」怎么样了?”一个亚裔中年人拍了拍贝内特的肩膀,笑着问道。

  “还不是老样子。就像你之前和我说的那句华夏古谚,叫什么百里……?”贝内特随口说道,一边下意识地看了看手表。

  “行百里者半九十。”

  “对,就是这个。”

  见贝内特又低头看了下表,中年人不由问:“怎么,你有急事?”

  贝内特点头:“是啊,我和一位女士约了时间——我有预感,她可能会成为我四十七年来的首位女朋友。”

  “……”

  “时间不早了,我得赶紧走了,有空再聊。”

  ……

  实验室大楼的某个房间中,研究员都已经下班离开,唯独有位身穿白大褂的老人还留在这里,一个人静静地窝在电脑前。

  希多教授一手攥着自己几根稀疏的头发,另手滑动鼠标,目光则紧紧盯着屏幕上的错误报告,脸上透着几分懊恼。

  “又崩溃了……为什么会这样?”他往椅子上一躺,长叹道。

  作为北大西洋工业联合体仅次于可控核聚变的重大科研项目之一,旨在研发强AI的乌拉诺斯计划可谓备受瞩目,得到了整个西方世界的鼎力支持。

  资金充裕,没有后顾之忧,人才同样一流,甚至可以说,半个地球的顶级计算机专家都在为乌拉诺斯计划服务,殚精竭虑。

  在这样的条件下,人工智能软件「乌拉诺斯」进化十分迅速,十三个月前就通过了弱图灵测试。

  在接下来差不多一年的时间里,借助「乌拉诺斯」,实验室不仅破解了多种高等级的密码,甚至还解决了一些数学难题,引发外界密集关注。

  两个月之前,「乌拉诺斯」开始构建心智模型,向强AI逼近。

  然而就在这最关键的时刻,毫无征兆地,「乌拉诺斯」陷入了无止境的崩溃,每次启动,最多不超过十秒钟,程序便会彻底崩溃。

  由于「乌拉诺斯」是自我完善型的人工智能,所以实验室的研究员对它的了解十分有限,根本找不出程序崩溃的关键原因,像一群无头苍蝇似的乱撞了两个月都没有结果。

  作为首席科学家的约书亚·希多,自然是心急如焚,主动加班已经成为家常便饭,要不是有心脏病的掣肘,老头非得在实验室打地铺不可。

  过了片刻,希多教授看了看时间,喃喃自语:“还不到六点,再试一次吧。”

  他当即坐直,在键盘上噼里啪啦地输入密码与指令,重启乌拉诺斯。

  最开始的乌拉诺斯界面是一个对话框的形式,后来被调整为人像,但由于强烈的恐怖谷效应导致许多研究员心绪不宁,最终实验室又将「乌拉诺斯」改为机器人的形象。

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

  似人非人的东西最恐怖。

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

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

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

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

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

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

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

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

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

  居然不崩溃了?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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