宣布一个新的讨论会系列和研究员方案

发布经过提起申请消息

该机器智能研究所正在接受报名两个夏令营项目:一个为亚博体育官网期三周的AI稳健性和可靠性座谈会系列(与人文学院的牛津大学未来合润),和为期两周的研究员方案,专注于帮助新研究有助于MIRI’s technical agenda (co-run with the Center for Applied Rationality). The Colloquium Series on Robust…阅读更多 ”

寻求类型理论与机亚博体育官网自助参考研究员的研究

发布经过提起申请消息

该机器智能研究所(MIRI)正在接受申请的全职研究亚博体育官网员发展与自我指涉的能力定理证明,通过实施非常语言中强类型语言开始。该研究项目的目标是帮助我们理解自治亚博体育官网系统,可以证明有关与类似的演绎系统定理...亚博体育苹果app官方下载阅读更多 ”

2016年3月通讯

发布经过提起申请新闻稿

亚博体育官网研究更新的新文件:“人的定义值值学习者”新在IAFF:算法和局部算法分析;自然逻辑更新;从法为基础和目标导向系统在通话记录;亚博体育苹果app官方下载玩具型号:收敛器乐目标的新的AI的影响:“价值学习问题”(PDF)的全球计算能力的修订版已...阅读更多 ”

约翰·霍根采访埃利泽·尤多科斯基

发布经过提起申请谈话

科学美国作家约翰·霍根日前采访了美里的高级研究员和联合创始人,埃利泽·尤多科斯基。亚博体育官网电子邮件采访中谈到了广泛的主题,从政治和宗教存在的风险和理性的贝叶斯模型。虽然埃利泽是不是在采访一个官方身份发言,许多讨论的问题有可能...阅读更多 ”

新文件:“为价值学习者定义人的价值”

发布经过提起申请文件

MIRI副亚博体育官网研究员凯伊Sotala最近在AAAI-16 AI,社会与道德研讨会上提出了新的文件,“定义人的价值为价值学习者”。摘要如下:假设的“价值学”人工智能学人的价值,然后尝试根据这些价值观行事。这种认可的设计,然而,由事实阻碍......阅读更多 ”

2016年2月通讯

发布经过提起申请新闻稿

亚博体育官网研究在IAFF更新新:在逻辑荷兰赌争论的思考;Quantilizers的另一个观点:避免古德哈特定律;另一种简明开放问题一般更新筹款和资助成绩:MIRI将与AI先驱斯图尔特·罗素和可以驯服的问题将要确定的博士后研究员,感谢合作,由该中心$ 75,000名资助...亚博体育官网阅读更多 ”

2016年1月通讯

发布经过提起申请新闻稿

亚博体育官网研究更新的新文件:“证明 - 生产性思考HOL”一个新的分析:安全工程,目标选择,并对齐理论的新的IAFF:我们需要什么价值学习?;严格优势为改性Demski之前;反光概率分布和算术的标准型号;分布的存在是期望反光和知道这事。简明打开...阅读更多 ”

规模MIRI的方法的需求

发布经过提起申请yabo app

安德鲁·玛琳,新增加的MIRI的研究团队之一,采取了MIRI的冬季募捐的机会,写在他的个人博客,为什亚博体育官网么他认为美里的工作很重要。一些摘录:由于团队联合起来,形成生命研究所(FLI)的未来CFAR校友,组织了一个AI安全会议...阅读更多 ”