第171章 世界终於看懂了（8 / 14）
取而代之的，是稳重扎实的绿色粗体字：proved（已证明）。
阿伦森在页面的最上方，置顶了一段更新说明。
【两年前，我把 bb(5)=47，176，870 正式写成一个猜想，当时我认为，在我的学术生涯內，很难看到它变成定理。今天，它已经不再是猜想。】
【清华团队完成了自四状態繁忙海狸被確定以来，近四十年最重要的一次理论推进。我想强调的是，找到那台运行四千七百多万步的候选冠军，已经需要极强的计算实验与结构判断；证明在所有最终会停机的五状態机器中，没有任何一台能够比它更晚停下。而用严谨的数学去证明每一台运行得更久的五状態机器其实都会陷入无限循环、永远运行下去，则是另一种完全不同等级的成就，那是人类理智对无限的征服。】
【在这项工作中，尤其值得整个学界关注的是第一作者江临。他为最顽固的幽灵机器构造了全新的宏状態不变量，更难能可贵的是，他没有傲慢地拋出一堆没人能看懂的证明结果，而是让整个证明体系接受了远比通常计算实验更严厉的公开核验標准。他造了一个逻辑的筛子。】
国內媒体在疯狂转载这段话时，极其尽责地在文末补上了阿伦森在繁忙海狸问题上的权威背景，以及他在两年前正式提出该精確猜想的歷史事实。
那些原本还在各大论坛里阴阳怪气、爭论这会不会又是媒体製造的虚假天才神话、造神运动的人，在看到布雷迪的短笺和阿伦森的proved之后，忽然像被集体噤声了一样，少了一大半。
北京时间中午十二点，洛杉磯还是前一日晚九点。
陶哲轩在自己的社交平台上，转发了清华团队的公开证明仓库。
他在自己的社交平台上，转发了清华团队的公开证明仓库连结。
並以一个顶尖数学家的敏锐，提醒所有正在围观这场狂欢的人，注意一个很容易被那些喧囂的头条忽略的事实。
【这项工作的分量，绝不仅仅来自那两个被確定的精確数值。
在面对一个规模庞大到几百gb、包含千万条分支、无论如何也无法由人类去逐项阅读和审查的计算机辅助证明时，作者们展现出了极高的学术品味。
他们没有强求世界去相信他们运行了几个月的庞大程序，而是巧妙地把信任的核心，压缩进了一个只有几百行代码、足够小、足够简单的核验边界里。並且，他们公开了每一条可以被重放的见证链。这为未来人类如何验证机器生成的大规模证明，提供了一个极具启发性的范式。】
这条简短的评价下面，点讚数在很短的时间內破万。
最高赞的回覆是一句精闢的总结。
【陶神翻译：答案给你，验答案的尺子也给你。尺子小到专业人员能够逐行审计。现在，欢迎全世界来找错。找不出来，这个真理就是江临的。】
到了这一步，公共舆论场终於迎来了彻底的沸腾，如同被点燃了引信的火药桶。
江临能不能拿图灵奖的话题，以摧枯拉朽之势衝到了所有平台的热榜第一，並且热度值是第二名的十倍。
有人把他七月底，穿著白衬衫、神情淡然地站在iccm数学金奖领奖台上的照片，与今天清华这篇计算机科学论文那密布著代码和公式的首页拼在一起，配上了一个极具中二气息却又让人无法反驳的標题。
【左手纯数学，右手计算极限：十八岁少年的双线封神之路】
还有一些狂热的粉丝和媒体，已经开始把江临定理这四个字大张旗鼓地写进文章標题，仿佛只要他们在网上抢先叫响了这个名字，就能越俎代庖，亲手参与一次科学史上的伟大命名。
看著越来越失控、逐渐走向狂热造神运动的热榜，沈砚秋眉头紧锁。
他当机立断，把原定在晚上八点的直播，直接提前到了下午两点。
同时，他打开后台，將直播间的標题进行了第三次修改。
第一版——
【十八岁大一新生再破世界难题，江临到底有多恐怖】
他盯著这句话看了十几秒，觉得太像那种劣质的爽文標题，全部刪除。
第二版——
【五状態繁忙海狸终结，计算机科学又一次被改写】 ↑返回顶部↑
阿伦森在页面的最上方，置顶了一段更新说明。
【两年前，我把 bb(5)=47，176，870 正式写成一个猜想，当时我认为，在我的学术生涯內，很难看到它变成定理。今天，它已经不再是猜想。】
【清华团队完成了自四状態繁忙海狸被確定以来，近四十年最重要的一次理论推进。我想强调的是，找到那台运行四千七百多万步的候选冠军，已经需要极强的计算实验与结构判断；证明在所有最终会停机的五状態机器中，没有任何一台能够比它更晚停下。而用严谨的数学去证明每一台运行得更久的五状態机器其实都会陷入无限循环、永远运行下去，则是另一种完全不同等级的成就，那是人类理智对无限的征服。】
【在这项工作中，尤其值得整个学界关注的是第一作者江临。他为最顽固的幽灵机器构造了全新的宏状態不变量，更难能可贵的是，他没有傲慢地拋出一堆没人能看懂的证明结果，而是让整个证明体系接受了远比通常计算实验更严厉的公开核验標准。他造了一个逻辑的筛子。】
国內媒体在疯狂转载这段话时，极其尽责地在文末补上了阿伦森在繁忙海狸问题上的权威背景，以及他在两年前正式提出该精確猜想的歷史事实。
那些原本还在各大论坛里阴阳怪气、爭论这会不会又是媒体製造的虚假天才神话、造神运动的人，在看到布雷迪的短笺和阿伦森的proved之后，忽然像被集体噤声了一样，少了一大半。
北京时间中午十二点，洛杉磯还是前一日晚九点。
陶哲轩在自己的社交平台上，转发了清华团队的公开证明仓库。
他在自己的社交平台上，转发了清华团队的公开证明仓库连结。
並以一个顶尖数学家的敏锐，提醒所有正在围观这场狂欢的人，注意一个很容易被那些喧囂的头条忽略的事实。
【这项工作的分量，绝不仅仅来自那两个被確定的精確数值。
在面对一个规模庞大到几百gb、包含千万条分支、无论如何也无法由人类去逐项阅读和审查的计算机辅助证明时，作者们展现出了极高的学术品味。
他们没有强求世界去相信他们运行了几个月的庞大程序，而是巧妙地把信任的核心，压缩进了一个只有几百行代码、足够小、足够简单的核验边界里。並且，他们公开了每一条可以被重放的见证链。这为未来人类如何验证机器生成的大规模证明，提供了一个极具启发性的范式。】
这条简短的评价下面，点讚数在很短的时间內破万。
最高赞的回覆是一句精闢的总结。
【陶神翻译：答案给你，验答案的尺子也给你。尺子小到专业人员能够逐行审计。现在，欢迎全世界来找错。找不出来，这个真理就是江临的。】
到了这一步，公共舆论场终於迎来了彻底的沸腾，如同被点燃了引信的火药桶。
江临能不能拿图灵奖的话题，以摧枯拉朽之势衝到了所有平台的热榜第一，並且热度值是第二名的十倍。
有人把他七月底，穿著白衬衫、神情淡然地站在iccm数学金奖领奖台上的照片，与今天清华这篇计算机科学论文那密布著代码和公式的首页拼在一起，配上了一个极具中二气息却又让人无法反驳的標题。
【左手纯数学，右手计算极限：十八岁少年的双线封神之路】
还有一些狂热的粉丝和媒体，已经开始把江临定理这四个字大张旗鼓地写进文章標题，仿佛只要他们在网上抢先叫响了这个名字，就能越俎代庖，亲手参与一次科学史上的伟大命名。
看著越来越失控、逐渐走向狂热造神运动的热榜，沈砚秋眉头紧锁。
他当机立断，把原定在晚上八点的直播，直接提前到了下午两点。
同时，他打开后台，將直播间的標题进行了第三次修改。
第一版——
【十八岁大一新生再破世界难题，江临到底有多恐怖】
他盯著这句话看了十几秒，觉得太像那种劣质的爽文標题，全部刪除。
第二版——
【五状態繁忙海狸终结，计算机科学又一次被改写】 ↑返回顶部↑