第169章 幽灵机器的终焉（1 / 13）
新的故事已经开始。
⚡ 自动翻页
开启后阅读到底自动进入下一章
⚡ 开启自动翻页更爽
看到章尾自动进入下一章，追书不用一直点。
这就是五状態图灵机的全部构成。
它的规则是如此简单。
任何人，只要花上几分钟，都能把它的规则抄在一张便签纸上。
然而，正是这近乎原初的简单，孕育出了连现代超级计算机都无法穷尽的复杂性。
几代最顶尖的研究者前赴后继，先后尝试循环判定、符號压缩、闭合纸带语言、有限自动机约简和形式化验证，却始终无法给这两个数字盖上最后一枚印章。
32年前，布雷迪在耗尽了无数心血后，乾脆把它写进了自己的预测清单。
永远无法证明！
乔闻鐸今天又把这句话放了出来。
这位在形式化验证领域摸爬滚打了半辈子的老教授，此刻双手撑在会议桌的边缘，静静地注视著大屏幕。
他之所以放出这句话，是因为大屏幕右侧，还掛著项目组全库復验后的最后一行状態提示。
【unresolved_machines：1】
九月十日，当大一新生江临刚刚完成军训物资清退，还在操场上听著院系入学教育的喧闹时，两支被严格物理隔离的实现组，已经悄然完成了共享可信核的独立盲测。
记住我们101看书网
那是一场不见硝烟的惨烈战爭。
中间出现过一次足以让整个团队惊出冷汗的分歧。 ↑↑