然而这一次，已经不需要再等了。

论文pdF、开源核验器源码、完整的规范化枚举目录、停机轨迹索引、八千八百六十六万四千零六十四台种子库机器对应的非停机见证、分块覆盖树，以及两套互相独立、使用不同语言编写的核验器，已经全部公开在互联网上。

项目页面上已经挂出了多家预先受邀节点的全量复核结论。

公开以后，又陆续新增了上百份独立编译、局部重放和攻击记录。

它们还不能替整个领域结束审查，却已经把任何新的质疑，逼到了具体规则、具体分块和具体反例上。

沈砚秋略一思索，打开文档，新建了一份直播的提纲。

【一、没有破解一般停机问题，图灵不可计算的边界依然存在。】

【二、47，176，870不是计算机速度上限，它是一台极其简陋机器的命运尺度。】

【三、1989年人类找到了候选冠军；2022年，联合团队才证明没有任何合法机器能够运行得更久。】

写完这三点，他盯着闪烁的光标想了想，又郑重地加上了第四行。

【四、这个精确数值本身几乎没有直接工业用途，但这不等于整项工作没有现实价值。】

这一行写完，沈砚秋盯着屏幕看了片刻。

他心里很清楚，今晚的直播，真正难讲也是最容易招骂的地方，就在这第四点。

此时此刻，普通人的情绪已经被清华大一新生、四十年悬案、全球计算机教材改写、计算理论极限这些充满史诗感的宏大词汇推到了最高处。

大众期待的是一个能让中国科技瞬间碾压全球的超级武器，是一个能让生活立刻发生翻天覆地变化的魔法。

在这样的狂热氛围下，任何一句直接工业用途近乎为零，都可能像一根尖锐的钢针，瞬间戳破刚刚鼓起来的情感泡沫。

评论区肯定会有人骂他酸，骂他贬低国人成果，甚至骂他不懂装懂。

可如果为了迎合情绪，为了收割流量，把一项纯粹的基础研究硬说成明年就能装进智能手机、后年就能让自动驾驶永不出错，那不叫科普。

那是在拿江临和清华团队真正完成的伟大工作，给一场虚假廉价的公众庆功宴搭台。

是对科学本身的亵渎。

沈砚秋吐出一口浊气，十指重新落回键盘，开始一点点拆解那份庞大的证明架构。

……

上午九点二十六分。

清华大学 bb(5) 项目公开页面的留言板上，新增了一封非常简短的短笺。

署名是艾伦·布雷迪。

在计算理论界，这是一个几乎与繁忙海狸研究史本身重叠的名字。

正是他，在1983年确立了四状态繁忙海狸的精确值107。

也正是他，在面对状态空间呈指数级爆炸的五状态机器时，于1990年的一篇论文中留下了一句充满宿命感的判断：人类或许永远无法证明S(5)的精确值。

这封短笺的旁边，附着一张高分辨率的扫描图。

那是一页泛黄的旧论文，纸张的边缘已经有些卷曲。

在一段探讨计算复杂性边界的文字中，那句持续了三十二年的悲观预测。

【the exact value of bb(5) may remain forever elusive.】

——被一支蓝色钢笔的墨水重重地划去。

在页边那点可怜的空白处，写上了两个崭新的等式和一个日期。

墨水很新，字迹甚至因为年迈而有些轻微的颤抖。

【S(5)=47，176，870】

【Σ(5)=4，098】

【2022.

09.

19】

布雷迪的短笺只有三段话。

【1990年，我曾面对浩如烟海的机器轨迹感到绝望，当时拥有的计算工具与证明方法，似乎都不允许我们真正穷尽那个空间。】

【今天，来自中国的年轻人江临和他的联合研究团队，用一份完整、公开、且可以由普通工作站按照公开规范独立进行机械核验，清清楚楚地告诉我：当年那个判断，错了。】
本章未完，请翻下一页继续阅读.........