永不下车

    侵入一架机构的内部网络，对方然而言，曾经是信手拈来、至少也是轻松愉快的。

    但对于ib，情形则完全两样，一开始就意识到其中蕴藏的莫大风险，他只谨慎的利用为“国际商用机器”兼职时获取的讯息，旁敲侧击的从内网泄露的数据里提取有用的信息，而几乎不会直接尝试侵入，以免惹出麻烦。

    本身就是it界的巨头，“国际商用机器”公司的内部网络，可想而知，显然并非是由一群能力平庸的麻瓜在运维，贸然侵入是危险的。

    不过现在身处其中，以一名员工的身份登录内网，继而借助公寓的网络入口，在相对比较有利的网络拓扑态势和访问控制策略下，方然的准备工作还是发挥了不小的作用，他按图索骥、很快连接到内网的后台服务器。

    进而，从网络管理、监控层面，观察到了自己所在公寓楼、乃至房间的大致情形。

    一旦介入后台管理层，对自己的住处有起码的把握，方然就稍松口气，他不紧不慢的敲击键盘，确认公寓大楼管理系统运作正常，自己所在的房间也没什么异样，这样才能让自己睡一个安稳觉。

    夏洛特研发中心，既然雇员有接近一千个，想必什么人都有，在这一切都依赖网络、一切都受制于网络的地方，说的严重点，但凡永生追寻者，或者觊觎控制权的麻瓜，甚至只是潜伏着心理问题的危险人物，要通过网络，策划一起谋杀事件简直易如反掌。

    之前“处理”托马斯安生时，方然的计划很复杂，是因为一切都要隐秘、而不能被任何人发现。

    反过来，倘若只是要干掉一个目标，并让自己脱逃制裁，根本不在乎目标的死讯迅速扩散，那么在网络高度发达的今天，对依然活跃在互联网络之阴暗面的黑客们而言，就是一种司空见惯的举手之劳。

    别的不谈，就方然偶尔想到的一招，只要联动视频监控系统和物联网体系，让走廊上的废品收集机器人在特定时间突然动作，就能将猝不及防的目标推下楼梯，再结合一点偶然洒落的清洗剂或者润滑油，就可以让目标死于颅脑损伤的概率超过50。

    这样的行动，策划起来并无一点困难之处，即便当真实施，当今几乎所有终端都连接到互联网络、本身的硬件体系与软件系统也越来越复杂，设施的行为，早已不仅仅与本地运行的软件系统有关，而是物联网络诸多控制、数据信道的共同作用，要在其中找出谋杀的蛛丝马迹，是非常困难的。

    即便方然，设法登陆公司内网的后台服务器，也不一定能100保证安全。

    但当夜幕降临时，完成一天的锻炼，学习和网络信息处理工作后，方然还是按时就寝，他采取了原始而实用的物理防御法，将沉重的单人床推到门口，自己则打地铺睡在靠近露台的窗户旁，手边是储气式火灾逃生面具，防火帘和一大桶饮用水，除此之外，就是通过特殊渠道弄进来的pg17手枪。

    psti-glok-17，不知采用了什么样的最新成果，整枝枪都用所谓“工程塑料”制成，虽然寿命只有短短的五十到七十发，价格也很高，对方然而言仍然是一件防身利器。

    至于发射寿命，真到了要一下子打几十枪的时候，大概，他也就命数将尽了罢。




第二二一章 四色
    迄今为止，提到“四色定理”，还无法用人类已掌握的数学来证明。

    但这是否就意味着，人类需要接受计算机给出的，并非显明、仅仅是有限穷举而得到的所谓证明呢，这就是一个见仁见智的问题。

    与数学界的诸多高深学问不同，四色定理，寻常人也一眼就能看懂，即便其背后蕴含的数学原则想必极为高深，却并不妨碍人类经由观察、思考，再加上一点人所特有的直觉洞察，主观上倾向于认为“这一猜想是正确的”。

    即便如此，对计算机的有限穷举，算不算是严格的证明了四色定理呢；

    方然对此持谨慎的否定态度。

    之所以持否定态度，并非是说，在他眼中计算机的一切证明、推演，都毫无价值，而是在像“四色定理”这样的问题上，暴力验证手段，要面对的目标空间是无穷大，这时穷举法事实上已经失效，不论是人用纸和笔，还是计算机用逻辑电路与电磁波来进行，都不会改变这一原则性的事实。

    在面对此类问题时，迄今为止，计算机并不被认为有这样一种能力：

    超越人类的分析、洞察与推理，独立解决这些人力所不能及的自然科学领域之难题。

    换句话说，按it领域的一句公理，至少到目前为止还是不容置疑的总结，“人做不到的事，计算机同样做不到”。

    这里的“能”与“不能”，是在不考虑时间、资源等因素的前提下，进行的判断。

    就是对任何一个命题，倘若人，人类，人类文明，始终维持当前的认识水平，即便花费再长时间也无法解决，那么对计算机而言，即便同样有无限长的时间可用，这命题也注定会是无法解决的。

    演绎到数学领域，原则上，只要是人证不出来的命题，计算机也一定证不出来。

    这一判断，不仅在it领域，在自然科学领域也是一种共识，直到今天，也没有明确的迹象表示，计算机能够突破这样的限制，具备超越人脑的智慧。

    至于当下的人工智能，看名称，仿佛就是计算机也能因此而具有智慧，实质却是在架构层面的一种模仿，试图利用算法、乃至硬件来模拟人类大脑的神经元活动，从而具备此前为人所独有的学习、记忆、联想乃至推断能力。

    指导思想大抵如此，具体到每一种实现策略，不论神经网络、还是深度学习，效果在本质上也都是相近的。

    与人类的大脑相比，目前的ai体系，不论是在软件层面的算法和架构，还是在硬件层面的逻辑电路、存储器件，具有远超人脑的数值计算能力和数值存储空间，然而，却一直没有实现远超人类的意识和思维能力。

    而“国际商用机器”在夏洛特的研发中心，负责人工智能方向的aig15都主攻这一领域，在方然的aig4，“阿尔法”组的主要方向是新架构，即在不改变现有硬件基础——数字逻辑电路的条件下，提出创造性的新架构，试图创造出能力更加强大的人工智能，或者，让现有人工智能的算力需求大幅下降。

    与前沿探索的“阿尔法”组不同，“贝塔”组的方向，则更加现实，专注于现有人工智能体系的调整、优化，在应用平台上混合ai与传统逻辑模块，提升系统的实际性能。

    作为新手，一开始在“贝塔”组工作，这是很自然的安排。

    夏洛特的信息基础研发中心里，有若干aig这样的组，之前面试过方然的肯汤普森则是中心的项目负责人之一，也是五个aig小组的总管，但他想必很忙，来到夏洛特中心很多天，方然都没在见过他本人。

    除非是开讨论会，他倒是通过投影屏幕见过两三次，毕竟也和现场不一样。

    目标明确，小组里负责带新人的工程师也挺友善，认识到自己要展现能力、显露才华，才能如愿以偿的留在研发中心，方然很投入，和小组中资历更老的其他员工不一样，他每天都会准时去工作室，下班时间后，还会在住处的电脑前继续忙碌。

    天资平平，眼前一切全凭实打实的努力，方然清楚自己的斤两。

    不过这样的投入度，也不全是受眼前目标的驱使：在动身前几乎刺探、评估过夏洛特研发中心的一切，对于“努力到什么程度才能留在ibm”，方然很有把握。

    对人工智能，具体的讲，对未来的人工智能，究竟会发展到一个什么样的程度，他的确很感兴趣，既然工作需要，索性就全身心的投入其中，先尝试解决内心早已有之、却始终没有解答的困惑：

    正如四色定理的证明，原则上，并不能作为计算机超越了人的证据；

    他想知道，计算机、人工智能、自动化体系的能力上限，究竟在哪里，人的智慧、思维、能力，会不会是这一切新生事物的天花板。

    人无法解决的问题，原则上，计算机更无法解决。

    直到不久之前，不，直到坐在电脑前思考的这一刻，方然都清楚的知道，这句话还是工程界、计算机界乃至自然科学界的共识。

    未来尚未可知，眼前的情形却不容置疑，迄今为止，人类所创造的一切计算机、智能系统与自动化体系，虽然在很多领域都具有令人望尘莫及的强大力量，也在诸如实时翻译、自动驾驶和棋类对弈等领域呈现出碾压性的优势，但是在逻辑推导、思维推断的层面，却根本没有取得任何实质性的突破。

    直到今天，任何一个数学猜想，仍然需要由人来证实、或者证伪；

    倘若某些猜想，可以被计算机严密的证明、或者证伪，那必定是人的智慧在幕后操纵，计算机，则只是用来节约时间、节约生命的有力工具。

    现实情形如此，但，未来又会如何；

    智慧，逻辑思维，分析、理解、洞察，这一切为人所垄断的时间，还有多久……

    每天工作到深夜，十一点准时离开电脑、洗漱就寝，方然的脑海差不多被模型、架构和分析测试所充斥，但稍有闲暇时，他还是会被脑海中萦绕的念头所吸引。



第二二二章 职级
    他想知道的是，ai，计算机，智能化系统，这一切事物的理论极限，究竟是怎样的。

    是终究无法超越人，超越人的思想，人的智慧，还是仅仅因为这一切目前仍依赖人去创造，因此而带有某种与生俱来的属性，进而被禁锢，被束缚，无法发挥那远超碳基生命物理极限的强大力量。

    这一渴望，单凭空想是无法填补，他知道自己必须学习更多，理解更多。

    但直觉的判断又是什么呢。

    生活规律，工作努力，进入ibm的几个月试用期，直到西历1479年的元旦之前结束，方然的表现一直都比较稳定。

    工作中，他没有表现的像个天才，也没有表现出任何的难以胜任。

    循规蹈矩，至少在表面上如此，托马斯安生获得的评价是“乐观、积极，创造性有待发掘的可用之才”，这正是方然想要的。

    在人才济济、想必同类也会扎堆的ibm，尤其是在涉及人工智能、自动化体系的研究中心，用不着刻意寻找，他也能从每一天的工作和生活中，嗅到隐约的危险气息，在这里崭露头角甚至大出风头，风险是不言而喻的。

    另一方面，表现的太过平庸，当然也有各方面的负面影响，譬如迟迟无法进入“阿尔法”组参与更核心、更有挑战性的工作，而只能蹲在“贝塔”组当算法设计师和测试者。

    职级的提升迟缓，也会反映为薪水的多寡，托马斯安生的评定级别为21，算是一般情况。

    西历1479年到来时，二十六岁的年轻人第一次拿到正式员工的报酬。

    扣除联邦社会保险和401k养老金，接近14，000马克，这数目在研发中心只是下游，却已经超越了百分九十六的联邦雇佣劳动者；通过asa抓取到这一数据，方然便心生感慨，他分明从中看到了剥削的存在，却也无能为力。

    14，000马克，说少不少，在食宿免费的研发中心上班，若没有其他开销，三个月就能买得起一辆外表光鲜的tesla_model_3。

    但是和一名员工为企业创造的价值相比，14，000马克，又是那样的微薄。

    资本主导的利益分配，博弈双方，地位与态势完全是一边倒，分配的结果也就可想而知。

    方然呢，并不太在乎每月能拿到多少钱，虽然按他的计划，位于科罗拉多州的三号避难所最好尽早开工，倒也不急在这一时。

    和积攒马克相比，每天都做一些功课、在内部网络潜行，逐渐细化研发中心的三维地图，掌握包括物资、设备与传感器在内一切元素的具体情形，才是身为永生追寻者，在周遭环境尚不十分明朗时的当务之急。

    每天循规蹈矩，做好自己的分内工作，同时暗中布局，方然很适应这样的节奏。

    但在某人的眼里，这样的表现却不是一个好现象。

    西历1479年初秋，进入夏洛特研发中心的第二个年头，正在工作室里调试程序、等待智能分析模块响应的方然，被一通内部讯息呼叫到负责人办公室。

    肯汤普森，走进办公室时瞥见了一眼，方然就表现的挺紧张，继而看向左右。

    安全，时刻都要提防风险，负责人没有通过内网交流渠道、而是请他来办公室，这让警惕性很高的年轻人略感不安，虽然在前来的路上，他查看过网络嗅探程序的反馈数据，并没有发现什么反常的情况。

    理论上，仅仅是理论上，倘若他一进门就面对黑洞洞的枪口，一切就全都付诸流水；

    但万幸也仅仅是理论，ibm里的永生追寻者恐怕不会少，但，里面出现随便杀人、不计后果的精神异常人士，概率应该就极其渺小。

    一边思考，一边看向四周，安生的表现很像是在局促。

    见此情景，肯汤普森拍了拍沙发靠背，让来者坐下，然后问他要不要喝一杯咖啡。

    “不，谢谢您；

    我已连续看了快三十小时代码，今天忙完，想好好的睡一觉。”

    其实这种有损健康的事，怎么可能做呢，方然岂但是不想喝咖啡、宁可选择苏打水，昨天晚上也和以往一样按时睡觉，只留下asa30在维持熬夜工作的假象。

    反正ibm在夏洛特中心的内网，监控体系里已经有了他做的手脚，不论怎样调取传感器数据，或者查看红外线监控网络，也没人能戳穿他的谎言，这是身为“宅男”、“码农”而进行的伪装行为之一。

    说者无意，听着倒是有心，汤普森下意识的摸了摸秃顶：

    “你经常熬夜吗，托马斯。”

    “有时候会，虽然现在有了ai同步管理，我们和测试、验证环节的衔接仍然有一点瑕疵，连续作业是也为了赶进度。”

    熬夜，拖延时间，项目进度延期，在it领域简直就司空见惯，这并非是上线一套高度智能化、具备全局配置与协调能力的“人工智能项目版本管理系统”就能缓解，更不用想将其彻底解决。

    “是这样吗，看来，aig_5的成果只能说凑合；

    今天请你过来面谈，恩……是想交流一些看法，并没有严肃的公务，我希望这是一次轻松愉快的交谈。

    托马斯，对进入‘国际商用机器’以来的表现，你会怎么评价”

    例行公事，听到肯汤普森的问话，方然的第一个想法大抵如此。

    不过他很快意识到，倘若这只是ibm内部的例行流程，直接走网络渠道即可，时间宝贵，负责人没必要特意叫自己前来。

    那该怎样回答呢，开口前，方然十指交叉、扬起眉毛思考了片刻。

    他可没有在揣摩上意，在崇尚实干的it领域，这毫无必要，而是在斟酌其中的风险。

    短暂的几秒钟时间里，大脑转的飞快，方然没想到自己在这一段时间会露出什么马脚，他舔了舔嘴唇：

    “这份工作，恩，其实比较缺乏挑战性，但作为新手，我也没有感觉到游刃有余，所以眼下还在努力学习、掌握，和小组成员的交流沟通也很愉快。