第510章 70万行代码
一周之后。
美国，马萨诸塞州，波士顿。
北大西洋工业联合体NAIC的人工智能实验室，今天迎来了一位重量级人物——神经网络之父、奇点研究院前副院长约书亚·希多教授。
为此，实验室主任，当年名震全球的阿尔法狗的设计者戴密斯·哈塞比斯亲自带人出来迎接。
三十多年前，16岁的哈塞比斯进入剑桥大学学习计算机科学的时候，希多教授正好就在那里任教。
尽管交集不多，但论起来，希多教授不光是长者，同时也算是他的老师了。
“希多教授，欢迎您的到来。”约书亚·希多刚下车，哈塞比斯就热情地与之握手。
“你好。”希多教授也点头笑道，分别与其他几人握手，便随哈塞比斯进入NAIC人工智能实验室的大楼。
一路上，哈塞比斯与希多教授边走边聊，时而提起校园逸事，谈笑风生。
等到了哈塞比斯的办公室，正事也随之进入话题。
“……戴密斯，和我说说你们的「乌拉诺斯计划」吧。”希多教授说道
哈塞比斯为他倒了一杯茶，一边说：“我想您应该已经了解到，强人工智能「乌拉诺斯」是我们最重要的项目，也是NAIC建立这个实验室的根本原因。”
“NAIC首脑会议认为，在不进行大规模战争的前提下，强人工智能将是遏止华夏的最有力工具之一……”
“不。”希多教授忽然打断他。
“嗯？”哈塞比斯一怔。
希多教授强调地说：“没有之一。强人工智能是科学皇冠上最大的那颗宝石，绝对，绝对没有之一。”
“我赞同您的看法。”哈塞比斯笑道。
希多教授接着问：“《欧盟一般数据保护条例》怎么样了？”
“NAIC正在组织重新修订该条例，昨天我在国家科学基金会得知，有关深度学习技术的限制已经确认将被废除。”
“这还不错。”希多教授不由点头，然后有些感慨地说，“唉，没想到，曾经对人工智能最保守的欧盟，如今正准备解除技术限制，而曾经最激进的奇点研究院，却开始固步自封了。”
哈塞比斯不由问道：“教授，您能告诉我，奇点研究院到底是怎么回事吗？世界公认的人工智能技术圣地，居然会中止所有的强AI项目，甚至连您的辞职都不能起到丝毫作用？”
“嗯……林认为基于深度学习技术的强AI存在巨大风险。”
“什么风险？”
希多教授迟疑了十分之一秒钟：“他没有细说。研究院内部得到的信息，与外界得到的几乎没有差别。”
哈塞比斯沉默片刻：“教授，我听说，奇点研究院已经制造出拥有上千逻辑比特位的量子计算机，而且……”
“我不能违反保密协议。”希多教授摇头，但随即也斟酌地说，“不过我想……你们应该已经有所判断了，至少，传统计算机绝对无法支撑起那样强大的万象云。”
哈塞比斯微微点头，没有继续多问。
希多教授喝了一口茶：“「乌拉诺斯」都有哪些参与者？”
“几乎所有。”哈塞比斯缓缓说道，“谷歌，微软，亚马逊，facebook，D-Wave，波士顿动力，BAE系统，雷神公司……当然还有NAIC的大学、国家实验室们。”
“看样子，你们是准备动真格的了。”希多教授露出笑容。
“当然。”哈塞比斯说道，“不过我们还缺一位卓越的首席科学家，而我想，没有人比您更适合担任这个职位……希多教授，您觉得怎么样？”
希多教授微微一叹，感慨道：“我马上就要76.5岁了，我现在唯一的愿望就是能够在有生之年见证强AI的出生。所以，我有什么理由拒绝你们呢。”
哈塞比斯笑起来：“这是我们的荣幸。”
……
约书亚·希多从奇点研究院离职并加入NAIC人工智能实验室的消息，在人工智能界不可避免地引起一阵波澜，但由于此时暗流汹涌的世界局势的衬托，倒也不算太大的新闻。
几个月的时间一晃而过。
在此期间，媒体曝光最多的就是北大西洋工业联合体的一系列载人登月计划。
轻车熟路的美国进度自是最快，据说大约一年之后即可发射最新的运载火箭土星九号，运送四人乘阿波罗21号飞船登月。
尽管土星九号的推力明显比巨人B3差一截，阿波罗21号飞船作为月球基地部件，也同样没有袭月1号“完整”，但西方的一些媒体，仍然抓着比袭月1号多两个的载人数量不放，大肆吹嘘了一番。
万象集团完全无意多说，作为董事长的林寒更是露面愈少。
此时此刻，林寒就一个人坐在自家书房的电脑桌前，看着眼前四个屏幕上密密麻麻的代码，眉头紧锁。
黑猩猩AI至今没有解决的谎言问题，加深了林寒对深度学习技术的疑虑——自我进化出来的人工智能，可能拥有欺骗人类的能力。
因此，他愈发坚定了人工设计的想法，禁绝内核代码自我完善，以保证人工智能的忠诚。
眼前屏幕上的代码，就是由林寒用键盘一行一行亲手敲出来的AI内核。它的最初版本有数百万行，经过多次改进，现在只有七十万行左右。
windows系统的代码量也就几千万行，单就数量而言，七十万行代码已经是十分惊人的数字，多数程序员一辈子都写不了这么多代码。
更何况，这些代码还是基于量子算法的强AI内核代码，难度和一般代码根本不在一个层次。
即便以林寒如今的身份地位，如果宣称自己以一己之力写出这样的七十万行代码，估计都会有人认为是他精神出了问题。
这些内核代码在通过形式验证之后，便会永久固定，不会自我进化，甚至无法被重新编辑。
林寒相信，只有这样设计出的强人工智能，才是足够可靠的。
美国，马萨诸塞州，波士顿。
北大西洋工业联合体NAIC的人工智能实验室，今天迎来了一位重量级人物——神经网络之父、奇点研究院前副院长约书亚·希多教授。
为此，实验室主任，当年名震全球的阿尔法狗的设计者戴密斯·哈塞比斯亲自带人出来迎接。
三十多年前，16岁的哈塞比斯进入剑桥大学学习计算机科学的时候，希多教授正好就在那里任教。
尽管交集不多，但论起来，希多教授不光是长者，同时也算是他的老师了。
“希多教授，欢迎您的到来。”约书亚·希多刚下车，哈塞比斯就热情地与之握手。
“你好。”希多教授也点头笑道，分别与其他几人握手，便随哈塞比斯进入NAIC人工智能实验室的大楼。
一路上，哈塞比斯与希多教授边走边聊，时而提起校园逸事，谈笑风生。
等到了哈塞比斯的办公室，正事也随之进入话题。
“……戴密斯，和我说说你们的「乌拉诺斯计划」吧。”希多教授说道
哈塞比斯为他倒了一杯茶，一边说：“我想您应该已经了解到，强人工智能「乌拉诺斯」是我们最重要的项目，也是NAIC建立这个实验室的根本原因。”
“NAIC首脑会议认为，在不进行大规模战争的前提下，强人工智能将是遏止华夏的最有力工具之一……”
“不。”希多教授忽然打断他。
“嗯？”哈塞比斯一怔。
希多教授强调地说：“没有之一。强人工智能是科学皇冠上最大的那颗宝石，绝对，绝对没有之一。”
“我赞同您的看法。”哈塞比斯笑道。
希多教授接着问：“《欧盟一般数据保护条例》怎么样了？”
“NAIC正在组织重新修订该条例，昨天我在国家科学基金会得知，有关深度学习技术的限制已经确认将被废除。”
“这还不错。”希多教授不由点头，然后有些感慨地说，“唉，没想到，曾经对人工智能最保守的欧盟，如今正准备解除技术限制，而曾经最激进的奇点研究院，却开始固步自封了。”
哈塞比斯不由问道：“教授，您能告诉我，奇点研究院到底是怎么回事吗？世界公认的人工智能技术圣地，居然会中止所有的强AI项目，甚至连您的辞职都不能起到丝毫作用？”
“嗯……林认为基于深度学习技术的强AI存在巨大风险。”
“什么风险？”
希多教授迟疑了十分之一秒钟：“他没有细说。研究院内部得到的信息，与外界得到的几乎没有差别。”
哈塞比斯沉默片刻：“教授，我听说，奇点研究院已经制造出拥有上千逻辑比特位的量子计算机，而且……”
“我不能违反保密协议。”希多教授摇头，但随即也斟酌地说，“不过我想……你们应该已经有所判断了，至少，传统计算机绝对无法支撑起那样强大的万象云。”
哈塞比斯微微点头，没有继续多问。
希多教授喝了一口茶：“「乌拉诺斯」都有哪些参与者？”
“几乎所有。”哈塞比斯缓缓说道，“谷歌，微软，亚马逊，facebook，D-Wave，波士顿动力，BAE系统，雷神公司……当然还有NAIC的大学、国家实验室们。”
“看样子，你们是准备动真格的了。”希多教授露出笑容。
“当然。”哈塞比斯说道，“不过我们还缺一位卓越的首席科学家，而我想，没有人比您更适合担任这个职位……希多教授，您觉得怎么样？”
希多教授微微一叹，感慨道：“我马上就要76.5岁了，我现在唯一的愿望就是能够在有生之年见证强AI的出生。所以，我有什么理由拒绝你们呢。”
哈塞比斯笑起来：“这是我们的荣幸。”
……
约书亚·希多从奇点研究院离职并加入NAIC人工智能实验室的消息，在人工智能界不可避免地引起一阵波澜，但由于此时暗流汹涌的世界局势的衬托，倒也不算太大的新闻。
几个月的时间一晃而过。
在此期间，媒体曝光最多的就是北大西洋工业联合体的一系列载人登月计划。
轻车熟路的美国进度自是最快，据说大约一年之后即可发射最新的运载火箭土星九号，运送四人乘阿波罗21号飞船登月。
尽管土星九号的推力明显比巨人B3差一截，阿波罗21号飞船作为月球基地部件，也同样没有袭月1号“完整”，但西方的一些媒体，仍然抓着比袭月1号多两个的载人数量不放，大肆吹嘘了一番。
万象集团完全无意多说，作为董事长的林寒更是露面愈少。
此时此刻，林寒就一个人坐在自家书房的电脑桌前，看着眼前四个屏幕上密密麻麻的代码，眉头紧锁。
黑猩猩AI至今没有解决的谎言问题，加深了林寒对深度学习技术的疑虑——自我进化出来的人工智能，可能拥有欺骗人类的能力。
因此，他愈发坚定了人工设计的想法，禁绝内核代码自我完善，以保证人工智能的忠诚。
眼前屏幕上的代码，就是由林寒用键盘一行一行亲手敲出来的AI内核。它的最初版本有数百万行，经过多次改进，现在只有七十万行左右。
windows系统的代码量也就几千万行，单就数量而言，七十万行代码已经是十分惊人的数字，多数程序员一辈子都写不了这么多代码。
更何况，这些代码还是基于量子算法的强AI内核代码，难度和一般代码根本不在一个层次。
即便以林寒如今的身份地位，如果宣称自己以一己之力写出这样的七十万行代码，估计都会有人认为是他精神出了问题。
这些内核代码在通过形式验证之后，便会永久固定，不会自我进化，甚至无法被重新编辑。
林寒相信，只有这样设计出的强人工智能，才是足够可靠的。