字体
大
中
小
关灯
上一页 回目录    收藏 下一页

第170章 世界终于看懂了(7/12)

【左手纯数学,右手计算极限:十八岁少年的双线封神之路】

还有一些狂热的粉丝和媒体,已经开始把江临定理这四个字大张旗鼓地写进文章标题,仿佛只要他们在网上抢先叫响了这个名字,就能越俎代庖,亲手参与一次科学史上的伟大命名。

看着越来越失控、逐渐走向狂热造神运动的热榜,沈砚秋眉头紧锁。

他当机立断,把原定在晚上八点的直播,直接提前到了下午两点。

同时,他打开后台,将直播间的标题进行了第三次修改。

第一版——

【十八岁大一新生再破世界难题,江临到底有多恐怖】

他盯着这句话看了十几秒,觉得太像那种劣质的爽文标题,全部删除。

第二版——

【五状态繁忙海狸终结,计算机科学又一次被改写】

还是不够准确,删掉。

最终,留在后台标题栏里的,是一句平实到没有任何情绪波澜的话——

【江临解决的究竟是什么?

我们为什么需要它?】

开播前五分钟,预约人数已经超过八万。

下午两点整,画面准时亮起。

数以万计的观众涌入直播间,却发现沈砚秋身后的白板上,既没有挂江临那张帅气的照片,也没有写任何关于图灵奖的探讨。

白板的正中央,只有那五行随着历史递进的数字。

1。

6。

21。

107。

47,176,870。

“大家下午好。

我知道你们现在很激动。”沈砚秋没有寒暄,直接切入正题,他的声音透过麦克风传出,带着让人冷静的力量,“但在狂欢之前,今天先把三件最容易说错、也最容易让人产生虚假期待的事,讲在前面。”

他拿起红色的记号笔,在白板的另一侧重重地写下三个巨大的红叉。

“第一,江临和联合团队没有破解一般停机问题。

图灵的理论依然坚如磐石。”

“第二,四千七百多万不是现代计算机的速度上限。

图灵机的一步与cpU的一条指令本来就不能直接换算,这个数字衡量的是特定机器在停机前的运行长度。”

“第三,这项成果不能让你的电脑从此不再卡死,也不能替程序员自动找出所有死循环。

想靠它一键修好普通软件故障的朋友,可以歇歇了。”

弹幕在屏幕上诡异地停顿了半秒钟,仿佛所有人都被这三盆冷水泼得愣住了。

随后,评论以更加猛烈的速度刷了起来,密密麻麻地盖住了半个屏幕。

【那他妈到底解决了什么?】

【标题党骗我进来?

我看别的主播都说人类再也不怕死机了!】

【大家先别急,清华原公告确实也没说破解一般停机问题,听沈老师讲。】

【所以图灵奖没了,江神跌落神坛了?】

沈砚秋没有理会弹幕里的躁动,他操作电脑,把清华论文里的正式定理投屏到屏幕中央。

为了照顾普通观众,他删掉了全部晦涩的形式化符号,只保留了最关键的限定条件与最终结论。

【五状态繁忙海狸精确值定理】

【对于所有从全白纸带启动的标准五状态、二符号图灵机:只要一台机器最终会停机,它就一定会在第47,176,870步或更早停下。】
本章未完,请翻下一页继续阅读.........
上一页 回目录    收藏 下一页