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

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

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

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

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

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