第一篇百家号文章

第一次尝试使用百家号，很荣幸。试一试。

在上个世纪30年代中期，图灵在思考三个问题。

第一个问题，世界上是否所有数学问题都有明确的答案？

第二个问题，如果有明确的答案，是否可以通过有限步骤的计算得到答案？

第三个问题才是，对于那些有可能在有限步骤计算出来的数学问题，能否有一种假想的机械，让它不断运动，最后当机器停下来的时候，那个数学问题就解决了？

人工智能的边界。

世界上有很多问题，其中只有一小部分是数学问题；在数学问题中，只有一小部分是有解的；在有解的问题中，只有一部分是理想状态的图灵机可以解决的；在后一类的问题中，又只有一部分是今天实际的计算机可以解决的；而人工智能可以解决的问题，又只是计算机可以解决问题的一部分。我把这个嵌套逻辑画成了下面这张图，从图中可以看到，人工智能所能解决的问题真的只是世界上问题的很小一部分。对于人工智能来讲，我倒是觉得现在世界上没有解决的问题太多，无论是人还是机器（其实是它们背后编写程序的人），都应该想办法解决各种问题，而不是杞人忧天，担心人工智能这个工具太强大了

图片