首页 >> 计算机科学

订阅此频道更新

“作恶”的人工智能

Filed under: 计算机科学,议理 发表于 2018-04-19 06:44

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

你有过在大冷天里iPhone突然断电关机的体验吗?图片来源:pixabay

为手机限速,苹果真的是邪恶巨头吗?

Filed under: 计算机科学,议理 发表于 2018-01-07 07:17

其实还是因为电池技术还不够先进,苹果只好出此下策……

在网上保持匿名身份并不容易。图片来源:anonews.co

打在网上的每个字,都在泄露你的身份

Filed under: 心理,计算机科学 发表于 2017-12-24 06:58

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

图片来自Wikipedia

人工智能变形记

Filed under: 计算机科学 发表于 2017-10-20 07:07

不管我们是否愿意,形形式式的人工智能早已深入日常生活。这一切将人们从种种无趣的脑力劳动中解放出来,也带来了众多机遇和挑战。但鲜为人知的是,在背后支撑这些人工智能的,其实是一个个数学定理和计算机算法。

封面

漫画 | 10分钟看懂量子算法

Filed under: 漫画,物理,计算机科学 发表于 2017-07-24 07:21

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

计算的极限(十三):数字空间的幽灵

Filed under: 计算机科学 发表于 2017-07-12 07:09

病毒和杀毒软件的攻防战线广阔异常,从磁盘到内存甚至显卡,都是它们的战场,而攻防策略之多,无论如何列举都只能是挂一漏万。计算机病毒和杀毒软件,两者你追我赶,永无止尽。注定这两者命运的,正是一条数学定理。

fwjmath-ai-art-2

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

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-机”,而它的现代术语叫“谕示机”。一台谕示机就是一台有点特别的图灵机,仅仅多了一个新功能,就是能“免费”得到某一个特定的判定问题的答复。

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