在2015年的夏天，谷歌的研究人员意识到，他们可以让他们的人工智能程序“做梦”。他们调整了程序，使得它不仅能将图像分门别类，还能在图像中强化观察到的事物。然后，这些机器就展示了他们对艺术的诠释。
[视频]出击吧，阿尔法狗！
这段由Nature Video制作的视频，邀请到了谷歌Deep-Mind团队的科学家出镜介绍阿尔法狗，发表于阿尔法狗5:0战胜樊麾之后，李世乭对战阿尔法狗前。
木遥：关于 AlphaGo 论文的阅读笔记
AlphaGo 总体上由两个神经网络构成，以下我把它们简单称为「两个大脑」，这并非原文中的提法，只是我的一个比喻。在论文中一个有趣的结论是：两个大脑取平均的结果比依赖两者各自得出的结果都要好很多。这应当是让 AlphaGo 表现出和人类相似性的关键所在。
计算的极限（十一）：黄金时代
哥德尔、图灵、丘奇、波斯特、克林……这些开创者们，告诉了我们“计算”到底是什么，而计算之外又有什么。但平心而论，我们给这些开拓者的颂扬还远远不够。在一般人心中，他们仍然寂寂无名。这些开拓者们，生前大多没有什么好的结局，就连死后也没有得到多少廉价的赞赏。他们为我们开拓了一个信息化自动化的黄金时代，但他们又得到了什么呢？
计算的极限（十）：无限绵延的层级
尽管人力能及的只有可计算的问题，但通过逻辑推演，我们能认识到，在那些我们无法解答的问题中，竟然还存在着一个精巧的结构。而正是波斯特向我们首次展示了这个无法触及的世界。
计算的极限（九）：叹息与奋斗
在数学界，证明就是一切。没有证明，即使看上去再确定无误的结论，哪怕拥有再多的间接证据，哪怕是最优秀的数学家的想法，都只能是猜想，而不是定理。要确立一个定理，就必须有一个滴水不漏的证明。这就是数学界的规则。而很不巧，本篇文章的主角，波斯特的研究风格比图灵更依赖直觉，换种说法就是更不严谨。
计算的极限（八）：符号的框架
要知道，逻辑体系种类繁多，从弗雷格电路图一般的“概念文字”，到罗素和怀特黑德的《数学原理》中略显奇异的近代逻辑符号，再到现代一般使用的一阶逻辑，又到更复杂的模态逻辑与线性逻辑，甚至到现代如雨后春笋层出不穷的新逻辑体系，它们无论是符号、意义还是表达范围都千奇百怪，要找到一个能囊括过去、现在甚至未来出现的定义，这无疑是个令人挠头的工作。
计算的极限（七）：宛如神谕
图灵的这段文字其实定义了一种新的图灵机，图灵把它叫做“o-机”，而它的现代术语叫“谕示机”。一台谕示机就是一台有点特别的图灵机，仅仅多了一个新功能，就是能“免费”得到某一个特定的判定问题的答复。
斯蒂芬·沃尔夫勒姆：宇宙的本质是计算
20岁拿到加州理工理论物理博士学位，21岁获麦克阿瑟天才奖，28岁开办自己的公司，29岁推出了名震天下的计算软件Mathematica，怎么看沃尔夫勒姆都是一位少年天才。然而这却是一位离经叛道的天才，他在三十年前就离开了传统意义上的学术界，至今仍认为整个现有的科学都是跛足的，计算才是科学和人类的未来。
计算的极限（六）：无穷的彼岸
实际上，许多关于无穷的看似矛盾结论，都可以归根于我们在日常经验中对数量与顺序的混淆。比如说有人会认为偶数比自然数少，是因为自然数除了偶数之外还有奇数，但实际上这种说法隐含了“先数偶数再数奇数”的这一清点顺序。
图灵测试，测的到底是什么？
经济学有个所谓的古德哈特定律：一项指标一旦成为政策制定的依据，便立刻不再有效。政策制定者会牺牲其他方面来强化这个指标，使得这个指标不再具有指示整体情况的作用。类似的道理勉强也可以套用到别的领域里。某种意义上尤金·古斯特曼就是例证——它不但是专门设计的聊天机器人、缺乏任何其他领域的智力能力。
