未来，人工智能进入更多的领域、发挥更强的功能，是无可争辩的事实。然而，我们的生产关系能否适应人工智能带来的生产力，这句马克思政治经济学的基本原则值得我们认真思考一番。我们并不想看到未来的“机器暴政”，将我们的社会绑在既有的偏见、秩序和资本操纵中。

你指尖流淌出的文字，也诉说了你是个什么人，刑侦意义上的那种。

量子计算机是什么？它能做什么不能做什么？跟传统计算机相比有什么优势有什么劣势？这篇漫画告诉你。

在2015年的夏天，谷歌的研究人员意识到，他们可以让他们的人工智能程序“做梦”。他们调整了程序，使得它不仅能将图像分门别类，还能在图像中强化观察到的事物。然后，这些机器就展示了他们对艺术的诠释。

人机对抗的硝烟会慢慢消散，但包括谷歌阿尔法狗项目组成员在内的计算机科学家不会停歇，我们处在一段短暂但变革剧烈的历史中，而今天这篇文章，或许可以帮助你了解自己所身处的时代已经发生、正在发生和将要发生的变革，哪怕只是窥见其过程中的星星点点的轨迹，也比全然无知要好吧。

哥德尔、图灵、丘奇、波斯特、克林……这些开创者们，告诉了我们“计算”到底是什么，而计算之外又有什么。但平心而论，我们给这些开拓者的颂扬还远远不够。在一般人心中，他们仍然寂寂无名。这些开拓者们，生前大多没有什么好的结局，就连死后也没有得到多少廉价的赞赏。他们为我们开拓了一个信息化自动化的黄金时代，但他们又得到了什么呢？

在数学界，证明就是一切。没有证明，即使看上去再确定无误的结论，哪怕拥有再多的间接证据，哪怕是最优秀的数学家的想法，都只能是猜想，而不是定理。要确立一个定理，就必须有一个滴水不漏的证明。这就是数学界的规则。而很不巧，本篇文章的主角，波斯特的研究风格比图灵更依赖直觉，换种说法就是更不严谨。

图灵的这段文字其实定义了一种新的图灵机，图灵把它叫做“o-机”，而它的现代术语叫“谕示机”。一台谕示机就是一台有点特别的图灵机，仅仅多了一个新功能，就是能“免费”得到某一个特定的判定问题的答复。