第170章 把零交给全世界（6 / 18）
第一百万条校验，成立。
第一千万条校验，成立。
第三千万条，第四千万条……
直到第四千六百万条，依然牢不可破。
清华会议室的共享页面被设定为每隔一个小时自动刷新一次。
整个周末，running状態后面的处理进度计数就像心跳一样持续增长，但那个刺眼的红色hold標记，始终固执地驻留在那里。
北京时间下午六点三十一分，马丁那台已经连续满负荷运算了不知道多少个小时的核验程序，终於艰难地爬到了最后一个数据分块的尽头。
终端屏幕微微闪烁了一下，首先给出了两行毫无规律的哈希字符串。
第一行，是清华团队公布的覆盖见证默克尔总根。
第二行，是马丁的本地计算机，经歷了几十个小时独立重跑、重建后，计算得出的本地总根。
马丁凑近屏幕。
两行如同乱码般的字符，上下排列著。
从第一个字母，到最后一位数字，严丝合缝，逐位相同。
没有哪怕一个比特的偏差。
隨后，伴隨著几声清脆的系统提示音，四项最终验证结果在屏幕中央依次弹出，闪烁著代表通过的绿光。
【full search tree / covered（全搜索树覆盖確认）】
【normal form orbits / mapped（规范型轨道映射確认）】
【halting index / linked（停机索引连结確认）】
【nonhalting index / linked（非停机索引连结確认）】
看著四项绿色结果全部亮起，马丁將本地编译环境、覆盖核版本、四项裁决摘要和默克尔总根写入审查记录，又从最后一批数据中抽出三个分块，重新反向核对。
结果没有变化。
这一次，他打开了那封在草稿箱里搁置两天的审查回执。
指尖飞舞。
【覆盖链已闭合，逻辑未见断裂。】
【我已用独立枚举逻辑重建规范代表目录，並完成全部覆盖分块的全量覆核，未发现脱靶叶节点。】
【此前的hold状態，正式撤销。】
【基於上述独立覆核，我支持將s(5)=47，176，870与Σ(5)=4，098作为已经完成证明的精確值向全球公开。】
邮件发送。
北京的会议室里，共享审查页迎来了新一轮的自动刷新。
那个在第一份pass旁边像钉子一样扎了两天两夜，让所有人坐立不安的红色方框，在眾人的注视下，悄然翻转，变成了一抹代表通行与认可的翠绿色。 ↑返回顶部↑
第一千万条校验，成立。
第三千万条，第四千万条……
直到第四千六百万条，依然牢不可破。
清华会议室的共享页面被设定为每隔一个小时自动刷新一次。
整个周末，running状態后面的处理进度计数就像心跳一样持续增长，但那个刺眼的红色hold標记，始终固执地驻留在那里。
北京时间下午六点三十一分，马丁那台已经连续满负荷运算了不知道多少个小时的核验程序，终於艰难地爬到了最后一个数据分块的尽头。
终端屏幕微微闪烁了一下，首先给出了两行毫无规律的哈希字符串。
第一行，是清华团队公布的覆盖见证默克尔总根。
第二行，是马丁的本地计算机，经歷了几十个小时独立重跑、重建后，计算得出的本地总根。
马丁凑近屏幕。
两行如同乱码般的字符，上下排列著。
从第一个字母，到最后一位数字，严丝合缝，逐位相同。
没有哪怕一个比特的偏差。
隨后，伴隨著几声清脆的系统提示音，四项最终验证结果在屏幕中央依次弹出，闪烁著代表通过的绿光。
【full search tree / covered（全搜索树覆盖確认）】
【normal form orbits / mapped（规范型轨道映射確认）】
【halting index / linked（停机索引连结確认）】
【nonhalting index / linked（非停机索引连结確认）】
看著四项绿色结果全部亮起，马丁將本地编译环境、覆盖核版本、四项裁决摘要和默克尔总根写入审查记录，又从最后一批数据中抽出三个分块，重新反向核对。
结果没有变化。
这一次，他打开了那封在草稿箱里搁置两天的审查回执。
指尖飞舞。
【覆盖链已闭合，逻辑未见断裂。】
【我已用独立枚举逻辑重建规范代表目录，並完成全部覆盖分块的全量覆核，未发现脱靶叶节点。】
【此前的hold状態，正式撤销。】
【基於上述独立覆核，我支持將s(5)=47，176，870与Σ(5)=4，098作为已经完成证明的精確值向全球公开。】
邮件发送。
北京的会议室里，共享审查页迎来了新一轮的自动刷新。
那个在第一份pass旁边像钉子一样扎了两天两夜，让所有人坐立不安的红色方框，在眾人的注视下，悄然翻转，变成了一抹代表通行与认可的翠绿色。 ↑返回顶部↑