“确认一下吧,让滨海机场把今天上午到目前为止的安检录像传过来”,S冷静的说。
“同时,各大机场和涉外口岸的管控千万不能放松”
很快,会议室的投影上出现了滨海机场的安检画面,一个背着旅行袋,身高一米八五左右的,外籍秃顶男子引起了钱中华他们的注意,
“像不像”
“挺像的,至少这身衣服跟哪个夜跑男很像,应该是没来得及换衣服”
“但是酒店迎宾说的可疑男子是卷发”
“很可能带了头套,让技术科给他弄一个卷发的头套,然后把合成的照片拿给酒店迎宾辨认”
很快,留在警局接受询问的酒店迎宾给出了肯定的回答,
“就是他,半夜出去跑步的那个”
“降低抓捕的级别吧” S说。
“我让太阳国的外勤想想办法,不过别抱太大希望,他应该有接应的人“
“何况我们也不可能在太阳国对他下手。“
“我去把坏消息告诉王一男“,钱中华离开了“有关部门”总部。
留下S开始咆哮他那帮不争气的手下。
钱中华给王一男打了个电话,得知他们还在吉祥村之后,就直接驱车过去。
等到钱中华再次看见一片狼藉的哥德尔系统的时候,已经是上午十一点了。
王一男和孙伟还在白板前写写画画的,
“干嘛呢”,钱中华问。
“评估一下哥德尔系统的损失,制定修复的方案,你有什么好消息带给我们吗,史密斯抓到了?”
“呃”,钱中华很有些不好意思。
“恰恰相反,我有个坏消息告诉你们“
“我们基本确定,史密斯已经离境“,钱中华看了看表,
“现在应该已经抵达太阳国首都“
“意料之中,我就没指望警察能抓住小偷”
听着王一男阴阳怪气的嘲讽,钱中华有些怒了,“你要早告诉我们这些东西的价值,至于像今天这样吗“
“告诉你们,先不说我连你们的门在哪里开都不知道”
“就算告诉你们,你们会相信吗”,王一男一边写着什么,一边说到。
钱中华有些无言以对了,要是没出今天的事情,估计“有关部门”还真会把容与公司当个笑话,不是所有的人,都像张琪一样,会给一个号称改变人类文明进程的人,以足够的信任。
钱中华自问,自己是做不到的。
“好吧“,对于遭受如此巨大打击的人,钱中华决定还是释放自己的同情心,就不跟王一男计较了。
“最近这段时间,我会派人在你这里值班,你们安排好吃饭住宿的地方就行”
“有什么需要帮忙的,尽管说”
钱中华匆匆离开了容与公司。
整理被损坏的哥德尔系统就花了整整两天时间,王一男考虑了一下,还是把公司所有的人召集在一起开了个会,包括那两只准备来报道的科研狗。
“目前情况就是这样,我们下一阶段的核心任务,是恢复哥德尔系统,根据目前损害的情况,最乐观的估计,也需要三个月的时间才能恢复,当然也有可能,是永远也恢复不了,因为我们自身对哥德尔的运行机制都不是绝对清楚。
“董志和罗小音,你们可以跟我做一些超导材料的前期理论和实践准备,当然,你们还没有报到,现在改变主意还来得及“
“开工资不”,董志看了一眼罗小音,问到。
“当然”,王一男苦笑着回答道,“咱公司,现在就只剩下钱了“
“老板,那我跟定你了,小音也一样对吧”,董志说,
罗小音苦笑着点了点头说,“嗯,既然来了,就跟你混吧”
哥德尔系统的硬件恢复工作比预期的快一些,大部分CPU和GPU在找到专业的硬件维修公司维修或者更换之后,都恢复了正常工作。
钱中华也将他们最好的硬件专家派了过来,不幸中的万幸,相信上帝的史密斯还是有一点恻隐之心,他用来破坏哥德尔系统的只是一把扫帚而已,如果当时他放一把火。。。王一男想着,忍不住打了个冷颤。
大部分硬盘在修理后也能读出内容来,有几块破坏特别严重的,“有关部门”的硬件专家把他们拿到特别的实验室里面,直接从损坏的碟片上,也恢复了大部分数据。
王一男,李飞和赵天成,在原始的linux系统基础上,重写了大部分缺失的访问接口,有些确定损坏了的数据,王一男他们就编写一个空的函数体,首先保证系统能正常运行起来。
经过近一个月的艰苦努力,哥德尔系统重新上线了,用王一男的话来说,“不管还有多少错误,多少缺陷“
“只要还能抓住自己的头发,哥德尔系统就一定能把自己拔到一个新的高度“
然而,重新加电上线的哥德尔系统,再也抓不住自己的头发了。
所有形式化的方法都可以使用,王一男使用孙伟那篇H265 的论文进行测试,问题域的抽象,孙伟原始解决方案的形式化都是那么的顺畅和完美,王一男敲入指令,开始利用重生后的哥德尔系统寻找形式系统的缺陷。
形形色色的LED闪烁着,闪烁着,正当大家以为哥德尔系统计算能力下降,又要开始漫长等待的时候。
蜂鸣声响了起来。
王一男看着屏幕,上面没有1,2,3,4 。。。的缺陷,
只有一行小字
“ No Fault”