第二十二章 更深的绝望
看着那些醒目的空白，王一男欲哭无泪。
而与此同时，在滨海国际机场，史密斯已经登上了最早一班飞往太阳国的班机。他沒有随身携带硬盘出境，显然那些东西在過安检的时候可能会带来麻烦。
临时在机场买了些金属的纪念币，史密斯把纪念币的包装盒扔掉，然后将超导体材料跟纪念币混杂在一起，随意塞在旅行包边上的小袋子裡，看起来像是跟纪念币放一起的小玩意。
史密斯就這样很轻松的混過了安检。
帝都，景石山边上，“有关部门“的总部裡，钱中华敲响了某大佬办公室的大门。
“小钱来了”
“昨天半夜，你们部门可是把总部折腾的够呛”
“最近在帝都有個大型的金石头国家合作会议，安保工作任务很重啊”
“你這次一下子抽调了几乎所有的空闲人手抓捕這個鬓狗史密斯，有這個必要嗎？”
“容与科技不就是一個普通的私营企业，最多就是有361這個股东，史密斯也就是個普通的商业间谍”
“看你的架势，就好像零零七来了似的”
钱中华哼了一声，“就你手下那帮饭桶知道什么，他们就知道盯着航空口啊，兵器口，当然還有火箭口”
“真要是听他们的，整個华国都被卖了，他们還不知道呢”
“這么說這個容与科技還是有点好东西的，我听說昨晚被盗窃了，丢了什么？”，有关部门的老大问，按照普通谍战片的惯例，我們给他一個单字母的绰号，叫做S吧，嗯，女的就叫M(adam)，男的就叫S(ir)。
“盗窃，還有破坏“，钱中华回答到。
“至于损失，不算太大吧，也就是一個目前世界上最领先的人工智能被盗走了核心数据后，全部损毁，破坏的很彻底”
“什么？”S一下子从座位上站了起来，“世界最领先，你沒弄错吧”
“嗯，沒弄错，米歌最新研究的打战争星际的人工智能彻底实现了的话，应该可以接近它的水平吧“。
S有点懵了，现在私营企业已经這么猛了，我怎么听說這种水平的AI，只有千歌啊，千度啊，或者鹅肠才能干得出来的。
钱中华沒等S回過神来，“這個是次要损失，主要损失的還是目前世界上唯一能在液氮温区稳定实现超导的一些材料”
“全部被盗走了”
“什么！”
S彻底抓狂了，“为什么之前沒人告诉我？”
“你手下那帮饭桶也该换一换了，居然把容与公司当成普通的私营企业，說沒啥值得关注的”
“让人家整整盯了容与科技三個月，沒采取任何行动，說出去也够丢人的”
“王小兵“，S大喊一声，警卫员应声跑了进来，“报告”
“立刻通知所有部门副主任以上领导到我這裡开会，十分钟之内不出现的，就地免职！”
钱中华别别嘴，“你教训整顿手下，就不需要我陪绑了吧”
“不，你来介绍情况，以及部署一下抓捕史密斯的任务”，S還是很有头脑的，
“追究责任的事情，可以以后再說，现在最重要的是，一定要拦住這個史密斯，别让他出境”
十分钟之后，在有关部门的一個小会议室裡，钱中华首先花两分钟介绍了情况，包括目前采取的措施。
从各地警方，包括特警反饋回来的情况，在帝都机场，帝都各高铁，普铁车站，包括各公路检查哨所，都沒有发现可疑的情况。S立刻吩咐所有在帝都的“有关部门”加大监控和排查的力度。
此时，時間已经到了上午八点三十分，滨海机场飞往太阳国的飞机已经关闭了舱门。
這個时候，被特别邀請参加会议的刑警队刘队长的电话响了，他拿起电话，是刑警队打来的。
听手下汇报了一会，放下电话，他一脸严肃的对S說，
“报告，我們刑警队有重大发现”，
“我們调阅了临近所有路口的监控录像，直到检查到将近一公裡外的一個路口的摄像头，我們发现了一辆可疑的汽车，在案发前大概半小时经過這個路口“
“但是大概案发后半小时，我們在另外一個路口的摄像头发现了這辆汽车的踪迹”
“从行驶的時間和方向来看，這辆车有重大作案嫌疑”
“很有可能是犯罪嫌疑人驾车经過第一個摄像头之后，将车停在路边，然后徒步进入容与科技作案，作案结束后迅速驱车经過第二個摄像头离开”，
“因为，如果是正常行驶，在這個距离不可能花费近一個小时的時間”
”立刻通過车辆管理部门，查找這辆汽车登记信息“，S立刻吩咐，
“同时所有人，给我调阅所有离京的高速监控信息，一定给我抓住這辆车的踪迹“。
然而，就在S他们追踪這辆可疑汽车时候，太阳国航空从滨海飞往太阳国的航班已经起飞了。
十分钟后，到底是人多力量大啊，各种信息立刻汇总了過来。
“报告”，“车辆查到了，是昨晚在大城酒店附近的砍柴胡同被盗的，车主刚报案”
“报告“，“凌晨四点，這辆车从小马驹入口开上了帝都到滨海的高速“
“滨海”，“该死，我怎么忘了滨海也有国际机场”，钱中华懊恼的一拍脑袋。
“立刻看一下滨海今天上午有哪些出境的航班”
“什么，八点半飞往太阳国的航班，是太阳航空的，目前已经离境了？“
“啪”的一声，钱中华给了自己一個清脆的耳光，“MMP”，“史密斯一定在這架飞机上”
“早想到滨海，一定可以把他拦下来的“
“確認一下吧，让滨海机场把今天上午到目前为止的安检录像传過来”，S冷静的說。
“同时，各大机场和涉外口岸的管控千万不能放松”
很快，会议室的投影上出现了滨海机场的安检画面，一個背着旅行袋，身高一米八五左右的，外籍秃顶男子引起了钱中华他们的注意，
“像不像”
“挺像的，至少這身衣服跟哪個夜跑男很像，应该是沒来得及换衣服”
“但是酒店迎宾說的可疑男子是卷发”
“很可能带了头套，让技术科给他弄一個卷发的头套，然后把合成的照片拿给酒店迎宾辨认”
很快，留在警局接受询问的酒店迎宾给出了肯定的回答，
“就是他，半夜出去跑步的那個”
“降低抓捕的级别吧”S說。
“我让太阳国的外勤想想办法，不過别抱太大希望，他应该有接应的人“
“何况我們也不可能在太阳国对他下手。“
“我去把坏消息告诉王一男“，钱中华离开了“有关部门”总部。
留下S开始咆哮他那帮不争气的手下。
钱中华给王一男打了個电话，得知他们還在吉祥村之后，就直接驱车過去。
等到钱中华再次看见一片狼藉的哥德尔系统的时候，已经是上午十一点了。
王一男和孙伟還在白板前写写画画的，
“干嘛呢”，钱中华问。
“评估一下哥德尔系统的损失，制定修复的方案，你有什么好消息带给我們嗎，史密斯抓到了？”
“呃”，钱中华很有些不好意思。
“恰恰相反，我有個坏消息告诉你们“
“我們基本确定，史密斯已经离境“，钱中华看了看表，
“现在应该已经抵达太阳国首都“
“意料之中，我就沒指望警察能抓住小偷”
听着王一男阴阳怪气的嘲讽，钱中华有些怒了，“你要早告诉我們這些东西的价值，至于像今天這样嗎“
“告诉你们，先不說我连你们的门在哪裡开都不知道”
“就算告诉你们，你们会相信嗎”，王一男一边写着什么，一边說到。
钱中华有些无言以对了，要是沒出今天的事情，估计“有关部门”還真会把容与公司当個笑话，不是所有的人，都像张琪一样，会给一個号称改变人类文明进程的人，以足够的信任。
钱中华自问，自己是做不到的。
“好吧“，对于遭受如此巨大打击的人，钱中华决定還是释放自己的同情心，就不跟王一男计较了。
“最近這段時間，我会派人在你這裡值班，你们安排好吃饭住宿的地方就行”
“有什么需要帮忙的，尽管說”
钱中华匆匆离开了容与公司。
整理被损坏的哥德尔系统就花了整整两天時間，王一男考虑了一下，還是把公司所有的人召集在一起开了個会，包括那两只准备来报道的科研狗。
“目前情况就是這样，我們下一阶段的核心任务，是恢复哥德尔系统，根据目前损害的情况，最乐观的估计，也需要三個月的時間才能恢复，当然也有可能，是永远也恢复不了，因为我們自身对哥德尔的运行机制都不是绝对清楚。
“董志和罗小音，你们可以跟我做一些超导材料的前期理论和实践准备，当然，你们還沒有报到，现在改变主意還来得及“
“开工资不”，董志看了一眼罗小音，问到。
“当然”，王一男苦笑着回答道，“咱公司，现在就只剩下钱了“
“老板，那我跟定你了，小音也一样对吧”，董志說，
罗小音苦笑着点了点头說，“嗯，既然来了，就跟你混吧”
哥德尔系统的硬件恢复工作比预期的快一些，大部分CPU和GPU在找到专业的硬件维修公司维修或者更换之后，都恢复了正常工作。
钱中华也将他们最好的硬件专家派了過来，不幸中的万幸，相信上帝的史密斯還是有一点恻隐之心，他用来破坏哥德尔系统的只是一把扫帚而已，如果当时他放一把火。。。王一男想着，忍不住打了個冷颤。
大部分硬盘在修理后也能读出內容来，有几块破坏特别严重的，“有关部门”的硬件专家把他们拿到特别的实验室裡面，直接从损坏的碟片上，也恢复了大部分数据。
王一男，李飞和赵天成，在原始的linux系统基础上，重写了大部分缺失的访问接口，有些确定损坏了的数据，王一男他们就编写一個空的函数体，首先保证系统能正常运行起来。
经過近一個月的艰苦努力，哥德尔系统重新上线了，用王一男的话来說，“不管還有多少错误，多少缺陷“
“只要還能抓住自己的头发，哥德尔系统就一定能把自己拔到一個新的高度“
然而，重新加电上线的哥德尔系统，再也抓不住自己的头发了。
所有形式化的方法都可以使用，王一男使用孙伟那篇H265的论文进行测试，問題域的抽象，孙伟原始解决方案的形式化都是那么的顺畅和完美，王一男敲入指令，开始利用重生后的哥德尔系统寻找形式系统的缺陷。
形形色色的LED闪烁着，闪烁着，正当大家以为哥德尔系统计算能力下降，又要开始漫长等待的时候。
蜂鸣声响了起来。
王一男看着屏幕，上面沒有1，2，3，4。。。的缺陷，
只有一行小字
“NoFault”
：https://www.bie5.cc。：https://m.bie5.cc