机器智能研究所（MIRI）正在接受全日制研究员的应金宝博娱乐用，以开发具有自信能力的定理普通，从那种非常语言实施强类型语言。该研究项目的目标是帮助我们理解可以金宝博娱乐证明具有类似演绎的系统的自治系统......金宝博官方阅读更多 ”
帖子：罗伯格林格
2016年3月通讯
金宝博娱乐研究更新了一份新论文：“定义价值学习者的人类价值观”在IAFF中的新内容：算法分析和部分算法;自然主义逻辑更新;从基于行为和目标定向系统的对话中的说明;金宝博官方玩具型号：AI影响的收敛乐器目标新增功能：全球计算能力是“值学习问题”（PDF）的修订版本......阅读更多 ”
John Horgan采访Eliezer Yudkowsky
科学美国作家约翰霍根最近采访了Miri的高级研究员和联合创始人Eliezer Yudkowsky。金宝博娱乐电子邮件采访涉及广泛的主题，从政治和宗教到存在的风险和贝叶斯的理性模型。虽然Eliezer在面试中没有在官方能力中发表演讲，但讨论了一些问题可能是......阅读更多 ”
新论文：“定义价值学习者的人类价值观”
Miri 金宝博娱乐Research Associatiate Kaj Sotala最近介绍了一份新论文，“定义价值学习者的人类价值观”，Aaai-16 AI，社会和伦理研讨会。摘要读：假设的“价值学习”AIS学习人类价值，然后尝试根据这些价值观行事。然而，这种AIS的设计受到了......阅读更多 ”
2016年2月通讯
金宝博娱乐研究更新IAFF：关于逻辑荷兰书论的思考;定量杂志的另一个看法：避免古老的法律;另一个简明的公开问题一般更新筹款人员和赠款成功：Miri将与Ai Pioneer Stuart Russels和令人信地的博士后研究员合作，归功于该中心的75,000美元的授予......金宝博娱乐阅读更多 ”
2016年1月通讯
金宝博娱乐研究更新了一份新论文：“为HOL验证反射”一个新的分析：安全工程，目标选择，并对准理论新的IAFF：我们需要什么价值学习？严格的德斯基先前的优势;反射概率分布和算术标准模型;存在的分布是反思和知道的分布;简明开放......阅读更多 ”
需要缩放miri的方法
Andrew Chritch是Miri的研究团队的新增一份，已经机会为Miri的冬季筹款人写在他的个金宝博娱乐人博客上，了解为什么他认为Miri的工作很重要。一些摘录：由于一支CFAR校友团队共同组建了生命研究所（FLI）的未来，组织了AI安全会议......阅读更多 ”
新论文：“为HOL验证产生反射”
Miri研金宝博娱乐究同伴Benya Fallenstein和Researy Ramana Kumar在机器反射方面共同撰写了一篇新的论文，“用申请模拟多态性的HOL验证反射。”HOL代表高阶逻辑，在这里参考基于教堂的类型理论的私人助手系列。Kumar和合作者以前在......阅读更多 ”
