昨晚临睡前,看到了一篇使用数学推导人工智能边界的文章,感觉很有意思,就把大致过程写下来。
1.世界上有很多问题,其中只有一小部分是数学问题 。
2.在数学问题中,只有一小部分是有解的。
3.在有解的数学问题中,只有一部分是理想状态的图灵机可以解决的。
4.在图灵机可以解决的问题中,只有一部分是当今的计算机可以解决的。
5.人工智能可以解决的问题,只是计算机可以解决的问题的一部分。
第1,2两个结论的依据是数学家已经证明了的:并非所有的数学问题都有解,即使有解,计算的步骤也可能是无限的。
第3,4结论的依据是图灵机(数学模型,非机器)设计的初衷就是通过有限的步骤求证有明确解的数学问题,当今的计算机,也包括正在设计的计算机都在图灵机的范畴之内。
第5的依据是人工智能是建立在计算的基础之上的。
ai.jpg
担心人工智能的强大是杞人忧天,人类需要做的是实现更强大的人工智能,以解决更多现实的问题。
网友评论