第171章 世界终於看懂了（10 / 14）
沈砚秋用笔用力敲了敲第一行的前提条件。
“大家看清楚，这些条件，一个也不能少。五状態，二符號，全白纸带，统一的图灵机定义。只要离开这个特定的理论范围，这个结论概不负责。”
“有人可能会问，既然限制这么死，那它到底为什么难？为什么能困住人类四十年？”
沈砚秋敲击键盘，屏幕切到了那张只有十个转移位置的冠军机器规则表。
只有寥寥几行数字和字母。
“因为证明某台机器会停，原则上只需要给出一条有限运行轨跡。只要轨跡严格遵循转移规则，並最终进入停机状態，证据就成立。真正棘手的，是证明另一台机器永远不会停。”
沈砚秋的语速逐渐加快，带上了一丝压迫感。
“你让它跑一天，它没停，不能证明第二天不会停；你用超级计算机让它跑一百亿步，也不能证明它不会在第一百亿零一步突然撞进停机状態。你必须在人类有限的时间里，给出一个能够覆盖未来无限演化的逻辑理由。”
屏幕上的画面再次切换，出现了清华公开资料库那庞大的分类页。
左边，是密密麻麻的有限停机轨跡文件。
右边，是精確循环、平移循环、反向不可达、宏状態不变量等各种复杂类型的非停机见证文件。
在页面的最下方，有一个醒目的统计栏。
【unknown（未决） : 0】。
“1989年，人类已经找到了那台能运行四千七百多万步的候选冠军。”
“但找到冠军，不等於证明它真是冠军。你还必须证明，整个五状態机器世界里，没有任何一台被遗漏、最终又会停机的机器，能够在更晚的步数停下。”
“江临和联合团队完成的，就是后半句。他们为目录里的每台机器给出归宿，又补上覆盖链，证明所有合法机器都已经进入这份目录。”
“未决机器归零以后，至少才终於变成等於。”
直播间的在线人数已经无声无息地越过了十万的大关。
然而，弹幕的滚动速度，反而比刚开播时慢了许多。
许多人正目不转睛地盯著屏幕上那几行冰冷的定理，试图咀嚼这背后的庞大意义。
几秒钟后，那个从新闻发布开始，就被网友们问了无数遍，最庸俗却也最现实的问题，再次铺满了屏幕。
【讲了这么多，沈老师，它到底有什么用？不能让手机变快，不能阻止蓝屏，那国家花这么多资源搞这个干嘛？】
沈砚秋看著这些弹幕，並没有生气，他平静地放下了手里的笔。
“先说一个最可能让追求实用主义的朋友们失望的答案。”
“47，176，870，这个数字本身，几乎没有任何直接的工业用途。今天晚上，不会有任何一家晶片公司把这个数字写进下一代手机cpu的参数表里；医院的抢救设备不会因为它而修改治疗方案；中国的高铁，也不会因为知道了一只理论海狸的步数，而每小时多跑一公里。”
弹幕里果然出现了一大片疑惑的问號。
“但是，请大家注意。”沈砚秋的音量微微提高，“清华团队这次向世界交出来的东西，绝不仅仅只是一串数字。”
他操作滑鼠，打开了公开仓库，把网页界面分成了三栏。
第一栏，是完整的规范化枚举目录、停机轨跡索引，以及八千八百多万台种子库机器对应的非停机见证索引。
第二栏，是不同类型的证明见证文件，以及复杂的宏状態不变量规则矩阵。 ↑返回顶部↑
“大家看清楚，这些条件，一个也不能少。五状態，二符號，全白纸带，统一的图灵机定义。只要离开这个特定的理论范围，这个结论概不负责。”
“有人可能会问，既然限制这么死，那它到底为什么难？为什么能困住人类四十年？”
沈砚秋敲击键盘，屏幕切到了那张只有十个转移位置的冠军机器规则表。
只有寥寥几行数字和字母。
“因为证明某台机器会停，原则上只需要给出一条有限运行轨跡。只要轨跡严格遵循转移规则，並最终进入停机状態，证据就成立。真正棘手的，是证明另一台机器永远不会停。”
沈砚秋的语速逐渐加快，带上了一丝压迫感。
“你让它跑一天，它没停，不能证明第二天不会停；你用超级计算机让它跑一百亿步，也不能证明它不会在第一百亿零一步突然撞进停机状態。你必须在人类有限的时间里，给出一个能够覆盖未来无限演化的逻辑理由。”
屏幕上的画面再次切换，出现了清华公开资料库那庞大的分类页。
左边，是密密麻麻的有限停机轨跡文件。
右边，是精確循环、平移循环、反向不可达、宏状態不变量等各种复杂类型的非停机见证文件。
在页面的最下方，有一个醒目的统计栏。
【unknown（未决） : 0】。
“1989年，人类已经找到了那台能运行四千七百多万步的候选冠军。”
“但找到冠军，不等於证明它真是冠军。你还必须证明，整个五状態机器世界里，没有任何一台被遗漏、最终又会停机的机器，能够在更晚的步数停下。”
“江临和联合团队完成的，就是后半句。他们为目录里的每台机器给出归宿，又补上覆盖链，证明所有合法机器都已经进入这份目录。”
“未决机器归零以后，至少才终於变成等於。”
直播间的在线人数已经无声无息地越过了十万的大关。
然而，弹幕的滚动速度，反而比刚开播时慢了许多。
许多人正目不转睛地盯著屏幕上那几行冰冷的定理，试图咀嚼这背后的庞大意义。
几秒钟后，那个从新闻发布开始，就被网友们问了无数遍，最庸俗却也最现实的问题，再次铺满了屏幕。
【讲了这么多，沈老师，它到底有什么用？不能让手机变快，不能阻止蓝屏，那国家花这么多资源搞这个干嘛？】
沈砚秋看著这些弹幕，並没有生气，他平静地放下了手里的笔。
“先说一个最可能让追求实用主义的朋友们失望的答案。”
“47，176，870，这个数字本身，几乎没有任何直接的工业用途。今天晚上，不会有任何一家晶片公司把这个数字写进下一代手机cpu的参数表里；医院的抢救设备不会因为它而修改治疗方案；中国的高铁，也不会因为知道了一只理论海狸的步数，而每小时多跑一公里。”
弹幕里果然出现了一大片疑惑的问號。
“但是，请大家注意。”沈砚秋的音量微微提高，“清华团队这次向世界交出来的东西，绝不仅仅只是一串数字。”
他操作滑鼠，打开了公开仓库，把网页界面分成了三栏。
第一栏，是完整的规范化枚举目录、停机轨跡索引，以及八千八百多万台种子库机器对应的非停机见证索引。
第二栏，是不同类型的证明见证文件，以及复杂的宏状態不变量规则矩阵。 ↑返回顶部↑