我们发布了一份最近被Aaai-14的MIPC研讨会接受的新文件:“通过Löb的定理在囚犯的困境中的计划均衡”由Lavictoire等人。本文基本上是Barasz等人的缩短版本。(2014)。对于其中的关键结果的历史,参见强大的合作:友好AI研究的案例研究。亚博体育官网抽象的…阅读更多 ”
帖子:卢克·穆罕沃斯
Christof Koch和Stuart Russell在机器超理上
最近,科学星期五(由IRA FlatOW主办)采访(页面,MP3)与Christof Koch和Stuart Russell关于机器超意。Christof Koch是艾伦大脑科学研究所的首席科学官员,斯图尔特罗素是UC Berkeley的计算机科学教授,世界上最常用的AI教科书的共同作者。我很高兴听到......阅读更多 ”
信息技术指数和非指数趋势
共同撰写Lila Rieber。在奇点近乎临时,雷库尔兹威尔写道:“信息和信息技术的各个方面都以指数速度增长。”在丰富的情况下,作者列出了八个字段 - 包括纳米材料,机器人和药物 - 作为“指数增长的领域”。第二台机器时代表示,“技术进步”一般是“呈指数增长”。这些作者......阅读更多 ”
本杰明刺穿了清洁板岩安全架构
本杰明C. Pierce是宾夕法尼亚大学计算机和信息学教授的亨利·萨尔瓦特教授和ACM的研究员。他的研究亚博体育官网兴趣包括编程语言,类型系统,基于语言的安全性,计算机辅助的正式验证,差异隐私和同步技术。亚博体育苹果app官方下载他是广泛使用的毕业教科书类型和编程语言和软件基础的作者......阅读更多 ”
迈克尔费舍尔验证自治系统亚博体育苹果app官方下载
Michael Fisher是一名计算机科学教授,专门从事逻辑方法和自动正式验证,以及利物浦大学的自治系统技术的多学科中心主任,以及计算机科学部的逻辑和计算集团的成员。亚博体育苹果app官方下载Fisher教授也是BCS的一家......阅读更多 ”
哈利布尔曼在量子算法和加密
Harry Buhrman是Centrum Wiskund亚博体育官网e&Informatica,Amsterdam的研究组“算法和复杂性”,他于1994年加入。自2000年以来,他还将联合任命为阿姆斯特丹大学计算机科学教授。Buhrman的研究亚博体育官网侧重于量子计算,算法,复杂性理论和计算生物学。在…阅读更多 ”
新论文:“自我改善时空嵌入智能自我引用问题”
我们通过Benja Fallenstein和Nate Soares发布了一份新的工作文件,“自我改善时空嵌入式智能自我引用问题”。摘要:通过考虑代理人成为他们的环境的一部分,Orseau和戒指的时空嵌入式智能比传统代理框架更好。但是,看到的自我修改AGI ......阅读更多 ”
Liveblogging SV提供资金
今天Miri参加了一个叫做SV的大规模24小时筹款机。策略细节在这里,捐赠这里。yabo体育官网下载ios这篇博客文章将全天多次更新。总捐赠给Miyabo体育官网下载iosri:110,245美元。为Miri提供总奖金和匹配:61,330美元。12:12 am太平洋:这是一个包装,人们!我们再次感谢SVCF ...阅读更多 ”