主题：【原创】《文艺作品的创作是有规律的 ——Musk为什么会急》 -- Ace

我说的思考主要是说推理和逻辑演绎，特别是逻辑演绎。

归纳和演绎的重要区别在于归纳方法可以是不完全归纳，但是逻辑演绎方法一定是确定的（soundness），或者是完全演绎（这里不考虑极大可能推理或概率演绎等）。

在我看来，逻辑演绎系统是人类智能的最高峰。一般而言，逻辑演绎系统包含两个部分，符号系统（signature）和推理规则（derived rules）。

以前我认为AGI最困难的突破点是推理规则，现在看来未必如此。符号系统是从无穷到符号的抽象，这一点对AGI是真正的挑战。AGI目前使用的符号系统是人类预先做好的，这一步反而是取巧。

现在看来，对AGI真正的试金石是看AGI能否自主证明某些问题是不可判定的（例如图灵停机问题）。如果能的话，说明AGI内部对符号系统和推理规则都有了确定的认知。

铁钉的移动，其实可以看做一个逻辑门，过了磁力的阈值，此门打开，铁钉移动。大家可以看到，仅仅是一个简单的逻辑门，就有类似生物的表现。

同理，蚊子的跟踪定位动作，我们也可以视之为多个逻辑门控制的结果。

如果我们不认为前者具备算力，后者具备算力，那么这条线要怎么划？要多少各逻辑门才满足算力的定义？

最小的可能是蛋白分子：可以根据周遭环境打开或者关闭一个类似门的结构，也有可以移动，搬运的功能。硅芯片虽然电路密度上也到纳米尺度了，但是要想完成一个计算还是比较大的尺度的。

人类目前的科技还是没法PK几十亿年自然的进化。但是硅从原理上来说超越碳的计算能力应该是板上钉钉，毫无疑问的。在更极端的环境里，能不能有超越硅的元素/物质存在，也是不好说的。