第170章 把零交给全世界（1 / 18）

  九月十六日，北京时间上午九点十七分。

  欧洲中部夏令时间，凌晨三点十七分。

  第二復现节点的负责人马丁·维尔纳，在自己的工作记录里写下一个刺眼的红色单词。

  【hold】

  他面前开著四个高解析度显示窗口，冷色的萤光映照著他那张布满疲態却异常严肃的脸。

  左上角，是清华项目组向受邀復现节点的临时只读仓库，里面躺著刚刚传来的最后一批见证文件。

  右上角，是他从2006年便开始一点一滴建立並维护的五状態图灵机镜像库。

  下方的两块终端，分別运行著项目组提供的rust版本证书检查器，以及他自己耗费数年心血编写的规范化枚举程序。

  六小时前，第一份来自其他外部復现节点的结果就已经传到了他的邮箱。

  宏状態证书成立。

  两套互相物理隔离的核验器，在截然不同的编译工具链下，给出了逐位一致的逻辑裁决摘要。

  最后一台holdout的宏状態不变量证书，已经通过独立核验。

  第一份外部復现宣告胜利，但马丁並未在那份pass后面签下自己的名字。

  他追踪五状態机器整整十六年，见证过太多次黎明前的虚假曙光，见过太多漂亮的局部结论。

  某台机器被参数化重写规则证明永不停机，某类具有分形特徵的轨跡被自动机理论吞噬，某个精巧的判定器在短短一小时內清空几百万条疑似记录。