时间回到九月十九日下午四点零三分。
距离清华将bb(5)公开仓库从pRIVAtE切换为pUbLIc，刚刚过去三分钟。
北京，建国门外大街，国内一家头部新闻平台总部的科技频道编辑部。
这原本是一个异常沉闷的下午。
几名值班编辑正对着屏幕上千篇一律的数码产品发布会通稿打哈欠。
李欣端着一杯已经凉透的美式咖啡，习惯性地刷新着各大高校和科研机构的公共信源池。
一条来自清华大学的官方新闻稿跳了出来。
篇幅很短，不足两千字。没有配发任何夺人眼球的头图，只有干巴巴的黑白文字，准时且安静地躺在信息流的最顶端。
李欣的目光最初只在标题上停留了两秒。
【联合研究团队确定五状态繁忙海狸精确值】
繁忙海狸。
她注视着这四个字，脑海里出现的第一个画面，是一只戴着红色安全帽，抱着粗壮木头啃得满嘴木屑的棕色动物。
在互联网语境里，这个词通常和某种可爱的动物保护项目，或者某个新出的动画电影挂钩。
但前缀是五状态，发布单位是清华大学。
李欣本能地嗅到了一丝不寻常，放下咖啡杯，滑动鼠标往下看。
【S(5)=47，176，870】
【Σ(5)=4，098】
【未决机器数量归零】
【完整证明材料、开源核验器及覆盖见证已同步公开】
她看懂了这上面的每一个字。
组合起来以后，大脑却陷入了一片茫然。
那些奇怪的希腊字母和庞大的数字组合在一起，散发着一种生人勿近的冰冷气息。
直到她把页面拉到第三段，目光触及到那份列着作者及贡献说明的名单。
第一作者：江临。
清华大学求真书院2022级本科生。
李欣凑近屏幕，重新看了一遍，然后打开搜索引擎，输入这个名字。
搜索结果第一页，江氏砖、学金奖和pFR/rton挤在一起，发布时间全部落在过去五个月内。
一股电流般的颤栗从李欣的脊椎直窜后脑。
她一把抓起桌上的内线电话，声音因为激动而显得有些尖锐。
“主编，清华发了一条计算理论新闻，江临第一作者。”
电话那边安静了两秒：“哪个江临？”
“江氏砖那个。”
“又是他？”
“又是他。”
“成果确认了吗？”主编的语气瞬间变得严肃起来。
“全文、源码、证书、独立复现记录，全公开了。新闻稿写的是精确值确定。”
“多大级别的成果？”
“我，我看不懂。”李欣如实回答，“满屏幕的代码和符号。”
“立刻找人问问，十分钟内告诉我，它值不值得推全网首屏。”
李欣开始拨打电话。
第一个打给某顶尖高校的计算机学院教授，听筒里传来冗长的嘟嘟声，始终无人接听。
第二个，她打给了一名在国内顶尖智库从事形式化验证研究的陈博士。
电话刚刚接通，李欣便语速极快地说道：“陈博，清华刚发了五状态繁忙海狸的公告，江临一作，说是确定了精确值。”
陈博士只听了半句，原本慵懒的声音便猛然拔高，慌乱间甚至带倒了桌上的水杯。
“你说什么？公开了？”
“清华官网刚发。”
“链接给我，快！”
“我正在发微信给你，陈博，这个成果到底有多大？主编等我回话。”
电话里传来急促的键盘敲击声，那种力度仿佛要把键盘砸穿。
陈博士像是根本没听到她后半句话，呼吸变得异常粗重。
十几秒后，听筒里传来一声带着不可置信的咒骂。
“真是零！”
“什么零？”李欣一头雾水。
“未决机器，零。Unknown: 0。”陈博士的声音颤抖着，像是在念诵一段神圣的经文，“他们把那个幽灵抓住了。”
“所以问题真的解决了？”
“从公开口径和已经签字的外部复现记录看，精确值确定这句话可以报道。”陈博士飞快翻动页面，“但宏状态证明我才刚打开，你别让我用十几秒替整个领域签字。”
“那它到底有多大？”
“给我半小时，我至少要先看完贡献说明和覆盖链结构。”
“我只有五分钟！”
电话另一端停顿了片刻。
“那我只能给你一个不会错的历史坐标。”
陈博士深吸了一口气。
“你可以这么写。”
“三十二年前，这个问题最权威的研究者之一，公开预测人类或许永远无法证明这两个数字。”
“今天，一支中国团队，把永远这两个字，从人类的历史里删掉了。”
李欣握着电话的手微微发汗，她转头，目光再次投向网页上的作者栏。
“谢谢。”
她停了两秒，挂断电话，按下内线。
“主编，我知道该怎么推了。最高权限，全网弹窗。”
四点十一分。
第一条经过精心打磨的新闻推送，抵达数千万台智能手机的锁屏界面。
【三十二年前被预测永远无法证明的计算理论难题，今日宣告解决，第一作者为18岁清华大一新生江临】
四点十三分。
另一家新闻平台迅速跟进，剥离了冗长的修饰词，直击核心。
【S(5)=47，176，870：清华团队确定五状态繁忙海狸精确值】
四点十七分。
第三家平台将标题改得更加直接，带着极强的煽动性。
【江临又解决了一个世界难题】
四点二十二分。
话题空降进入热搜榜第二十七位。
四点二十九分。
第九位。
四点三十六分。
第一。
热搜榜顶端，一行鲜红色的小字开始疯狂闪烁。
【爆】
……
最开始的十分钟里，公共评论区充满了滑稽的茫然。
庞大的流量涌入，却撞上了一堵名为计算复杂性理论的高墙。
【繁忙海狸是什么品种，保护动物吗？】
【我以为是研究野生动物生态的，点进来发现全是代码和看不懂的圈圈。】
【五状态是什么意思？兴奋、悲伤、愤怒、疲惫、想下班？】
【跑四千七百多万步才下班，这海狸确实挺忙的，比我上班还忙。】
【有没有人能说句人话？这到底是在算什么？】
然而，信息真空总是短暂的。
很快，第一批敏锐察觉到流量密码，却又一知半解的自媒体，如同闻到血腥味的鲨鱼般冲了进来。
他们用最夸张的词汇，将一项严谨的理论成果包装成了廉价的科幻小说。
【十八岁天才破解计算机停机问题！】
【从此以后，电脑死机将成为历史，windows再无蓝屏！】
【人工智能最后一道安全锁被中国学生攻破，机器觉醒的倒计时开始！】
【江临算出所有程序运行时间上限，人类掌握了数字宇宙的终极真理！】
【全球软件产业迎来历史性革命，硅谷巨头连夜召开紧急会议！】
……
这些耸人听闻的标题在半小时内被成千上万次转发。
有人在评论区信誓旦旦地宣布，未来所有的手机软件都能提前预知什么时候会卡顿崩溃。
有人言之凿凿地说，江临的这套理论已经从根本上证明了人工智能永远不会背叛人类。
还有人一本正经地在知乎上写下千字长文，解释所谓的五状态就是计算机底层cpU运行的金木水火土五行模式，江临找到了其中风水最好的一种。
在这一片群魔乱舞中，一张配图却以惊人的速度传播开来，很快冲出了科技新闻的评论区。
图中，是一只戴着黄色塑料安全帽的卡通海狸，它双眼布满红血丝，坐在一台破旧的电脑前疯狂敲击键盘，旁边堆满了空咖啡杯。
屏幕上用加粗的黑体字写着——
【老板，我最多干47，176，870步。】
图片的下方配了一行大字——
【中国科学家算出了宇宙最强打工人的极限，老板，我最多干47，176，870步。】
【第47，176，871步还没下班，你就别等了——它这辈子都不会下班。】
短短半小时，这张图被做成了无数个版本的表情包，无缝嵌入了当代打工人的自嘲文化中，扩散到了成千上万个公司摸鱼群和项目对接群。
计算机专业的学生和研究人员们看着这满天飞的荒谬言论，急得在各个平台疯狂留言纠错。
【根本不是解决一般停机问题。】
【bb函数不可计算，图灵的棺材板要压不住了。】
【那是特定图灵机模型，不是你家电脑的cpU。】
然而，严谨科普的传播速度，远远赶不上梗图和情绪宣泄的繁殖速度。
下午五点零四分，一名认证为某大厂资深架构师的程序员，在一条热搜新闻下发了一段近千字的专业解释
距离清华将bb(5)公开仓库从pRIVAtE切换为pUbLIc，刚刚过去三分钟。
北京，建国门外大街，国内一家头部新闻平台总部的科技频道编辑部。
这原本是一个异常沉闷的下午。
几名值班编辑正对着屏幕上千篇一律的数码产品发布会通稿打哈欠。
李欣端着一杯已经凉透的美式咖啡，习惯性地刷新着各大高校和科研机构的公共信源池。
一条来自清华大学的官方新闻稿跳了出来。
篇幅很短，不足两千字。没有配发任何夺人眼球的头图，只有干巴巴的黑白文字，准时且安静地躺在信息流的最顶端。
李欣的目光最初只在标题上停留了两秒。
【联合研究团队确定五状态繁忙海狸精确值】
繁忙海狸。
她注视着这四个字，脑海里出现的第一个画面，是一只戴着红色安全帽，抱着粗壮木头啃得满嘴木屑的棕色动物。
在互联网语境里，这个词通常和某种可爱的动物保护项目，或者某个新出的动画电影挂钩。
但前缀是五状态，发布单位是清华大学。
李欣本能地嗅到了一丝不寻常，放下咖啡杯，滑动鼠标往下看。
【S(5)=47，176，870】
【Σ(5)=4，098】
【未决机器数量归零】
【完整证明材料、开源核验器及覆盖见证已同步公开】
她看懂了这上面的每一个字。
组合起来以后，大脑却陷入了一片茫然。
那些奇怪的希腊字母和庞大的数字组合在一起，散发着一种生人勿近的冰冷气息。
直到她把页面拉到第三段，目光触及到那份列着作者及贡献说明的名单。
第一作者：江临。
清华大学求真书院2022级本科生。
李欣凑近屏幕，重新看了一遍，然后打开搜索引擎，输入这个名字。
搜索结果第一页，江氏砖、学金奖和pFR/rton挤在一起，发布时间全部落在过去五个月内。
一股电流般的颤栗从李欣的脊椎直窜后脑。
她一把抓起桌上的内线电话，声音因为激动而显得有些尖锐。
“主编，清华发了一条计算理论新闻，江临第一作者。”
电话那边安静了两秒：“哪个江临？”
“江氏砖那个。”
“又是他？”
“又是他。”
“成果确认了吗？”主编的语气瞬间变得严肃起来。
“全文、源码、证书、独立复现记录，全公开了。新闻稿写的是精确值确定。”
“多大级别的成果？”
“我，我看不懂。”李欣如实回答，“满屏幕的代码和符号。”
“立刻找人问问，十分钟内告诉我，它值不值得推全网首屏。”
李欣开始拨打电话。
第一个打给某顶尖高校的计算机学院教授，听筒里传来冗长的嘟嘟声，始终无人接听。
第二个，她打给了一名在国内顶尖智库从事形式化验证研究的陈博士。
电话刚刚接通，李欣便语速极快地说道：“陈博，清华刚发了五状态繁忙海狸的公告，江临一作，说是确定了精确值。”
陈博士只听了半句，原本慵懒的声音便猛然拔高，慌乱间甚至带倒了桌上的水杯。
“你说什么？公开了？”
“清华官网刚发。”
“链接给我，快！”
“我正在发微信给你，陈博，这个成果到底有多大？主编等我回话。”
电话里传来急促的键盘敲击声，那种力度仿佛要把键盘砸穿。
陈博士像是根本没听到她后半句话，呼吸变得异常粗重。
十几秒后，听筒里传来一声带着不可置信的咒骂。
“真是零！”
“什么零？”李欣一头雾水。
“未决机器，零。Unknown: 0。”陈博士的声音颤抖着，像是在念诵一段神圣的经文，“他们把那个幽灵抓住了。”
“所以问题真的解决了？”
“从公开口径和已经签字的外部复现记录看，精确值确定这句话可以报道。”陈博士飞快翻动页面，“但宏状态证明我才刚打开，你别让我用十几秒替整个领域签字。”
“那它到底有多大？”
“给我半小时，我至少要先看完贡献说明和覆盖链结构。”
“我只有五分钟！”
电话另一端停顿了片刻。
“那我只能给你一个不会错的历史坐标。”
陈博士深吸了一口气。
“你可以这么写。”
“三十二年前，这个问题最权威的研究者之一，公开预测人类或许永远无法证明这两个数字。”
“今天，一支中国团队，把永远这两个字，从人类的历史里删掉了。”
李欣握着电话的手微微发汗，她转头，目光再次投向网页上的作者栏。
“谢谢。”
她停了两秒，挂断电话，按下内线。
“主编，我知道该怎么推了。最高权限，全网弹窗。”
四点十一分。
第一条经过精心打磨的新闻推送，抵达数千万台智能手机的锁屏界面。
【三十二年前被预测永远无法证明的计算理论难题，今日宣告解决，第一作者为18岁清华大一新生江临】
四点十三分。
另一家新闻平台迅速跟进，剥离了冗长的修饰词，直击核心。
【S(5)=47，176，870：清华团队确定五状态繁忙海狸精确值】
四点十七分。
第三家平台将标题改得更加直接，带着极强的煽动性。
【江临又解决了一个世界难题】
四点二十二分。
话题空降进入热搜榜第二十七位。
四点二十九分。
第九位。
四点三十六分。
第一。
热搜榜顶端，一行鲜红色的小字开始疯狂闪烁。
【爆】
……
最开始的十分钟里，公共评论区充满了滑稽的茫然。
庞大的流量涌入，却撞上了一堵名为计算复杂性理论的高墙。
【繁忙海狸是什么品种，保护动物吗？】
【我以为是研究野生动物生态的，点进来发现全是代码和看不懂的圈圈。】
【五状态是什么意思？兴奋、悲伤、愤怒、疲惫、想下班？】
【跑四千七百多万步才下班，这海狸确实挺忙的，比我上班还忙。】
【有没有人能说句人话？这到底是在算什么？】
然而，信息真空总是短暂的。
很快，第一批敏锐察觉到流量密码，却又一知半解的自媒体，如同闻到血腥味的鲨鱼般冲了进来。
他们用最夸张的词汇，将一项严谨的理论成果包装成了廉价的科幻小说。
【十八岁天才破解计算机停机问题！】
【从此以后，电脑死机将成为历史，windows再无蓝屏！】
【人工智能最后一道安全锁被中国学生攻破，机器觉醒的倒计时开始！】
【江临算出所有程序运行时间上限，人类掌握了数字宇宙的终极真理！】
【全球软件产业迎来历史性革命，硅谷巨头连夜召开紧急会议！】
……
这些耸人听闻的标题在半小时内被成千上万次转发。
有人在评论区信誓旦旦地宣布，未来所有的手机软件都能提前预知什么时候会卡顿崩溃。
有人言之凿凿地说，江临的这套理论已经从根本上证明了人工智能永远不会背叛人类。
还有人一本正经地在知乎上写下千字长文，解释所谓的五状态就是计算机底层cpU运行的金木水火土五行模式，江临找到了其中风水最好的一种。
在这一片群魔乱舞中，一张配图却以惊人的速度传播开来，很快冲出了科技新闻的评论区。
图中，是一只戴着黄色塑料安全帽的卡通海狸，它双眼布满红血丝，坐在一台破旧的电脑前疯狂敲击键盘，旁边堆满了空咖啡杯。
屏幕上用加粗的黑体字写着——
【老板，我最多干47，176，870步。】
图片的下方配了一行大字——
【中国科学家算出了宇宙最强打工人的极限，老板，我最多干47，176，870步。】
【第47，176，871步还没下班，你就别等了——它这辈子都不会下班。】
短短半小时，这张图被做成了无数个版本的表情包，无缝嵌入了当代打工人的自嘲文化中，扩散到了成千上万个公司摸鱼群和项目对接群。
计算机专业的学生和研究人员们看着这满天飞的荒谬言论，急得在各个平台疯狂留言纠错。
【根本不是解决一般停机问题。】
【bb函数不可计算，图灵的棺材板要压不住了。】
【那是特定图灵机模型，不是你家电脑的cpU。】
然而，严谨科普的传播速度，远远赶不上梗图和情绪宣泄的繁殖速度。
下午五点零四分，一名认证为某大厂资深架构师的程序员，在一条热搜新闻下发了一段近千字的专业解释