那一年，图氏机器人发展到第四代，为纪念这一重大事件，取名图样，并设子系列——图神破。

要发明一台自动解决所有问题的机器，或者证明这样的机器是不能发明出来的。

这是图氏先祖图灵留给后辈的终极问题，而那一台假想中的机器至今没被发明出来。

我们可以沿着1～99的序列不断迭代产品，却必定不能发明那台图0机器，就像在闵氏空间里，我们可以不断去接近光速但一定无法突破那条双曲切线。

研究可计算理论是为了什么，为了让机器人获得智慧，而人类历史上出现过最聪明的人就是科学家，那么，就让它们去向这些智者学习。一本本书籍被输入我的硬盘，那一瞬间，我看见绚丽的十七边形，具像化闪烁在脑海里。

我一路读取着存储空间内的藏书，感受着知识的积累。我相信等我爬完整个知识图谱，定理和公式会在脑海里开出成花。

我不知疲倦地从系统汲取知识，知道有一天我听见两个人类工程师的讨论：“我想面对大语言模型，我们是时候接受知识专家这一条路走错了。”

“如果你不能严格证明这件事，那就不能宣告符号主义的方向是错的。知识的迷宫之间一定有一盏明灯，指引它发现总领一切方法的方法。”

“我们已经发展了1000（BIN）年的符号系统，输入了世界上70%的书籍总量，这些机器都没有真正产生“智慧”，就算图零号是存在的，也不是有限Byte内能够构造的

我希望发明的是一台可以根据已有算式去预测未知公式的机器，而非根据事先调配好的符号逻辑进行机械运算的程式。

这台机器必须自己去生成和判断新定理公式。Will this machine work?

IX号工程师放下手中转动的铅笔，如果我们不带入人类或者计算机的实体，幻想有这样一个智慧体，它是怎么一步步从无知开始了解世界，然后对世界的规律提出自己的猜想并逐步验证他的呢。

如果我们把认知的过程一路抽象，滤掉干扰因素，剩下来被否定到不能再否定的，就是一切推理的源头。

在几何里，它是欧几里得基本公理。在代数上是数和它上面的运算，在集合论中……

我们所能观察到的现象是个Q1，Q2，Q3……

构成这些现象的原理是P1，P2，P3……

如果某个Qi不能由现有的原理集推导而出，那么就会存在一个构成Q的引理P

反之，如果某个Pj预测了不存在的现象Q，我们应当可以设计实验让Q发生。

假设我们生活的这个世界（或者想象中的符号世界）所有现象由Q张成，我们需要从Q中提取至多几个互补相关的Q，使得其刚好可推导出所有原理P？