第二个，她打给了一名在国内顶尖智库从事形式化验证研究的陈博士。

电话刚刚接通，李欣便语速极快地说道：“陈博，清华刚发了五状态繁忙海狸的公告，江临一作，说是确定了精确值。”

陈博士只听了半句，原本慵懒的声音便猛然拔高，慌乱间甚至带倒了桌上的水杯。

“你说什么？

公开了？”

“清华官网刚发。”

“链接给我，快！”

“我正在发微信给你，陈博，这个成果到底有多大？

主编等我回话。”

电话里传来急促的键盘敲击声，那种力度仿佛要把键盘砸穿。

陈博士像是根本没听到她后半句话，呼吸变得异常粗重。

十几秒后，听筒里传来一声带着不可置信的咒骂。

“真是零！”

“什么零？”李欣一头雾水。

“未决机器，零。

Unknown: 0。”陈博士的声音颤抖着，像是在念诵一段神圣的经文，“他们把那个幽灵抓住了。”

“所以问题真的解决了？”

“从公开口径和已经签字的外部复现记录看，精确值确定这句话可以报道。”陈博士飞快翻动页面，“但宏状态证明我才刚打开，你别让我用十几秒替整个领域签字。”

“那它到底有多大？”

“给我半小时，我至少要先看完贡献说明和覆盖链结构。”

“我只有五分钟！”

电话另一端停顿了片刻。

“那我只能给你一个不会错的历史坐标。”

陈博士深吸了一口气。

“你可以这么写。”

“三十二年前，这个问题最权威的研究者之一，公开预测人类或许永远无法证明这两个数字。”

“今天，一支中国团队，把永远这两个字，从人类的历史里删掉了。”

李欣握着电话的手微微发汗，她转头，目光再次投向网页上的作者栏。

“谢谢。”

她停了两秒，挂断电话，按下内线。

“主编，我知道该怎么推了。

最高权限，全网弹窗。”

四点十一分。

第一条经过精心打磨的新闻推送，抵达数千万台智能手机的锁屏界面。

【三十二年前被预测永远无法证明的计算理论难题，今日宣告解决，第一作者为18岁清华大一新生江临】

四点十三分。

另一家新闻平台迅速跟进，剥离了冗长的修饰词，直击核心。

【S(5)=47，176，870：清华团队确定五状态繁忙海狸精确值】

四点十七分。

第三家平台将标题改得更加直接，带着极强的煽动性。

【江临又解决了一个世界难题】

四点二十二分。

话题空降进入热搜榜第二十七位。
本章未完，请翻下一页继续阅读.........