第167章 第193步的崩塌（9 / 13）
安静运行的屏幕左侧，审查进程率先结束，亮起了一行显眼的绿色结果。
【certificate valid】
然而，屏幕右侧的完整模擬並没有因此停止，依然在执拗地向前推进。
第190步，第191步，第192步，第193步。
右侧的终端突然卡顿了一下，隨后弹出鲜红的提示。
【halt】
赵承宇把正准备夹起最后一块小酥肉的筷子硬生生地停在打包盒上方，眼神在左右两个窗口间来回切换。
“等等，左边刚才不是说那份证明有效，这机器不会停吗，右边这怎么直接停机了？”
“因为这份证书遗漏了一个致命的前置条件。”江临的声音没有丝毫起伏，像是在宣读一份物理实验的观测数据，“它只向核验器展示了读写头附近那段平移得很工整的图案，却无法用逻辑证明，那些被它拋弃在窗口外面的旧痕跡，以后永远不会重新挡住它的路。”
顾明澈放下手机，看著並排停住，结论却截然相反的两个终端界面，若有所思：“你的意思是，这台机器后来走回头路了？”
“准確地说，是在第193步。”江临调出那一瞬间的纸带快照，“它越过了证书里信誓旦旦声称绝对不会回访的物理边界，碰到了早期运行时刻意留在外面的一颗地雷——一个孤立的数字1，整个平移结构瞬间崩溃。”
“那是原来的那个判定程序写错了？”顾明澈追问。
“原始专用decider会重放有限运行段，並重新检查最大回退范围。”
江临指尖在键盘上划过，把去掉来源信息的两个运行结果和纸带快照並排放大。
“缺少这个安全条件的，是后来有人试图强行揉捏出来的一份统一证书草案。这台机器本该被拒绝，但新草案为了兼容性开了后门，被我构造的数据骗过了。原有的那些数学分类证明，暂时不受这个反例的影响。”
林一舟没有参与討论，他的视线正定在屏幕角落里的版本演进摘要上。
【initial_case：5 states／halt at 6841（初始案例：5状態 / 6841步停机）】
【compressed_case：4 states／halt at 193（压缩案例：4状態 / 193步停机）】
“你最初找到的那个漏洞模型，要一直跑到六千八百四十一步才暴露出错误？”林一舟突然开口，声音有些低沉。
“对。”
“然后你把这个反例压缩到了只要193步就能暴露？”
“只有把状態压减到四状態，两张a4纸就能列出完整转移表、关键纸带快照和错误接受路径。”江临看了一眼桌面上那两页纸，“排除了所有干扰项，別人在做人工覆核时才不会被多余的逻辑分支转移注意力。”
林一舟看了一眼桌边列印出来的四状態转移表。
在信息学竞赛里，找到一组让程序答错的数据並不算结束。
真正能够直接刺穿底层逻辑的反例，应当刪除所有无关结构，让错误只指向一个明確的边界条件。
而眼前这台被江临亲手捏造出来的机器，还要满足远比竞赛苛刻得多的理论要求。
它必须在极小的状態空间內，表现出完美的局部图案平移，必须能让机器哈希和运行段校验顺利通过核验器的审查，最后，还要极其精確地沿著那条被核验器遗漏的路径，在第193步重新碰到窗口外的旧符號，並沿新触发的转移进入停机状態。
在这个逼仄的四状態空间里，江临哪怕多刪一条转移规则，反例就会灰飞烟灭。
少刪一条，人工覆核的代码量就会成倍增加。
要在图灵机的確定性运行轨跡上，精准地找出这条狭窄到令人窒息的缝隙，並且始终维持著局部平移的偽装…… ↑返回顶部↑
【certificate valid】
然而，屏幕右侧的完整模擬並没有因此停止，依然在执拗地向前推进。
第190步，第191步，第192步，第193步。
右侧的终端突然卡顿了一下，隨后弹出鲜红的提示。
【halt】
赵承宇把正准备夹起最后一块小酥肉的筷子硬生生地停在打包盒上方，眼神在左右两个窗口间来回切换。
“等等，左边刚才不是说那份证明有效，这机器不会停吗，右边这怎么直接停机了？”
“因为这份证书遗漏了一个致命的前置条件。”江临的声音没有丝毫起伏，像是在宣读一份物理实验的观测数据，“它只向核验器展示了读写头附近那段平移得很工整的图案，却无法用逻辑证明，那些被它拋弃在窗口外面的旧痕跡，以后永远不会重新挡住它的路。”
顾明澈放下手机，看著並排停住，结论却截然相反的两个终端界面，若有所思：“你的意思是，这台机器后来走回头路了？”
“准確地说，是在第193步。”江临调出那一瞬间的纸带快照，“它越过了证书里信誓旦旦声称绝对不会回访的物理边界，碰到了早期运行时刻意留在外面的一颗地雷——一个孤立的数字1，整个平移结构瞬间崩溃。”
“那是原来的那个判定程序写错了？”顾明澈追问。
“原始专用decider会重放有限运行段，並重新检查最大回退范围。”
江临指尖在键盘上划过，把去掉来源信息的两个运行结果和纸带快照並排放大。
“缺少这个安全条件的，是后来有人试图强行揉捏出来的一份统一证书草案。这台机器本该被拒绝，但新草案为了兼容性开了后门，被我构造的数据骗过了。原有的那些数学分类证明，暂时不受这个反例的影响。”
林一舟没有参与討论，他的视线正定在屏幕角落里的版本演进摘要上。
【initial_case：5 states／halt at 6841（初始案例：5状態 / 6841步停机）】
【compressed_case：4 states／halt at 193（压缩案例：4状態 / 193步停机）】
“你最初找到的那个漏洞模型，要一直跑到六千八百四十一步才暴露出错误？”林一舟突然开口，声音有些低沉。
“对。”
“然后你把这个反例压缩到了只要193步就能暴露？”
“只有把状態压减到四状態，两张a4纸就能列出完整转移表、关键纸带快照和错误接受路径。”江临看了一眼桌面上那两页纸，“排除了所有干扰项，別人在做人工覆核时才不会被多余的逻辑分支转移注意力。”
林一舟看了一眼桌边列印出来的四状態转移表。
在信息学竞赛里，找到一组让程序答错的数据並不算结束。
真正能够直接刺穿底层逻辑的反例，应当刪除所有无关结构，让错误只指向一个明確的边界条件。
而眼前这台被江临亲手捏造出来的机器，还要满足远比竞赛苛刻得多的理论要求。
它必须在极小的状態空间內，表现出完美的局部图案平移，必须能让机器哈希和运行段校验顺利通过核验器的审查，最后，还要极其精確地沿著那条被核验器遗漏的路径，在第193步重新碰到窗口外的旧符號，並沿新触发的转移进入停机状態。
在这个逼仄的四状態空间里，江临哪怕多刪一条转移规则，反例就会灰飞烟灭。
少刪一条，人工覆核的代码量就会成倍增加。
要在图灵机的確定性运行轨跡上，精准地找出这条狭窄到令人窒息的缝隙，並且始终维持著局部平移的偽装…… ↑返回顶部↑