第171章 世界终於看懂了（9 / 14）
还是不够准確，刪掉。
最终，留在后台標题栏里的，是一句平实到没有任何情绪波澜的话——
【江临解决的究竟是什么？我们为什么需要它？】
开播前五分钟，预约人数已经超过八万。
下午两点整，画面准时亮起。
数以万计的观眾涌入直播间，却发现沈砚秋身后的白板上，既没有掛江临那张帅气的照片，也没有写任何关於图灵奖的探討。
白板的正中央，只有那五行隨著歷史递进的数字。
1。
6。
21。
107。
47，176，870。
“大家下午好。我知道你们现在很激动。”沈砚秋没有寒暄，直接切入正题，他的声音透过麦克风传出，带著让人冷静的力量，“但在狂欢之前，今天先把三件最容易说错、也最容易让人產生虚假期待的事，讲在前面。”
他拿起红色的记號笔，在白板的另一侧重重地写下三个巨大的红叉。
“第一，江临和联合团队没有破解一般停机问题。图灵的理论依然坚如磐石。”
“第二，四千七百多万不是现代计算机的速度上限。图灵机的一步与cpu的一条指令本来就不能直接换算，这个数字衡量的是特定机器在停机前的运行长度。”
“第三，这项成果不能让你的电脑从此不再卡死，也不能替程式设计师自动找出所有死循环。想靠它一键修好普通软体故障的朋友，可以歇歇了。”
弹幕在屏幕上诡异地停顿了半秒钟，仿佛所有人都被这三盆冷水泼得愣住了。
隨后，评论以更加猛烈的速度刷了起来，密密麻麻地盖住了半个屏幕。
【那他妈到底解决了什么？】
【標题党骗我进来？我看別的主播都说人类再也不怕死机了！】
【大家先別急，清华原公告確实也没说破解一般停机问题，听沈老师讲。】
【所以图灵奖没了，江神跌落神坛了？】
沈砚秋没有理会弹幕里的躁动，他操作电脑，把清华论文里的正式定理投屏到屏幕中央。
为了照顾普通观眾，他刪掉了全部晦涩的形式化符號，只保留了最关键的限定条件与最终结论。
【五状態繁忙海狸精確值定理】
【对於所有从全白纸带启动的標准五状態、二符號图灵机：只要一台机器最终会停机，它就一定会在第47，176，870步或更早停下。】
【如果运行到第47，176，871步仍未停机，那么它以后永远不会停机。】
【所有最终停机的机器中，停机时留在纸带上的1，最多为4，098个。】
“这就是他们花了不知道多少个日夜，最终证明的定理。” ↑返回顶部↑
最终，留在后台標题栏里的，是一句平实到没有任何情绪波澜的话——
【江临解决的究竟是什么？我们为什么需要它？】
开播前五分钟，预约人数已经超过八万。
下午两点整，画面准时亮起。
数以万计的观眾涌入直播间，却发现沈砚秋身后的白板上，既没有掛江临那张帅气的照片，也没有写任何关於图灵奖的探討。
白板的正中央，只有那五行隨著歷史递进的数字。
1。
6。
21。
107。
47，176，870。
“大家下午好。我知道你们现在很激动。”沈砚秋没有寒暄，直接切入正题，他的声音透过麦克风传出，带著让人冷静的力量，“但在狂欢之前，今天先把三件最容易说错、也最容易让人產生虚假期待的事，讲在前面。”
他拿起红色的记號笔，在白板的另一侧重重地写下三个巨大的红叉。
“第一，江临和联合团队没有破解一般停机问题。图灵的理论依然坚如磐石。”
“第二，四千七百多万不是现代计算机的速度上限。图灵机的一步与cpu的一条指令本来就不能直接换算，这个数字衡量的是特定机器在停机前的运行长度。”
“第三，这项成果不能让你的电脑从此不再卡死，也不能替程式设计师自动找出所有死循环。想靠它一键修好普通软体故障的朋友，可以歇歇了。”
弹幕在屏幕上诡异地停顿了半秒钟，仿佛所有人都被这三盆冷水泼得愣住了。
隨后，评论以更加猛烈的速度刷了起来，密密麻麻地盖住了半个屏幕。
【那他妈到底解决了什么？】
【標题党骗我进来？我看別的主播都说人类再也不怕死机了！】
【大家先別急，清华原公告確实也没说破解一般停机问题，听沈老师讲。】
【所以图灵奖没了，江神跌落神坛了？】
沈砚秋没有理会弹幕里的躁动，他操作电脑，把清华论文里的正式定理投屏到屏幕中央。
为了照顾普通观眾，他刪掉了全部晦涩的形式化符號，只保留了最关键的限定条件与最终结论。
【五状態繁忙海狸精確值定理】
【对於所有从全白纸带启动的標准五状態、二符號图灵机：只要一台机器最终会停机，它就一定会在第47，176，870步或更早停下。】
【如果运行到第47，176，871步仍未停机，那么它以后永远不会停机。】
【所有最终停机的机器中，停机时留在纸带上的1，最多为4，098个。】
“这就是他们花了不知道多少个日夜，最终证明的定理。” ↑返回顶部↑