第169章 幽灵机器的终焉（3 / 13）
“我们尝试了所有常规武器，精確循环无效，平移循环无效，反向不可达集合我们强行展开到了第九层，但状態数量在那之后开始呈现出恐怖的指数级膨胀，內存直接溢出。”
乔闻鐸的语气中透出深深的疲惫。
“现有最长轨跡，已经超过了两百亿步。仍然没有停机。更可怕的是，它也没有进入任何能被现有规则捕捉的重复结构。”
周述在一旁接手操作。
他深吸了一口气，將一张庞大的空间—时间图调了出来。
黑白相间的纸带轨跡瞬间占满了整面墙的屏幕，仿佛某种远古生物的复杂基因图谱，又像是高空俯瞰下的异星城市遗蹟。
“这就是它两百亿步的生命歷程。”周述指著屏幕上那些密密麻麻的纹理说，“读写头在越来越宽的区间里来回扫动，像一个不知疲倦的织布工。它写入，擦除，再折返。图像的外沿在不断扩张，纸带越来越长。”
周述说著，放大了其中一个区域。
“但是內部却找不到两个完全相同的截面，继续模擬下去没有任何意义。”
周述转头看向眾人，语气篤定。
“两百亿步和两千亿步，甚至两万亿步，在这里没有本质区別。只要它还能在边界上生成新的纸带结构，只要它的行为没有展现出闭合的周期性，我们就永远等不到循环。”
会议桌的另一端，叶寧揉了揉布满红血丝的眼睛，调出项目组连日来熬夜赶出的三份厚厚的分析报告。
“项目组先后尝试过三条分析路线。有人把它看成一种广义的二进位计数器，试图用进位法则去框定它；也有人怀疑它在模擬某种类似於考拉兹猜想的动態叠代，所谓的3n+1变体。”
叶寧继续翻页。
“我们尝试了三套最先进的压缩模型去解释它的轨跡。在局部，这些模型確实能完美契合。但只要推到边界归併的极端情况，只要读写头触碰到那个特定的0与1的交界，模型就会瞬间断裂，所有的预测都会失效。”
她把最后一份报告翻到末页，展示给所有人。
【结论：现有抽象不足以排除未来停机。】
屏幕右上角，那个数字仍然是1。
就像悬在整个团队头顶的达摩克利斯之剑。
只要这个1还在那里，布雷迪的预言就依然生效。
四千零九十八就只能被称为下界，四千七百一十六万八千八百七十也仅仅只是一个候选值。
整个五状態繁忙海狸问题四十年的歷史，几代人的心血，此刻全都被死死压在这张只有十个格子的微小转移表上。
乔闻鐸转过头，將目光投向了坐在会议桌最末端的江临。
这个名义上的大一新生，穿著一件普通的纯色t恤，面容平静得像是一汪没有波澜的湖水。
但就是他在过去的几天里，一次又一次地展现出了远超常人的敏锐与决断。
“共享可信核已经圆满完成了它的任务。”乔闻鐸对江临说，语气中不无期待与託付，“现在，我们缺的是一份能被它检查、能经受住数学界审视的见证。”
江临的视线从那张转移表上扫过，在脑海中快速重构著这十个转移规则背后的代数结构。
十几秒后，他抬头说道：“把单步动画关掉。”
周述愣了一下，隨即敲下空格键，按下了暂停。
屏幕上那片令人眼晕的黑白轨跡，呈现出庞大到令人绝望的纸带状態。 ↑返回顶部↑
乔闻鐸的语气中透出深深的疲惫。
“现有最长轨跡，已经超过了两百亿步。仍然没有停机。更可怕的是，它也没有进入任何能被现有规则捕捉的重复结构。”
周述在一旁接手操作。
他深吸了一口气，將一张庞大的空间—时间图调了出来。
黑白相间的纸带轨跡瞬间占满了整面墙的屏幕，仿佛某种远古生物的复杂基因图谱，又像是高空俯瞰下的异星城市遗蹟。
“这就是它两百亿步的生命歷程。”周述指著屏幕上那些密密麻麻的纹理说，“读写头在越来越宽的区间里来回扫动，像一个不知疲倦的织布工。它写入，擦除，再折返。图像的外沿在不断扩张，纸带越来越长。”
周述说著，放大了其中一个区域。
“但是內部却找不到两个完全相同的截面，继续模擬下去没有任何意义。”
周述转头看向眾人，语气篤定。
“两百亿步和两千亿步，甚至两万亿步，在这里没有本质区別。只要它还能在边界上生成新的纸带结构，只要它的行为没有展现出闭合的周期性，我们就永远等不到循环。”
会议桌的另一端，叶寧揉了揉布满红血丝的眼睛，调出项目组连日来熬夜赶出的三份厚厚的分析报告。
“项目组先后尝试过三条分析路线。有人把它看成一种广义的二进位计数器，试图用进位法则去框定它；也有人怀疑它在模擬某种类似於考拉兹猜想的动態叠代，所谓的3n+1变体。”
叶寧继续翻页。
“我们尝试了三套最先进的压缩模型去解释它的轨跡。在局部，这些模型確实能完美契合。但只要推到边界归併的极端情况，只要读写头触碰到那个特定的0与1的交界，模型就会瞬间断裂，所有的预测都会失效。”
她把最后一份报告翻到末页，展示给所有人。
【结论：现有抽象不足以排除未来停机。】
屏幕右上角，那个数字仍然是1。
就像悬在整个团队头顶的达摩克利斯之剑。
只要这个1还在那里，布雷迪的预言就依然生效。
四千零九十八就只能被称为下界，四千七百一十六万八千八百七十也仅仅只是一个候选值。
整个五状態繁忙海狸问题四十年的歷史，几代人的心血，此刻全都被死死压在这张只有十个格子的微小转移表上。
乔闻鐸转过头，將目光投向了坐在会议桌最末端的江临。
这个名义上的大一新生，穿著一件普通的纯色t恤，面容平静得像是一汪没有波澜的湖水。
但就是他在过去的几天里，一次又一次地展现出了远超常人的敏锐与决断。
“共享可信核已经圆满完成了它的任务。”乔闻鐸对江临说，语气中不无期待与託付，“现在，我们缺的是一份能被它检查、能经受住数学界审视的见证。”
江临的视线从那张转移表上扫过，在脑海中快速重构著这十个转移规则背后的代数结构。
十几秒后，他抬头说道：“把单步动画关掉。”
周述愣了一下，隨即敲下空格键，按下了暂停。
屏幕上那片令人眼晕的黑白轨跡，呈现出庞大到令人绝望的纸带状態。 ↑返回顶部↑