是否有提议的扩展超越解决停机问题的图灵机,如果是,这些提议的扩展是否对推进强大的人工智能有价值?例如,量子计算是否超越了图灵机的定义并解决了停机问题,这是否有助于创建强大的人工智能?
量子计算机能解决停机问题吗?这会推动强大的人工智能吗?
人工智能
量子计算
停机问题
敏捷
2021-10-29 05:48:08
2个回答
不,量子计算机(正如主流科学家所理解的那样)无法解决停机问题。我们已经可以用普通计算机模拟量子电路;当你涉及到相当数量的量子比特时,它只需要很长时间。(量子计算为某些问题提供了指数级的加速。)因此,如果量子计算机可以解决停机问题,我们可以通过模拟量子计算机来解决经典计算机的停机问题,但经典计算机无法解决停机问题,所以我们也不能用量子来做到这一点。
有超计算的支持者——使用量子计算机的无限加速——但迄今为止提出的证据大多是猜想。延伸阅读:量子计算能否解决经典无法解决的问题?(PDF),关于量子计算机和图灵机之间比较的参考资料(在 CS.SE)。
解决停机问题将使计算机异常强大。可以想象,它能够检查复杂定理是否正确,而不必产生数学证明。不过,对于强大的人工智能来说,解决这个问题并不是必需的。将“强人工智能”定义为“机器的智能能力在功能上与人类相同”(来源),计算机可以像人类一样学习,尽管无法查看程序并查看它是否停止。我不能神奇地确定任何程序的停止属性,但我想认为我是一个聪明的人。
其它你可能感兴趣的问题