时间回到九月十九日下午四点零三分。
距离清华将BB(5)公开仓库从PRIVATE切换为PUBLIC，刚刚过去三分钟。
北京，建国门外大街，国内一家头部新闻平台总部的科技频道编辑部。
这原本是一个异常沉闷的下午。
几名值班编辑正对着屏幕上千篇一律的数码产品发布会通稿打哈欠。
李欣端着一杯已经凉透的美式咖啡，习惯性地刷新着各大高校和科研机构的公共信源池。
一条来自清华大学的官方新闻稿跳了出来。
篇幅很短，不足两千字。没有配发任何夺人眼球的头图，只有干巴巴的黑白文字，准时且安静地躺在信息流的最顶端。
李欣的目光最初只在标题上停留了两秒。
【联合研究团队确定五状态繁忙海狸精确值】
繁忙海狸。
她注视着这四个字，脑海里出现的第一个画面，是一只戴着红色安全帽，抱着粗壮木头啃得满嘴木屑的棕色动物。
在互联网语境里，这个词通常和某种可爱的动物保护项目，或者某个新出的动画电影挂钩。
但前缀是五状态，发布单位是清华大学。
李欣本能地嗅到了一丝不寻常，放下咖啡杯，滑动鼠标往下看。
【S(5)=47，176，870】
【Σ(5)=4，098】
【未决机器数量归零】
【完整证明材料、开源核验器及覆盖见证已同步公开】
她看懂了这上面的每一个字。
组合起来以后，大脑却陷入了一片茫然。
那些奇怪的希腊字母和庞大的数字组合在一起，散发着一种生人勿近的冰冷气息。
直到她把页面拉到第三段，目光触及到那份列着作者及贡献说明的名单。
第一作者：江临。
清华大学求真书院2022级本科生。
李欣凑近屏幕，重新看了一遍，然后打开搜索引擎，输入这个名字。
搜索结果第一页，江氏砖、ICCM数学金奖和PFR/Marton挤在一起，发布时间全部落在过去五个月内。
一股电流般的颤栗从李欣的脊椎直窜后脑。
她一把抓起桌上的内线电话，声音因为激动而显得有些尖锐。
“主编，清华发了一条计算理论新闻，江临第一作者。”
（本章节未完结，点击下一页翻页继续阅读）
正在加载...