第170章 世界终于看懂了(7/12)
【左手纯数学,右手计算极限:十八岁少年的双线封神之路】
还有一些狂热的粉丝和媒体,已经开始把江临定理这四个字大张旗鼓地写进文章标题,仿佛只要他们在网上抢先叫响了这个名字,就能越俎代庖,亲手参与一次科学史上的伟大命名。
看着越来越失控、逐渐走向狂热造神运动的热榜,沈砚秋眉头紧锁。
他当机立断,把原定在晚上八点的直播,直接提前到了下午两点。
同时,他打开后台,将直播间的标题进行了第三次修改。
第一版——
【十八岁大一新生再破世界难题,江临到底有多恐怖】
他盯着这句话看了十几秒,觉得太像那种劣质的爽文标题,全部删除。
第二版——
【五状态繁忙海狸终结,计算机科学又一次被改写】
还是不够准确,删掉。
最终,留在后台标题栏里的,是一句平实到没有任何情绪波澜的话——
【江临解决的究竟是什么?
我们为什么需要它?】
开播前五分钟,预约人数已经超过八万。
下午两点整,画面准时亮起。
数以万计的观众涌入直播间,却发现沈砚秋身后的白板上,既没有挂江临那张帅气的照片,也没有写任何关于图灵奖的探讨。
白板的正中央,只有那五行随着历史递进的数字。
1。
6。
21。
107。
47,176,870。
“大家下午好。
我知道你们现在很激动。”沈砚秋没有寒暄,直接切入正题,他的声音透过麦克风传出,带着让人冷静的力量,“但在狂欢之前,今天先把三件最容易说错、也最容易让人产生虚假期待的事,讲在前面。”
他拿起红色的记号笔,在白板的另一侧重重地写下三个巨大的红叉。
“第一,江临和联合团队没有破解一般停机问题。
图灵的理论依然坚如磐石。”
“第二,四千七百多万不是现代计算机的速度上限。
图灵机的一步与cpU的一条指令本来就不能直接换算,这个数字衡量的是特定机器在停机前的运行长度。”
“第三,这项成果不能让你的电脑从此不再卡死,也不能替程序员自动找出所有死循环。
想靠它一键修好普通软件故障的朋友,可以歇歇了。”
弹幕在屏幕上诡异地停顿了半秒钟,仿佛所有人都被这三盆冷水泼得愣住了。
随后,评论以更加猛烈的速度刷了起来,密密麻麻地盖住了半个屏幕。
【那他妈到底解决了什么?】
【标题党骗我进来?
我看别的主播都说人类再也不怕死机了!】
【大家先别急,清华原公告确实也没说破解一般停机问题,听沈老师讲。】
【所以图灵奖没了,江神跌落神坛了?】
沈砚秋没有理会弹幕里的躁动,他操作电脑,把清华论文里的正式定理投屏到屏幕中央。
为了照顾普通观众,他删掉了全部晦涩的形式化符号,只保留了最关键的限定条件与最终结论。
【五状态繁忙海狸精确值定理】
【对于所有从全白纸带启动的标准五状态、二符号图灵机:只要一台机器最终会停机,它就一定会在第47,176,870步或更早停下。】
本章未完,请翻下一页继续阅读.........