我们发布了一篇新论文，最近被AAAI-14 MIPC研讨会接受:LaVictoire等人的“囚徒困境中的程序均衡通过Löb’s定理”。本文实质上是Barasz et al.(2014)的缩写。关于其中的关键结果的历史，请参见稳健合作:友好人工智能研究的一个案例研究。金宝博娱乐摘要阅读更多»
贴子:路加福音Muehlhauser
Christof Koch和Stuart Russell研究机器超级智能
最近，科学星期五(由Ira Flatow主持)对Christof Koch和Stuart Russell进行了一次关于机器超级智能的采访(页面，mp3)。克里斯托弗·科赫(Christof Koch)是艾伦脑科学研究所的首席科学官，斯图尔特·拉塞尔(Stuart Russell)是加州大学伯克利分校的计算机科学教授，也是世界上最常用的人工智能教科书的合著者。我很高兴听到……阅读更多»
信息技术的指数和非指数趋势
与莱拉·瑞伯合著。在《奇点临近》一书中，雷·库兹韦尔写道:“信息和信息技术的每个方面都在以指数级的速度增长。”在《丰度》一书中，作者列出了8个领域——包括纳米材料、机器人技术和医学——作为“指数增长的领域”。第二个机器时代说，“技术进步”总体上“呈指数级增长”。这些作者……阅读更多»
本杰明·皮尔斯的全新安全架构
Benjamin C. Pierce是宾夕法尼亚大学计算机和信息科学的Henry Salvatori教授和ACM的研究员。他的研究金宝博娱乐兴趣包括编程语言、类型系统、基于语言的安全性、计算机辅助的正式验证、差异隐私和同步技术。金宝博官方他是广泛使用的研究生教科书类型和编程语言和软件基础....的作者阅读更多»
Michael Fisher在验证自主系统金宝博官方
Michael Fisher是计算机科学教授，专注于逻辑方法和自动正式验证，同时也是利物浦大学多学科自主系统技术中心主任，计算机科学系逻辑与计算组成员。金宝博官方Fisher教授也是BCS…阅读更多»
Harry Buhrman谈量子算法和密码学
哈里·布尔曼(Harry Buhrman)是阿姆斯特丹智库金宝博娱乐(Centrum Wiskunde & Informatica)“算法和复杂性”研究小组的负责人，他于1994年加入该小组。自2000年起，他还兼任阿姆斯特丹大学计算机科学正教授。Buhrman的研究金宝博娱乐重点是量子计算、算法、复杂性理论和计算生物学。在…阅读更多»
新论文:“自我改进时空嵌入智能中的自我参照问题”
我们发布了一篇由Benja Fallenstein和Nate Soares撰写的新工作论文，“自我改进时空嵌入智能中的自我参照问题”。摘要Orseau和Ring的时空嵌入智能将主体视为其所处环境的一部分，比传统的主体框架更适合现实世界。然而，一个自我修改的AGI看到…阅读更多»
直播博客SV给予募捐
今天，MIRI正在参加一个名为SV giving的24小时大型募捐活动。策略细节在这里，捐赠在这里。188betapp这篇博客文章将在一天中多次更新。捐赠给MIR188betappI的总额:110,245美元。MIRI赢得的总奖金和匹配:61,330美元。太平洋地区:结束了，各位!我们再次感谢SVCF……阅读更多»
