第171章 世界终於看懂了（7 / 14）
上午九点二十六分。
清华大学 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年，我曾面对浩如烟海的机器轨跡感到绝望，当时拥有的计算工具与证明方法，似乎都不允许我们真正穷尽那个空间。】
【今天，来自中国的年轻人江临和他的联合研究团队，用一份完整、公开、且可以由普通工作站按照公开规范独立进行机械核验，清清楚楚地告诉我：当年那个判断，错了。】
【在此，我收回我的预言。这是我一生中，最愿意承认也最感到幸福的一次错误。科学的迷人之处就在於，总有人能点亮你以为永远黑暗的房间。】
那张泛黄论文被划掉预言的图片，在短短半小时內，以不可阻挡之势衝出了理论计算机科学那狭小的学术圈子。
对於大眾来说，它比任何光鲜亮丽的奖盃、比任何媒体的夸讚都更容易让人明白这项成果的真实重量。
一个在四十年前亲手確立了上一项世界纪录的科学先驱，等了三十多年，等到头髮全白，等到自己都快要被学术界遗忘，最后，用微微颤抖的手，亲手划掉了自己对於下一项纪录的绝望判断，向一个十八岁的东方少年致敬。
这是一种跨越国界、跨越世纪的文明传承，充满了古典科学时代的浪漫与庄严。
紧接著，一波未平一波又起。
理论计算机科学界最著名的学术博客shtetl-optimized更新了。
博主是该问题的重要研究者、德克萨斯大学奥斯汀分校教授斯科特·阿伦森。
他直接更新了他在2020年发表的那篇关於繁忙海狸前沿进展的著名文章。
在旧的网页缓存里，bb(5)=47，176，870 这个等式的后面，原本用红色的斜体字清楚地標著一个词：conjecture（猜想）。
当全世界无数的研究者刷新页面后，那个红色的单词消失了。 ↑返回顶部↑
清华大学 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年，我曾面对浩如烟海的机器轨跡感到绝望，当时拥有的计算工具与证明方法，似乎都不允许我们真正穷尽那个空间。】
【今天，来自中国的年轻人江临和他的联合研究团队，用一份完整、公开、且可以由普通工作站按照公开规范独立进行机械核验，清清楚楚地告诉我：当年那个判断，错了。】
【在此，我收回我的预言。这是我一生中，最愿意承认也最感到幸福的一次错误。科学的迷人之处就在於，总有人能点亮你以为永远黑暗的房间。】
那张泛黄论文被划掉预言的图片，在短短半小时內，以不可阻挡之势衝出了理论计算机科学那狭小的学术圈子。
对於大眾来说，它比任何光鲜亮丽的奖盃、比任何媒体的夸讚都更容易让人明白这项成果的真实重量。
一个在四十年前亲手確立了上一项世界纪录的科学先驱，等了三十多年，等到头髮全白，等到自己都快要被学术界遗忘，最后，用微微颤抖的手，亲手划掉了自己对於下一项纪录的绝望判断，向一个十八岁的东方少年致敬。
这是一种跨越国界、跨越世纪的文明传承，充满了古典科学时代的浪漫与庄严。
紧接著，一波未平一波又起。
理论计算机科学界最著名的学术博客shtetl-optimized更新了。
博主是该问题的重要研究者、德克萨斯大学奥斯汀分校教授斯科特·阿伦森。
他直接更新了他在2020年发表的那篇关於繁忙海狸前沿进展的著名文章。
在旧的网页缓存里，bb(5)=47，176，870 这个等式的后面，原本用红色的斜体字清楚地標著一个词：conjecture（猜想）。
当全世界无数的研究者刷新页面后，那个红色的单词消失了。 ↑返回顶部↑