Josef Urban谈机器学习和自动推理

发布通过&申请下对话

Josef Urban是荷兰奈梅亨内梅亨大学计算与信息科学研亚博体育官网究所的博士后研究员。他的主要兴趣是在大型形式化(完全语义指定的)知识库上开发归纳和演绎人工智能方法,如正式声明的数学定义、定理和证明的大型语料库。这个…阅读更多»

2013年回顾:运营

发布通过&申请下米里策略

我们将重点放在友好人工智能研究上已经8个月了。亚博体育官网什么是有效的?没有什么?我们学到了什么?在这篇和接下来的几篇文章中,我将提供一个关于2013年MIRI的定性和个人的自我回顾。这次审查主要是定性的,因为我们还没有找到定量的度量标准……阅读更多»

新论文:“为什么我们需要友好的AI”

发布通过&申请下论文

卢克·米尔豪泽(Luke Muehlhauser)和尼克·博斯特罗姆(Nick Bostrom)的一篇新论文《为什么我们需要友好的人工智能》(Why We Need Friendly AI)发表在最新一期的剑桥杂志《思考:每个人的哲学》(Think: Philosophy for Everyone)上。摘要:人类不会永远是地球上最智能的代理,不会永远是主宰未来的代理。当我们不再踢球时会发生什么…阅读更多»

MIRI 2013年12月通讯

发布通过&申请下时事通讯

亲爱的朋友们,我们仍在试验我们的新,超简短的通讯风格。请回复这封邮件,告诉我们你的想法。谢谢!MIRI的2013年冬季配对筹款活动开始了!1月15日之前的所有捐赠都将由彼得·蒂尔(Peter Thiel)进行匹配,“新的大型捐赠者”将获得3倍的匹配:如果你在……阅读更多»

Scott Aaronson谈哲学进步

发布通过&申请下对话

Scott Aaronson是麻省理工学院电子工程和计算机科学副教授。在此之前,他在加州大学伯克利分校(UC Berkeley)获得了计算机科学博士学位,并在普林斯顿高等研究院(Institute for Advanced Study)和滑铁卢大学(University of Waterloo)获得了博士后。他的研究亚博体育官网集中在量子计算机的能力和极限,以及更多……阅读更多»

2013冬季配对挑战赛

发布通过&申请下新闻

感谢彼得·蒂尔,从现在到2014年1月15日,每一笔捐赠都将是等值的!此外,来自“新的大型捐赠者”的礼物将匹配3倍!也就是说,如果你曾经给SIAI/MIRI的捐款少于5000美元,而现在你捐赠或承诺捐赠5000美元或更多,Thiel将每捐赠1美元就捐赠3美元。yabo体育官网下载ios阅读更多»

新论文:“预测AGI:当我们知道这么少的时候,我们能说什么?”

发布通过&申请下论文

MIRI研亚博体育官网究助理Benja Fallenstein和加州大学伯克利分校的学生Alex Mennen发表了一篇新的工作论文,题为“预测AGI:当我们知道这么少的时候,我们能说什么?”从引言中可以看出:这个分析并不是试图预测什么时候AGI会真正实现,而是预测什么时候这种认知状态会得到尊重。阅读更多»

新论文:《奔向悬崖》

发布通过&申请下论文

在担任MIRI研究员期间,Carl Shulman撰亚博体育官网写了一篇论文,现在已成为FHI的技术报告:奔向悬崖:人工智能发展的一个模型。摘要:本文提出了一个人工智能军备竞赛的简单模型,即多个开发团队竞相建造第一个人工智能。假设下……阅读更多»