最近,MIRI发布了7份简短的技术报告,解释了我们取得的几项理论进展2013年12月研修班亚博体育官网.其中几个研究结果是建立在我们的研究基础上的7月和11月2013年工作坊,以及Paul Christiano, Benja Fallenstein亚博体育官网等人在工作坊间的研究。
要理解这些技术报告的背景,并讨论它们,请参阅Benja Fallenstein的帖子:来自MIRI 12月研讨会的结果.另请参阅两个的帖子工作坊参与者John Baez介绍了这个工作坊。
这7份技术报告是:
- 哈恩。”概率元数学中的科学归纳法”
- Yudkowsky。”拖延悖论”
- Fallenstein。”声音理论的无限递减序列每一个都证明下一个是一致的”
- 苏亚雷斯。”Fallenstein的怪物”
- 施奈尔,”递归定义的逻辑理论是有定义的”
- Fallenstein。”5和10的问题和瓷砖代理商的形式主义”
- Fallenstein。”在参数多态性的一个形式化中降低数学强度”
同时,尼克韦弗他参加了研讨会的第一天,并向Yudkowsky & Herreshoff 's公司就他的答卷作了一次辅导瓷砖代理纸名为“理性行为的悖论和验证自身合理性的正式制度亚博体育苹果app官方下载Benja Fallenstein对Weaver的“自然主义信任”观点的评论如下:人工智能之间自然的信任.