乔闻铎回答得斩钉截铁。
“那是谁把最后一台那块硬骨头啃下来的，Skelet的那个幽灵，你们用了什么新算法？”
乔闻铎隔着会议室的玻璃墙，深深地看了一眼站在白板前的那个年轻身影。
白板上，江临徒手写下的那八类宏控制状态定义和代数推导，依然清晰可见。
“江临。”乔闻铎对着电话说。
电话那头陷入了长达几秒钟的死寂。
“又是那个孩子？”那头的声音显得不可思议，“前几天你们报上来说共享可信核的架构，也是他定的？”
“对，底座架构，加上最后的数学见证，全是他。”
“我如果没记错的话校历，他今天应该才刚刚正式开课到第四天吧？”
乔闻铎嘴角泛起一丝连他自己都没察觉的骄傲微笑：“对，大一新生，第四天。”
会议室里，第一批面向全球顶尖学者的外部复现邮件已经通过加密通道发出。
收件人名单很短，只有寥寥几个名字。
但这几个名字的份量，足以撼动整个理论计算机科学界。
其中既有几十年来一直像苦行僧般维护bb(5)机器数据库的骨灰级研究者，也有在形式化验证和小型图灵机领域享有盛誉的理论大牛。
邮件内容很短。
没有长篇大论的新闻稿，没有夸张的成果介绍，甚至没有寒暄。
只有一行指向代码仓库的临时只读地址、四组用于防篡改的哈希校验码，以及一句简单到有些傲慢的请求。
【请独立构建底层环境，并尝试推翻这一结论。】
零点十七分。
系统监控日志显示，第一个位于欧洲的外部节点开始下载新增的宏状态证书、两套核验器源码，以及最终索引增量。
零点四十三分。
第二个北美节点发回握手协议，确认完成机器庞大目录的初步校验。
凌晨一点零六分。
一封来自外部复现节点的邮件进入乔闻铎的邮箱。
发件人从2003年起便持续追踪Skelet #17的运行规律。
他没有对整个bb(5)问题的终结发表任何宏大的评价，而是直接略过了前八千八百万台机器，一针见血地将目光聚焦在江临写出的那份格雷码不变量见证上。
邮件正文里，他在规范文档的页码后面，尖锐地标出了三个他认为可能存在致命漏洞的数学边界问题。
空段归并时的极值坍缩。
双分隔符状态下的向后查找歧义。
边界奇偶翻转时的相位丢失。
这三个问题直指核心。
全都是之前第三方盲测组耗费无数精力才攻击过的险隘。
乔闻铎微微一笑，没有任何犹豫，直接将对应的四十三条重写规则的证书编号，以及Rust和oca两套不同实现底层在处理这些边界情况时的详尽运行记录和日志反推断言，打包作为附件，点击了回复。
二十六分钟后。
那边的收件箱再次闪烁。
这一次，对方发来的邮件正文更短，只有两行字。
【三个边界均已形成逻辑闭合。无懈可击。】
【请告诉我，规范文档的作者，那个Jiang Lin是不是那个Jiang Lin？】
周述看完了屏幕上的这封邮件，转过头，将笔记本电脑的屏幕转向了江临。
“江临，这位老前辈的问题，你说我该怎么回他？”周述打趣道，连日的疲惫似乎一扫而空。
江临正在收拾自己的背包，他偏过头，淡淡地看了一眼屏幕上的名字。
“按学术界的规矩，正常提供项目贡献说明回复就行。”他平静地说，语气里听不出一丝炫耀。
凌晨三点二十二分。
窗外的天色依然漆黑，但距离黎明已经不远。
叮。
一声清脆的系统提示音在会议室里炸响。
第一个持有完整数据库镜像的外部节点完成独立构建和全量索引复核。
随同跑批结果一起发来的审查备注里，第一句话是用加粗的英文字体写着的。
“如果你们的全库哈希索引在未来几天内继续保持一致没有冲突，这将是计算理论四十多年来，第一个被完全确定的新繁忙海狸值。这是一个不可思议的奇迹。”
由于对方使用了完全不同的系统架构和编译器版本，Rust编译实体的最终二进制文件哈希自然与国内不同。
但当他们将最终生成的逻辑裁决摘要送入校验比对工具时——
完全一致。
【External_Reproduction_01 / pASS】
看到这个绿色pASS弹出的瞬间，会议室里的空气沸腾了。
这一次，再也没有人刻意维持那种严肃安静的学术氛围。
有人重重地一巴掌拍在坚硬的木质桌面上，手掌拍得通红。
有人仰起头，把杯子里准备用来熬后半夜的咖啡一饮而尽。
叶宁更是直接将那个绿色的pASS标志，狠狠地复制粘贴进了项目组的最高级别总记录归档文件里。
乔闻铎走回大屏幕前。
1990年，艾伦·布雷迪那句带着绝望色彩的预测，依然静静地挂在那里。
乔闻铎调出系统里的红色批注工具，用颤抖但有力的手，在永远无法证明这六个巨大的字体上，狠狠地划下了一道鲜红的横线。
随后，他在被划掉的预言旁边，用电子笔写下——
【已完成第一次全球外部独立复现确认。】
【2022年9月16日，凌晨。】
人群在欢呼，在相互拥抱。
而在这个历史性时刻的边缘，江临安静地拿起了桌上的书包，单肩背上，准备推门离开，回紫荆公寓去补几个小时的觉。
经过前方那块写满推导公式的白板时，他的脚步停顿了一下。
拿起放在槽里的板擦，伸出手，将白板最下方，那条两天前写下的UNKNowN标记的旧状态，轻轻擦去。
五状态繁忙海狸。
这个如同魔咒一般的名词，在整个人类计算理论的边界上，像一团迷雾般徘徊停留了四十多年。
无数天才的头脑在它面前折戟沉沙。
而就在今夜，就在这个不起眼的会议室里，它身后的那个巨大问号，终于在严密的逻辑和绝对的隔离盲测中，烟消云散。
而站在白板前擦掉它的人，刚刚上完大学第四天的课。
“那是谁把最后一台那块硬骨头啃下来的，Skelet的那个幽灵，你们用了什么新算法？”
乔闻铎隔着会议室的玻璃墙，深深地看了一眼站在白板前的那个年轻身影。
白板上，江临徒手写下的那八类宏控制状态定义和代数推导，依然清晰可见。
“江临。”乔闻铎对着电话说。
电话那头陷入了长达几秒钟的死寂。
“又是那个孩子？”那头的声音显得不可思议，“前几天你们报上来说共享可信核的架构，也是他定的？”
“对，底座架构，加上最后的数学见证，全是他。”
“我如果没记错的话校历，他今天应该才刚刚正式开课到第四天吧？”
乔闻铎嘴角泛起一丝连他自己都没察觉的骄傲微笑：“对，大一新生，第四天。”
会议室里，第一批面向全球顶尖学者的外部复现邮件已经通过加密通道发出。
收件人名单很短，只有寥寥几个名字。
但这几个名字的份量，足以撼动整个理论计算机科学界。
其中既有几十年来一直像苦行僧般维护bb(5)机器数据库的骨灰级研究者，也有在形式化验证和小型图灵机领域享有盛誉的理论大牛。
邮件内容很短。
没有长篇大论的新闻稿，没有夸张的成果介绍，甚至没有寒暄。
只有一行指向代码仓库的临时只读地址、四组用于防篡改的哈希校验码，以及一句简单到有些傲慢的请求。
【请独立构建底层环境，并尝试推翻这一结论。】
零点十七分。
系统监控日志显示，第一个位于欧洲的外部节点开始下载新增的宏状态证书、两套核验器源码，以及最终索引增量。
零点四十三分。
第二个北美节点发回握手协议，确认完成机器庞大目录的初步校验。
凌晨一点零六分。
一封来自外部复现节点的邮件进入乔闻铎的邮箱。
发件人从2003年起便持续追踪Skelet #17的运行规律。
他没有对整个bb(5)问题的终结发表任何宏大的评价，而是直接略过了前八千八百万台机器，一针见血地将目光聚焦在江临写出的那份格雷码不变量见证上。
邮件正文里，他在规范文档的页码后面，尖锐地标出了三个他认为可能存在致命漏洞的数学边界问题。
空段归并时的极值坍缩。
双分隔符状态下的向后查找歧义。
边界奇偶翻转时的相位丢失。
这三个问题直指核心。
全都是之前第三方盲测组耗费无数精力才攻击过的险隘。
乔闻铎微微一笑，没有任何犹豫，直接将对应的四十三条重写规则的证书编号，以及Rust和oca两套不同实现底层在处理这些边界情况时的详尽运行记录和日志反推断言，打包作为附件，点击了回复。
二十六分钟后。
那边的收件箱再次闪烁。
这一次，对方发来的邮件正文更短，只有两行字。
【三个边界均已形成逻辑闭合。无懈可击。】
【请告诉我，规范文档的作者，那个Jiang Lin是不是那个Jiang Lin？】
周述看完了屏幕上的这封邮件，转过头，将笔记本电脑的屏幕转向了江临。
“江临，这位老前辈的问题，你说我该怎么回他？”周述打趣道，连日的疲惫似乎一扫而空。
江临正在收拾自己的背包，他偏过头，淡淡地看了一眼屏幕上的名字。
“按学术界的规矩，正常提供项目贡献说明回复就行。”他平静地说，语气里听不出一丝炫耀。
凌晨三点二十二分。
窗外的天色依然漆黑，但距离黎明已经不远。
叮。
一声清脆的系统提示音在会议室里炸响。
第一个持有完整数据库镜像的外部节点完成独立构建和全量索引复核。
随同跑批结果一起发来的审查备注里，第一句话是用加粗的英文字体写着的。
“如果你们的全库哈希索引在未来几天内继续保持一致没有冲突，这将是计算理论四十多年来，第一个被完全确定的新繁忙海狸值。这是一个不可思议的奇迹。”
由于对方使用了完全不同的系统架构和编译器版本，Rust编译实体的最终二进制文件哈希自然与国内不同。
但当他们将最终生成的逻辑裁决摘要送入校验比对工具时——
完全一致。
【External_Reproduction_01 / pASS】
看到这个绿色pASS弹出的瞬间，会议室里的空气沸腾了。
这一次，再也没有人刻意维持那种严肃安静的学术氛围。
有人重重地一巴掌拍在坚硬的木质桌面上，手掌拍得通红。
有人仰起头，把杯子里准备用来熬后半夜的咖啡一饮而尽。
叶宁更是直接将那个绿色的pASS标志，狠狠地复制粘贴进了项目组的最高级别总记录归档文件里。
乔闻铎走回大屏幕前。
1990年，艾伦·布雷迪那句带着绝望色彩的预测，依然静静地挂在那里。
乔闻铎调出系统里的红色批注工具，用颤抖但有力的手，在永远无法证明这六个巨大的字体上，狠狠地划下了一道鲜红的横线。
随后，他在被划掉的预言旁边，用电子笔写下——
【已完成第一次全球外部独立复现确认。】
【2022年9月16日，凌晨。】
人群在欢呼，在相互拥抱。
而在这个历史性时刻的边缘，江临安静地拿起了桌上的书包，单肩背上，准备推门离开，回紫荆公寓去补几个小时的觉。
经过前方那块写满推导公式的白板时，他的脚步停顿了一下。
拿起放在槽里的板擦，伸出手，将白板最下方，那条两天前写下的UNKNowN标记的旧状态，轻轻擦去。
五状态繁忙海狸。
这个如同魔咒一般的名词，在整个人类计算理论的边界上，像一团迷雾般徘徊停留了四十多年。
无数天才的头脑在它面前折戟沉沙。
而就在今夜，就在这个不起眼的会议室里，它身后的那个巨大问号，终于在严密的逻辑和绝对的隔离盲测中，烟消云散。
而站在白板前擦掉它的人，刚刚上完大学第四天的课。