首页 >> 计算机科学

订阅此频道更新

机器人的艺术,是什么样子的?

Filed under: 计算机科学 发表于 2017-02-02 07:14

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

cropped-单独松鼠Logo.png

[视频]出击吧,阿尔法狗!

Filed under: 计算机科学 发表于 2016-03-17 14:11

这段由Nature Video制作的视频,邀请到了谷歌Deep-Mind团队的科学家出镜介绍阿尔法狗,发表于阿尔法狗5:0战胜樊麾之后,李世乭对战阿尔法狗前。

unnamed

阿尔法狗的前世今生

Filed under: 计算机科学 发表于 2016-03-16 13:37

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

QQ20160201-1

木遥:关于 AlphaGo 论文的阅读笔记

Filed under: 计算机科学 发表于 2016-02-01 15:42

AlphaGo 总体上由两个神经网络构成,以下我把它们简单称为「两个大脑」,这并非原文中的提法,只是我的一个比喻。在论文中一个有趣的结论是:两个大脑取平均的结果比依赖两者各自得出的结果都要好很多。这应当是让 AlphaGo 表现出和人类相似性的关键所在。

来自Wikimedia

计算的极限(十一):黄金时代

Filed under: 数学,计算机科学 发表于 2015-10-29 11:22

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

来自Wikimedia

计算的极限(十):无限绵延的层级

Filed under: 数学,计算机科学 发表于 2015-10-12 17:59

尽管人力能及的只有可计算的问题,但通过逻辑推演,我们能认识到,在那些我们无法解答的问题中,竟然还存在着一个精巧的结构。而正是波斯特向我们首次展示了这个无法触及的世界。

来自Wikipedia

计算的极限(九):叹息与奋斗

Filed under: 数学,计算机科学 发表于 2015-09-17 20:42

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

The Mathematicians

计算的极限(八):符号的框架

Filed under: 数学,计算机科学 发表于 2015-09-07 19:33

要知道,逻辑体系种类繁多,从弗雷格电路图一般的“概念文字”,到罗素和怀特黑德的《数学原理》中略显奇异的近代逻辑符号,再到现代一般使用的一阶逻辑,又到更复杂的模态逻辑与线性逻辑,甚至到现代如雨后春笋层出不穷的新逻辑体系,它们无论是符号、意义还是表达范围都千奇百怪,要找到一个能囊括过去、现在甚至未来出现的定义,这无疑是个令人挠头的工作。

QQ20150519-1

计算的极限(七):宛如神谕

Filed under: 数学,计算机科学 发表于 2015-05-19 15:52

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

wpid-u9IXQ1ykqRXq88lGrXHsxYb531H0sybhmVgPD4G5PTB8AgAAwAEAAFBO-2015-05-13-19-16.png

怎样才能不造出一个“奥创”?

Filed under: 计算机科学 发表于 2015-05-13 19:16

作者说:“感觉写到最后好像我首先背叛了人类╮(╯▽╰)╭”

斯蒂芬·沃尔夫勒姆:宇宙的本质是计算

Filed under: 人物,漫画,计算机科学 发表于 2015-01-13 17:00

20岁拿到加州理工理论物理博士学位,21岁获麦克阿瑟天才奖,28岁开办自己的公司,29岁推出了名震天下的计算软件Mathematica,怎么看沃尔夫勒姆都是一位少年天才。然而这却是一位离经叛道的天才,他在三十年前就离开了传统意义上的学术界,至今仍认为整个现有的科学都是跛足的,计算才是科学和人类的未来。

counting something

计算的极限(六):无穷的彼岸

Filed under: 数学,计算机科学 发表于 2014-10-21 18:13

实际上,许多关于无穷的看似矛盾结论,都可以归根于我们在日常经验中对数量与顺序的混淆。比如说有人会认为偶数比自然数少,是因为自然数除了偶数之外还有奇数,但实际上这种说法隐含了“先数偶数再数奇数”的这一清点顺序。

计算的极限(五):有限的障壁

Filed under: 数学,计算机科学 发表于 2014-07-15 17:11

图灵在普林斯顿的生活踏入第二年。作为博士导师的丘奇,向图灵提出了一个新的题目:探求超越哥德尔不完备性定理的方法。

屏幕快照 2014-06-10 下午4.22.08

图灵测试,测的到底是什么?

Filed under: 漫画,计算机科学 发表于 2014-06-10 15:57

经济学有个所谓的古德哈特定律:一项指标一旦成为政策制定的依据,便立刻不再有效。政策制定者会牺牲其他方面来强化这个指标,使得这个指标不再具有指示整体情况的作用。类似的道理勉强也可以套用到别的领域里。某种意义上尤金·古斯特曼就是例证——它不但是专门设计的聊天机器人、缺乏任何其他领域的智力能力。

OpenSSL漏洞是怎么回事

Filed under: 漫画,计算机科学 发表于 2014-04-11 17:40

xkcd 论“心泣”(heartbleed)漏洞。就是这两天大家老看见的那个OpenSSL漏洞啦。

第 1 页,共 11 页123456789...Last »