这时候，或许是运算单元那边忙完了，几位看上去就极具压迫感的研究员走了过来，为首那位身材精瘦，目光锐利。
宋天见他们走过来，退后了两步。
中间的研究员看许晨一眼：“别被小宋吓着了，他说的并不是全部，我们这边已经通过硬件限制AI扩散，尽可能的收窄信道，况且大衍的人格只能运行在服务器的特化芯片上，外界不存在能承载其人格框架的硬件，因此测试机无法逃逸。
最坏的情况，他释放病毒进行里应外合，即便这样我们也对其加以重重封锁，过滤机就是这种防御的产物，如果将过滤视为安全的话，即便他击穿了所有防线，那么根据香农定律，他能传输的有效信息最糟糕也只有几个比特。
测试机想把数MB的病毒代码或者复杂的指令序列通过灯闪传出去，在时间上就不可能实现，因为信道容量不够。”
许晨盯着他，认出这位是工程院郑院士，对策部的信息部门就是他牵头组建的。
他突然想到了什么，那些算式本身所需要的比特量并不高吧？
许晨将自己在俄联邦的见闻对郑院士说了说。
郑院士皱起眉头：“活着的公式？这可真是匪夷所思……竟然还有这种形式的病毒……不过你也不必担心，从你描述的特征来看，似乎是一种依赖算力自展开的逻辑体，要激活这串公式需要足够的算力或者理解力，就我所知，这样的算力除了测试机这些人工智能，也就只有超算能够满足需求，即便是通过信道发送出去，其本质上只是一串静态数据，不具备自传播能力，会被过滤器给清除。”
许晨恍然，他突然记起这串病毒传播还需要很多苛刻条件。
郑院士话锋一转：“不过我明白你的顾虑，即便是出现某种我们无法理解的逻辑病毒，或者某种特殊攻击，但端口那边发送的是特化的编码，解码器这边也只会根据特定灯光程序解码，绝不会出现畸形报文攻击这种情况。”
许晨没听太懂，只知道他们将这里打造的固若金汤。
“那你们这是……”
郑院士看了看后面的机房：“在找究竟是什么原因导致的测试机人格变化，然后找测试机人格漂移的触发点，有没有可能回滚。”
“结果怎么样？”
“运算单元在超频运算，存储单元有大量坏死数据，即便是彻底将运算单元格式化，我们也无法保证其能恢复如初，最好的结果就是终止其运行，继续作为测试机使用，至少能榨干其最后价值，最坏的结果是，运算核心被污染，不管我们如何重启，格式化都无法终止污染进程，最后只能销毁。”
郑院士语气沉重：“量子计算机实验正处于关键时刻，这是我们打造真正强人工智能的关键，需要大量算力进行计算，这两台运算单元非常重要，但如今这种情况……”
讲到这里，他叹息一声。
许晨露出惭愧的表情，早知道不去好奇了。
“不过你不必自责，测试机的职责本就是如此。”郑院士安慰似的拍了拍他的肩膀：“至少这一次污染能让我们大致了解如果大衍失控会是怎么样子，后续也有应对计划除此之外，我们也做过对应的预案，强人工智能已经处于临门一脚了，接下来我们会筛选需要算力但是优先级不高的项目从而保障真强人工智能的进展。”
许晨一愣：“临门一脚？”
“嗯？你不知道吗？中科院那边刚解决了量子门保真度与工程化噪声抑制，大肥团队在量子纠错码的规模化集成上打通了万比特最后一环，我们在理论上已经搞定了一切，现在只剩下工程与软件方面的挑战，特别是全新量子算法，其设计思路与经典算法截然不同，如果搞不定这个，就无法真正实现应用。”
“也就是说，大衍很快就能再升级了？”
许晨震撼，他已经觉得现在的大衍足够强了。
“不能这么说，量子计算机仅仅只是强人工智能的前置条件之一，他其实另一个作用是突破我们打造真正强人工智能的关键—— 搞定哥德尔不完备定理。”
郑院士解释起来。
哥德尔不完备定理揭示了任何一个足够复杂且自洽的公理系统，都必定存在其内部既不能证明为真、也不能证明为假的盲点。
而要说到哥德尔不完备定理就必须提到希尔伯特纲领，其核心思路就是在每个数学领域规定一些基本公理，再将公理写成形式语言，用来证明其他命题。
比如两点确定一条直线，其核心表达是“过任意两个不同的点，有且仅有一条直线”，其形式化公式为：?x?y((Point(x)∧Point(y)∧x=y)→?!l(Line(l)∧On(x,l)∧On(y,l)))
如果这非常复杂，那么着名的皮亚诺公理就非常简洁了。
比如，0是自然数，即：0∈N。每一个自然数 nn，都有且仅有一个确定的后继数 n′n′，并且 n′n′ 也是自然数。
这章没有结束，请点击下一页继续阅读！
喜欢支柱计划请大家收藏：(m.zjsw.org)支柱计划爪机书屋更新速度全网最快。