最后价值，最坏的结果是，运算核心被污染，不管我们如何重启，格式化都无法终止污染进程，最后只能销毁。”
郑院士语气沉重：“量子计算机实验正处于关键时刻，这是我们打造真正强人工智能的关键，需要大量算力进行计算，这两台运算单元非常重要，但如今这种情况……”
讲到这里，他叹息一声。
许晨露出惭愧的表情，早知道不去好奇了。
“不过你不必自责，测试机的职责本就是如此。”郑院士安慰似的拍了拍他的肩膀：“至少这一次污染能让我们大致了解如果大衍失控会是怎么样子，后续也有应对计划除此之外，我们也做过对应的预案，强人工智能已经处于临门一脚了，接下来我们会筛选需要算力但是优先级不高的项目从而保障真强人工智能的进展。”
许晨一愣：“临门一脚？”
“嗯？你不知道吗？中科院那边刚解决了量子门保真度与工程化噪声抑制，大肥团队在量子纠错码的规模化集成上打通了万比特最后一环，我们在理论上已经搞定了一切，现在只剩下工程与软件方面的挑战，特别是全新量子算法，其设计思路与经典算法截然不同，如果搞不定这个，就无法真正实现应用。”
“也就是说，大衍很快就能再升级了？”
许晨震撼，他已经觉得现在的大衍足够强了。
“不能这么说，量子计算机仅仅只是强人工智能的前置条件之一，他其实另一个作用是突破我们打造真正强人工智能的关键—— 搞定哥德尔不完备定理。”
郑院士解释起来。
哥德尔不完备定理揭示了任何一个足够复杂且自洽的公理系统，都必定存在其内部既不能证明为真、也不能证明为假的盲点。
而要说到哥德尔不完备定理就必须提到希尔伯特纲领，其核心思路就是在每个数学领域规定一些基本公理，再将公理写成形式语言，用来证明其他命题。
比如两点确定一条直线，其核心表达是“过任意两个不同的点，有且仅有一条直线”，其形式化公式为：∀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′ 也是自然数。
即：∀n
…。。