第170章 把零交给全世界（8 / 18）
宣传部的工作人员看著被改得平淡无奇的標题，有些无奈地嘆了口气：“江同学，標题您改了我们尊重。但是正文里，我们可以明確地写出这是计算机科学歷史近半个世纪来，第一个被確定的新繁忙海狸精確值吗？这对学校的科研宣传非常重要。”
“这句是事实，可以。”乔闻鐸替江临回答了。
“那我为了让大眾读者能看懂，能不能用一句稍微通俗一点的话来解释这个成果？”工作人员翻开笔记本，念出准备好的比喻，“比如：任何一台符合定义的五状態、二符號图灵机，只要它是从一张全白纸带启动的，如果它运行超过了 47，176，870 步仍然没有停机报错，那么我们可以向全宇宙保证，它以后永远也不会停了？”
江临听完，点了点头：“这个描述在逻辑上等价，可以使用。”
“但是有一点必须注意。”江临指著新闻稿的结构，“关於一般形式的图灵机一般停机问题不可判定，繁忙海狸函数不可计算这个计算理论的绝对基石，必须在新闻稿的第二段著重强调，要用加粗字体。这是为了避免那些只看標题的非专业读者產生误解，以为我们推翻了图灵的结论，把所有状態规模的机器问题都解决了。公开稿的任务是只讲结论，关於具体的宏状態和不变量，用外链指向完整的证明包即可。至於个人信息，全部往后放，放在贡献说明之后。”
宣传人员一边快速在键盘上敲击记录，一边点头，隨后操作滑鼠，將新闻稿头图位置原本预留的一张江临的高清单人科研照撤下，替换成了一张只有十个简单转移位置的黑白表格截图。
就是那台传说中的五状態冠军机的底层逻辑表。
五种內部状態，两种纸带符號。
一条压得整个计算机科学界喘不过气，延续了近四十年的未决记录。
如今，这三行字被平静地安放在了那张简陋的表格下方。
发布口径，正式冻结。
完整学术论文，冻结。
全链条覆盖见证与底层验证器源码，冻结。
向全球公开的倒计时时间，最终被定格在九月十九日，北京时间下午四点整。
……
九月十九日，下午三点五十九分。
清华大学数学科学中心二楼的一间严密布控的机房內。
江临研究支持单元的技术联络员屏气凝神，將六个网页操作后台並排铺开在超宽的带鱼屏上。
首发论文预印本平台。
完整的树形规范化枚举目录。
停机机器的有限轨跡索引。
八千八百多万台种子库机器对应的非停机见证索引。
rust与ocaml双路核验器源码。
以及，包含了马丁在內的全球多家权威机构的独立復现与攻击记录。
由於预估到发布瞬间可能带来的流量，每个核心页面和数据包都已经在全球范围內部署完成了cdn镜像分发。
联络员確信，哪怕清华的主站伺服器在发布后被瞬间涌入的巨大访问流量直接压瘫，身处世界任何角落的研究者，依然可以从就近的镜像节点，顺畅地拉取到同一份毫无阉割的证明材料。
技术联络员的手心里全是汗。
他做完最后一遍各节点的哈希摘要自动比对，深吸一口气，把滑鼠的光標稳稳地悬停在那个代表著最终確认的绿色发布按钮上。
乔闻鐸背著手，站在联络员的身后。
叶寧与周述各自占据了一台监控电脑，眼睛紧紧盯著后台的流量异常监测窗口。 ↑返回顶部↑
“这句是事实，可以。”乔闻鐸替江临回答了。
“那我为了让大眾读者能看懂，能不能用一句稍微通俗一点的话来解释这个成果？”工作人员翻开笔记本，念出准备好的比喻，“比如：任何一台符合定义的五状態、二符號图灵机，只要它是从一张全白纸带启动的，如果它运行超过了 47，176，870 步仍然没有停机报错，那么我们可以向全宇宙保证，它以后永远也不会停了？”
江临听完，点了点头：“这个描述在逻辑上等价，可以使用。”
“但是有一点必须注意。”江临指著新闻稿的结构，“关於一般形式的图灵机一般停机问题不可判定，繁忙海狸函数不可计算这个计算理论的绝对基石，必须在新闻稿的第二段著重强调，要用加粗字体。这是为了避免那些只看標题的非专业读者產生误解，以为我们推翻了图灵的结论，把所有状態规模的机器问题都解决了。公开稿的任务是只讲结论，关於具体的宏状態和不变量，用外链指向完整的证明包即可。至於个人信息，全部往后放，放在贡献说明之后。”
宣传人员一边快速在键盘上敲击记录，一边点头，隨后操作滑鼠，將新闻稿头图位置原本预留的一张江临的高清单人科研照撤下，替换成了一张只有十个简单转移位置的黑白表格截图。
就是那台传说中的五状態冠军机的底层逻辑表。
五种內部状態，两种纸带符號。
一条压得整个计算机科学界喘不过气，延续了近四十年的未决记录。
如今，这三行字被平静地安放在了那张简陋的表格下方。
发布口径，正式冻结。
完整学术论文，冻结。
全链条覆盖见证与底层验证器源码，冻结。
向全球公开的倒计时时间，最终被定格在九月十九日，北京时间下午四点整。
……
九月十九日，下午三点五十九分。
清华大学数学科学中心二楼的一间严密布控的机房內。
江临研究支持单元的技术联络员屏气凝神，將六个网页操作后台並排铺开在超宽的带鱼屏上。
首发论文预印本平台。
完整的树形规范化枚举目录。
停机机器的有限轨跡索引。
八千八百多万台种子库机器对应的非停机见证索引。
rust与ocaml双路核验器源码。
以及，包含了马丁在內的全球多家权威机构的独立復现与攻击记录。
由於预估到发布瞬间可能带来的流量，每个核心页面和数据包都已经在全球范围內部署完成了cdn镜像分发。
联络员確信，哪怕清华的主站伺服器在发布后被瞬间涌入的巨大访问流量直接压瘫，身处世界任何角落的研究者，依然可以从就近的镜像节点，顺畅地拉取到同一份毫无阉割的证明材料。
技术联络员的手心里全是汗。
他做完最后一遍各节点的哈希摘要自动比对，深吸一口气，把滑鼠的光標稳稳地悬停在那个代表著最终確认的绿色发布按钮上。
乔闻鐸背著手，站在联络员的身后。
叶寧与周述各自占据了一台监控电脑，眼睛紧紧盯著后台的流量异常监测窗口。 ↑返回顶部↑