第170章 把零交给全世界（1 / 18）
九月十六日，北京时间上午九点十七分。
欧洲中部夏令时间，凌晨三点十七分。
第二復现节点的负责人马丁·维尔纳，在自己的工作记录里写下一个刺眼的红色单词。
【hold】
他面前开著四个高解析度显示窗口，冷色的萤光映照著他那张布满疲態却异常严肃的脸。
左上角，是清华项目组向受邀復现节点的临时只读仓库，里面躺著刚刚传来的最后一批见证文件。
右上角，是他从2006年便开始一点一滴建立並维护的五状態图灵机镜像库。
下方的两块终端，分別运行著项目组提供的rust版本证书检查器，以及他自己耗费数年心血编写的规范化枚举程序。
六小时前，第一份来自其他外部復现节点的结果就已经传到了他的邮箱。
宏状態证书成立。
两套互相物理隔离的核验器，在截然不同的编译工具链下，给出了逐位一致的逻辑裁决摘要。
最后一台holdout的宏状態不变量证书，已经通过独立核验。
第一份外部復现宣告胜利，但马丁並未在那份pass后面签下自己的名字。
他追踪五状態机器整整十六年，见证过太多次黎明前的虚假曙光，见过太多漂亮的局部结论。
某台机器被参数化重写规则证明永不停机，某类具有分形特徵的轨跡被自动机理论吞噬，某个精巧的判定器在短短一小时內清空几百万条疑似记录。
每一次的进展都无比真实，每一次的欢呼也都有著坚实的理由。
可是，五状態繁忙海狸那座庞大的冰山，始终在水面下留著最后一道缝隙。
因为，证明一台机器不会停机，与证明所有符合条件的竞爭者都已经毫无遗漏地被列入审查，这中间隔著一整片浩瀚无垠且危机四伏的搜索空间。
就像在一片原始黑森林里寻找最高的那棵树，你测量了眼前所有树的高度，但你如何向世界证明，森林的某个被遗忘的暗角里，没有藏著另一棵参天巨木？
马丁关掉已经绿灯常亮的宏状態核验窗口，直接在命令行里拆掉项目组附带的那套规范化工具。
他要亲自重走一遍这片黑森林。
他从最基础的空转移表开始，捨弃了清华团队提供的搜索树路径，用自己定义的状態命名顺序重新展开庞大的搜索空间。
第一轮，他只在搜索树前九层关闭左右镜像约化，逐项核对被摺叠的分支。
第二轮，他改用另一套新状態首现顺序，重新生成完整的规范代表目录。
第三轮，他从被剪枝分支中抽取原始转移表，不接受项目组给出的代表编號，独立计算每台机器对应的规范映射。
工作站机箱里的处理器风扇发出悽厉的轰鸣，连续高负载运转了整整五个小时。
咖啡壶底部剩下的一层黑色液体早就冷透了，凝结出一圈苦涩的深色水垢。
当天光从百叶窗的缝隙里一点点挤进来，照亮满桌的草稿纸时，两套规范代表目录的最终计数弹了出来。
完全对齐。
马丁紧盯那个相同的数字，眉头反而压得更低了，眼角的纹路深刻得像是刀刻。 ↑返回顶部↑
欧洲中部夏令时间，凌晨三点十七分。
第二復现节点的负责人马丁·维尔纳，在自己的工作记录里写下一个刺眼的红色单词。
【hold】
他面前开著四个高解析度显示窗口，冷色的萤光映照著他那张布满疲態却异常严肃的脸。
左上角，是清华项目组向受邀復现节点的临时只读仓库，里面躺著刚刚传来的最后一批见证文件。
右上角，是他从2006年便开始一点一滴建立並维护的五状態图灵机镜像库。
下方的两块终端，分別运行著项目组提供的rust版本证书检查器，以及他自己耗费数年心血编写的规范化枚举程序。
六小时前，第一份来自其他外部復现节点的结果就已经传到了他的邮箱。
宏状態证书成立。
两套互相物理隔离的核验器，在截然不同的编译工具链下，给出了逐位一致的逻辑裁决摘要。
最后一台holdout的宏状態不变量证书，已经通过独立核验。
第一份外部復现宣告胜利，但马丁並未在那份pass后面签下自己的名字。
他追踪五状態机器整整十六年，见证过太多次黎明前的虚假曙光，见过太多漂亮的局部结论。
某台机器被参数化重写规则证明永不停机，某类具有分形特徵的轨跡被自动机理论吞噬，某个精巧的判定器在短短一小时內清空几百万条疑似记录。
每一次的进展都无比真实，每一次的欢呼也都有著坚实的理由。
可是，五状態繁忙海狸那座庞大的冰山，始终在水面下留著最后一道缝隙。
因为，证明一台机器不会停机，与证明所有符合条件的竞爭者都已经毫无遗漏地被列入审查，这中间隔著一整片浩瀚无垠且危机四伏的搜索空间。
就像在一片原始黑森林里寻找最高的那棵树，你测量了眼前所有树的高度，但你如何向世界证明，森林的某个被遗忘的暗角里，没有藏著另一棵参天巨木？
马丁关掉已经绿灯常亮的宏状態核验窗口，直接在命令行里拆掉项目组附带的那套规范化工具。
他要亲自重走一遍这片黑森林。
他从最基础的空转移表开始，捨弃了清华团队提供的搜索树路径，用自己定义的状態命名顺序重新展开庞大的搜索空间。
第一轮，他只在搜索树前九层关闭左右镜像约化，逐项核对被摺叠的分支。
第二轮，他改用另一套新状態首现顺序，重新生成完整的规范代表目录。
第三轮，他从被剪枝分支中抽取原始转移表，不接受项目组给出的代表编號，独立计算每台机器对应的规范映射。
工作站机箱里的处理器风扇发出悽厉的轰鸣，连续高负载运转了整整五个小时。
咖啡壶底部剩下的一层黑色液体早就冷透了，凝结出一圈苦涩的深色水垢。
当天光从百叶窗的缝隙里一点点挤进来，照亮满桌的草稿纸时，两套规范代表目录的最终计数弹了出来。
完全对齐。
马丁紧盯那个相同的数字，眉头反而压得更低了，眼角的纹路深刻得像是刀刻。 ↑返回顶部↑