第171章 世界终於看懂了（1 / 2）
时间回到九月十九日下午四点零三分。
距离清华將bb公开仓库从private切换为public，刚刚过去三分钟。
北京，建国门外大街，国內一家头部新闻平台总部的科技频道编辑部。
这原本是一个异常沉闷的下午。
几名值班编辑正对著屏幕上千篇一律的数码產品发布会通稿打哈欠。
李欣端著一杯已经凉透的美式咖啡，习惯性地刷新著各大高校和科研机构的公共信源池。
一条来自清华大学的官方新闻稿跳了出来。
篇幅很短，不足两千字。没有配发任何夺人眼球的头图，只有乾巴巴的黑白文字，准时且安静地躺在信息流的最顶端。
李欣的目光最初只在標题上停留了两秒。
【联合研究团队確定五状態繁忙海狸精確值】
繁忙海狸。
她注视著这四个字，脑海里出现的第一个画面，是一只戴著红色安全帽，抱著粗壮木头啃得满嘴木屑的棕色动物。
在网际网路语境里，这个词通常和某种可爱的动物保护项目，或者某个新出的动画电影掛鉤。
但前缀是五状態，发布单位是清华大学。
李欣本能地嗅到了一丝不寻常，放下咖啡杯，滑动滑鼠往下看。
【s=47，176，870】
【Σ=4，098】
【未决机器数量归零】
【完整证明材料、开源核验器及覆盖见证已同步公开】
她看懂了这上面的每一个字。
组合起来以后，大脑却陷入了一片茫然。
那些奇怪的希腊字母和庞大的数字组合在一起，散发著一种生人勿近的冰冷气息。
直到她把页面拉到第三段，目光触及到那份列著作者及贡献说明的名单。
第一作者：江临。
清华大学求真书院2022级本科生。
李欣凑近屏幕，重新看了一遍，然后打开搜寻引擎，输入这个名字。
搜索结果第一页，江氏砖、i数学金奖和pfr/arton挤在一起，发布时间全部落在过去五个月內。
一股电流般的颤慄从李欣的脊椎直窜后脑。
她一把抓起桌上的內线电话，声音因为激动而显得有些尖锐。
“主编，清华发了一条计算理论新闻，江临第一作者。”
电话那边安静了两秒：“哪个江临”
“江氏砖那个。”
“又是他”
“又是他。”
“成果確认了吗”主编的语气瞬间变得严肃起来。
“全文、源码、证书、独立復现记录，全公开了。新闻稿写的是精確值確定。”
“多大级別的成果”
“我，我看不懂。”李欣如实回答，“满屏幕的代码和符號。”
“立刻找人问问，十分钟內告诉我，它值不值得推全网首屏。”
李欣开始拨打电话。
第一个打给某顶尖高校的计算机学院教授，听筒里传来冗长的嘟嘟声，始终无人接听。
第二个，她打给了一名在国內顶尖智库从事形式化验证研究的陈博士。
电话刚刚接通，李欣便语速极快地说道：“陈博，清华刚发了五状態繁忙海狸的公告，江临一作，说是確定了精確值。”
陈博士只听了半句，原本慵懒的声音便猛然拔高，慌乱间甚至带倒了桌上的水杯。
“你说什么公开了”
“清华官网刚发。”
“连结给我，快！”
“我正在发微信给你，陈博，这个成果到底有多大主编等我回话。”
电话里传来急促的键盘敲击声，那种力度仿佛要把键盘砸穿。
陈博士像是根本没听到她后半句话，呼吸变得异常粗重。
十几秒后，听筒里传来一声带著不可置信的咒骂。
“真是零！”
“什么零”李欣一头雾水。
“未决机器，零。unknown:0。”陈博士的声音颤抖著，像是在念诵一段神圣的经文，“他们把那个幽灵抓住了。”
“所以问题真的解决了”
“从公开口径和已经签字的外部復现记录看，精確值確定这句话可以报导。”陈博士飞快翻动页面，“但宏状態证明我才刚打开，你別让我用十几秒替整个领域签字。”
“那它到底有多大”
“给我半小时，我至少要先看完贡献说明和覆盖链结构。”
“我只有五分钟！”
电话另一端停顿了片刻。
“那我只能给你一个不会错的歷史坐標。”
陈博士深吸了一口气。
“你可以这么写。”
“三十二年前，这个问题最权威的研究者之一，公开预测人类或许永远无法证明这两个数字。”
“今天，一支中国团队，把永远这两个字，从人类的歷史里刪掉了。”
李欣握著电话的手微微发汗，她转头，目光再次投向网页上的作者栏。
“谢谢。”
她停了两秒，掛断电话，按下內线。
“主编，我知道该怎么推了。最高权限，全网弹窗。”
四点十一分。
第一条经过精心打磨的新闻推送，抵达数千万台智慧型手机的锁屏界面。
【三十二年前被预测永远无法证明的计算理论难题，今日宣告解决，第一作者为18岁清华大一新生江临】
四点十三分。
另一家新闻平台迅速跟进，剥离了冗长的修饰词，直击核心。
【s=47，176，870：清华团队確定五状態繁忙海狸精確值】
四点十七分。
第三家平台將標题改得更加直接，带著极强的煽动性。
【江临又解决了一个世界难题】
四点二十二分。
话题空降进入热搜榜第二十七位。
四点二十九分。
第九位。
四点三十六分。
第一。
热搜榜顶端，一行鲜红色的小字开始疯狂闪烁。
【爆】
……
最开始的十分钟里，公共评论区充满了滑稽的茫然。
庞大的流量涌入，却撞上了一堵名为计算复杂性理论的高墙。
【繁忙海狸是什么品种，保护动物吗】
【我以为是研究野生动物生態的，点进来发现全是代码和看不懂的圈圈。】
【五状態是什么意思兴奋、悲伤、愤怒、疲惫、想下班】
【跑四千七百多万步才下班，这海狸確实挺忙的，比我上班还忙。】
【有没有人能说句人话这到底是在算什么】
然而，信息真空总是短暂的。
很快，第一批敏锐察觉到流量密码，却又一知半解的自媒体，如同闻到血腥味的鯊鱼般冲了进来。
他们用最夸张的词汇，將一项严谨的理论成果包装成了廉价的科幻小说。
【十八岁天才破解计算机停机问题！】
【从此以后，电脑死机將成为歷史，dows再无蓝屏！】
【人工智慧最后一道安全锁被中国学生攻破，机器觉醒的倒计时开始！】
【江临算出所有程序运行时间上限，人类掌握了数字宇宙的终极真理！】
【全球软体產业迎来歷史性革命，硅谷巨头连夜召开紧急会议！】
……
这些耸人听闻的標题在半小时內被成千上万次转发。
有人在评论区信誓旦旦地宣布，未来所有的手机软体都能提前预知什么时候会卡顿崩溃。
有人言之凿凿地说，江临的这套理论已经从根本上证明了人工智慧永远不会背叛人类。
还有人一本正经地在知乎上写下千字长文，解释所谓的五状態就是计算机底层cpu运行的金木水火土五行模式，江临找到了其中风水最好的一种。
在这一片群魔乱舞中，一张配图却以惊人的速度传播开来，很快衝出了科技新闻的评论区。
图中，是一只戴著黄色塑料安全帽的卡通海狸，它双眼布满红血丝，坐在一台破旧的电脑前疯狂敲击键盘，旁边堆满了空咖啡杯。
屏幕上用加粗的黑体字写著——
【老板，我最多干47，176，870步。】
图片的下方配了一行大字——
【中国科学家算出了宇宙最强打工人的极限，老板，我最多干47，176，870步。】
【第47，176，871步还没下班，你就別等了——它这辈子都不会下班。】
短短半小时，这张图被做成了无数个版本的表情包，无缝嵌入了当代打工人的自嘲文化中，扩散到了成千上万个公司摸鱼群和项目对接群。
计算机专业的学生和研究人员们看著这满天飞的荒谬言论，急得在各个平台疯狂留言纠错。
【根本不是解决一般停机问题。】
【bb函数不可计算，图灵的棺材板要压不住了。】
【那是特定图灵机模型，不是你家电脑的cpu。】
然而，严谨科普的传播速度，远远赶不上梗图和情绪宣泄的繁殖速度。
下午五点零四分，一名认证为某大厂资深架构师的程式设计师，在一条热搜新闻下发了一段近千字的专业解释，试图釐清状態空间、停机见证与图灵机的关係。
十六分钟过去，他的点讚只有三十七。
而排在他上方，牢牢占据热评第一的，只有短短的一句话。
【同一个九月，有人在熟悉教学楼，有人在给人类计算理论结案。】
点讚二十三万。
五点二十分，一张名为江临十八岁人生时间轴的长图开始在各大社交平台上病毒式流传。
长图的背景是深邃的星空色，白色的时间线贯穿始终。
五月，江氏砖（解决非周期单砖铺满问题）。
六月，高考749分（全省物理类第一）。
七月，i数学金奖。
八月，pfr/arton（有限域模型公开证明）。
九月，五状態繁忙海狸（未决机器数量归零）。
製图的人没有添加任何评价，也没有使用任何煽情的文字。
他只是做了一件极其残忍的事。
把每一项成果之间的间隔天数，用红色的数字精准地標了出来。
五个时间节点自上而下排成一列，静謐地展示著一种不属於常人的智力碾压。
这种纯粹的客观罗列，已经足以让任何刷到这张图的普通人停下划动屏幕的手指，感受到一种近乎窒息的压迫感。
【这真是同一个人不是一个代號叫江临的科研团队】
【我反覆核对了身份证照片，是同一个，他的眼神甚至都没怎么变过。】
【他从五月到九月取得的成就，比我的命都长。】
【最离谱的是，他现在还在上大一啊兄弟们。】
【准確地说，他正式开课才刚刚一周。別人的第一份数学分析作业还没交，他已经把s从猜想改成了定理。】
【谁能告诉我，他每天到底有多少小时他不需要睡觉的吗】
这个问题被顶上热评以后，短暂地无人回答。
几分钟后，一条带著些许哲理意味的回覆悄然出现。
【可能，他跟我们用的不是同一种时间。我们在时间里流浪，他在时间里刻碑。】
……
九月二十日，早上六点四十分。
沈砚秋被手机连续不断的震动声吵醒。
他揉著惺忪的睡眼，从床头柜上摸过手机，屏幕上的强光刺得他眯起了眼睛。
微信图標右上角，媒体编辑、视频平台负责人和新闻製片人的询问已经叠到了最高上限的99+。
有人问能不能联繫江临，有人问是不是破解了通用停机问题，还有人已经准备製作图灵奖专题。
他打开热榜。经过一夜发酵，昨天下午那些错误解读非但没有消失，反而被推到了更加夸张的位置。
沈砚秋没有逐条点开，直接打开了清华的原始论文、公开问答区和贡献说明。
江氏砖事件后，沈砚秋在面对这个年轻人的名字时，已经养成了一个不怎么令人愉快，却非常有用的习惯。
每逢江临的名字衝上热榜，先別急著判断这个十八岁的年轻人到底做得有多大，也別急著判断媒体到底吹得有多过分。
先去看原始材料。
如果原始材料看不懂，就去找真正看得懂的人。
如果那些懂行的人仍在审查，那就闭上嘴，安静地等一等。
然而这一次，已经不需要再等了。
论文pdf、开源核验器源码、完整的规范化枚举目录、停机轨跡索引、八千八百六十六万四千零六十四台种子库机器对应的非停机见证、分块覆盖树，以及两套互相独立、使用不同语言编写的核验器，已经全部公开在网际网路上。
项目页面上已经掛出了多家预先受邀节点的全量覆核结论。公开以后，又陆续新增了上百份独立编译、局部重放和攻击记录。
它们还不能替整个领域结束审查，却已经把任何新的质疑，逼到了具体规则、具体分块和具体反例上。
沈砚秋略一思索，打开文档，新建了一份直播的提纲。
【一、没有破解一般停机问题，图灵不可计算的边界依然存在。】
【二、47，176，870不是计算机速度上限，它是一台极其简陋机器的命运尺度。】
【三、1989年人类找到了候选冠军；2022年，联合团队才证明没有任何合法机器能够运行得更久。】
写完这三点，他盯著闪烁的光標想了想，又郑重地加上了第四行。
【四、这个精確数值本身几乎没有直接工业用途，但这不等於整项工作没有现实价值。】
这一行写完，沈砚秋盯著屏幕看了片刻。
他心里很清楚，今晚的直播，真正难讲也是最容易招骂的地方，就在这第四点。
此时此刻，普通人的情绪已经被清华大一新生、四十年悬案、全球计算机教材改写、计算理论极限这些充满史诗感的宏大词汇推到了最高处。
大眾期待的是一个能让中国科技瞬间碾压全球的超级武器，是一个能让生活立刻发生翻天覆地变化的魔法。
在这样的狂热氛围下，任何一句直接工业用途近乎为零，都可能像一根尖锐的钢针，瞬间戳破刚刚鼓起来的情感泡沫。
评论区肯定会有人骂他酸，骂他贬低国人成果，甚至骂他不懂装懂。
可如果为了迎合情绪，为了收割流量，把一项纯粹的基础研究硬说成明年就能装进智慧型手机、后年就能让自动驾驶永不出错，那不叫科普。
那是在拿江临和清华团队真正完成的伟大工作，给一场虚假廉价的公眾庆功宴搭台。
是对科学本身的褻瀆。
沈砚秋吐出一口浊气，十指重新落回键盘，开始一点点拆解那份庞大的证明架构。
……
上午九点二十六分。
清华大学bb项目公开页面的留言板上，新增了一封非常简短的短笺。
署名是艾伦布雷迪。
在计算理论界，这是一个几乎与繁忙海狸研究史本身重叠的名字。
正是他，在1983年確立了四状態繁忙海狸的精確值107。
也正是他，在面对状態空间呈指数级爆炸的五状態机器时，於1990年的一篇论文中留下了一句充满宿命感的判断：人类或许永远无法证明s的精確值。
这封短笺的旁边，附著一张高解析度的扫描图。
那是一页泛黄的旧论文，纸张的边缘已经有些捲曲。
在一段探討计算复杂性边界的文字中，那句持续了三十二年的悲观预测。
【theexactvaeofbbayreaforeveresive.】
——被一支蓝色钢笔的墨水重重地划去。
在页边那点可怜的空白处，写上了两个崭新的等式和一个日期。
墨水很新，字跡甚至因为年迈而有些轻微的颤抖。
【s=47，176，870】
【Σ=4，098】
【2022.09.19】
布雷迪的短笺只有三段话。
【1990年，我曾面对浩如烟海的机器轨跡感到绝望，当时拥有的计算工具与证明方法，似乎都不允许我们真正穷尽那个空间。】
【今天，来自中国的年轻人江临和他的联合研究团队，用一份完整、公开、且可以由普通工作站按照公开规范独立进行机械核验，清清楚楚地告诉我：当年那个判断，错了。】
【在此，我收回我的预言。这是我一生中，最愿意承认也最感到幸福的一次错误。科学的迷人之处就在於，总有人能点亮你以为永远黑暗的房间。】