第169章 幽灵机器的终焉（9 / 13）
手指颤抖著，连续计算了sha-256与blake3两组摘要。
屏幕返回了完全一致的哈希字符串。
她这才长长地出了一口气，抬起头，看向站在前方的乔闻鐸，重重地点了点头。
第三方负责人一言不发，直接伸手拔掉了连接测试伺服器的外网网线接口。
手法熟练地开始封存两套编译实体程序的二进位文件、隱藏的测试集，以及长达几十个g的完整运行日誌。
这是未来应对任何学术质疑的铁证。
乔闻鐸站在原地，仿佛一尊雕像。
视线久久地停留在那个0上，然后缓缓移到左侧布雷迪的预测上，最后又重新落回资料库的总控页面。
四十多年。
从他还是个年轻学者的时候起，五状態繁忙海狸的这两个候选值，就一直像两座幽灵般的灯塔，印在无数的论文、博客论坛和计算理论经典教材的边缘注释里。
每一次提到它们，后面都无可奈何地跟著同一个刺眼的词语。
未证明！
而现在，今晚。
最后一台不可一世的幽灵机器，被戴上了非停机的枷锁。
八千八百六十六万四千零六十四台种子库机器，每一台都获得了可追溯、可独立核验的非停机判定路径。
此前被模擬確认停机的机器，则保留在完整枚举目录的另一条索引中。
乔闻鐸深吸一口气，迈步走到会议桌最前方的主位上。
“报最终数据，枚举目录。”
“双路独立生成，数量完全一致，底层哈希一致，无遗漏。”第三方负责人大声回答。
“已知冠军核验。”
叶寧將两套独立模擬器的最终状態投射到主屏幕中央。
【maximum_halting_steps：47，176，870】
【maximum_ones_on_tape：4，098】
“非停机分类状態。”
周述双手敲击回车，打开了最终的全局索引表。
“所有非停机条目，均能百分之百回指到对应的证书文件、核验器版本號和机器原始哈希，无一孤立。unknown分类，確认为零。”
乔闻鐸缓缓取下鼻樑上的老花镜，从口袋里掏出眼镜布，將镜片仔细擦了一遍。
当他再次戴上眼镜时，屏幕上那三行决定性的结果，依然安安静静地立在那里，宣示著永恆的数学真理。
他拿起桌上一本厚重的项目总记录册，翻到最后空白的一页。
拔出钢笔，在最终结论栏里，一笔一划地写下—— ↑返回顶部↑
屏幕返回了完全一致的哈希字符串。
她这才长长地出了一口气，抬起头，看向站在前方的乔闻鐸，重重地点了点头。
第三方负责人一言不发，直接伸手拔掉了连接测试伺服器的外网网线接口。
手法熟练地开始封存两套编译实体程序的二进位文件、隱藏的测试集，以及长达几十个g的完整运行日誌。
这是未来应对任何学术质疑的铁证。
乔闻鐸站在原地，仿佛一尊雕像。
视线久久地停留在那个0上，然后缓缓移到左侧布雷迪的预测上，最后又重新落回资料库的总控页面。
四十多年。
从他还是个年轻学者的时候起，五状態繁忙海狸的这两个候选值，就一直像两座幽灵般的灯塔，印在无数的论文、博客论坛和计算理论经典教材的边缘注释里。
每一次提到它们，后面都无可奈何地跟著同一个刺眼的词语。
未证明！
而现在，今晚。
最后一台不可一世的幽灵机器，被戴上了非停机的枷锁。
八千八百六十六万四千零六十四台种子库机器，每一台都获得了可追溯、可独立核验的非停机判定路径。
此前被模擬確认停机的机器，则保留在完整枚举目录的另一条索引中。
乔闻鐸深吸一口气，迈步走到会议桌最前方的主位上。
“报最终数据，枚举目录。”
“双路独立生成，数量完全一致，底层哈希一致，无遗漏。”第三方负责人大声回答。
“已知冠军核验。”
叶寧將两套独立模擬器的最终状態投射到主屏幕中央。
【maximum_halting_steps：47，176，870】
【maximum_ones_on_tape：4，098】
“非停机分类状態。”
周述双手敲击回车，打开了最终的全局索引表。
“所有非停机条目，均能百分之百回指到对应的证书文件、核验器版本號和机器原始哈希，无一孤立。unknown分类，確认为零。”
乔闻鐸缓缓取下鼻樑上的老花镜，从口袋里掏出眼镜布，將镜片仔细擦了一遍。
当他再次戴上眼镜时，屏幕上那三行决定性的结果，依然安安静静地立在那里，宣示著永恆的数学真理。
他拿起桌上一本厚重的项目总记录册，翻到最后空白的一页。
拔出钢笔，在最终结论栏里，一笔一划地写下—— ↑返回顶部↑