最近,MIRI发布了7个简短的技术报告,解释了在我们实验室取得的一些理论进展2013年12月研究研讨会亚博体育官网. 其中一些结果是建立在我们研究所做工作的基础上的七月和十一月2013年研讨会,以及Paul Christiano、Benja Fallenstein等亚博体育官网人的研讨会间研究。
要在上下文中理解这些技术报告并对其进行讨论,请参阅Benja Fallenstein的帖子:MIRI 12月研讨会的结果. 另请参见二帖子研讨会参与者约翰贝兹介绍研讨会。
这7份技术报告是:
- “哈恩”概率元数学中的科学归纳“
- 尤德科夫斯基拖延悖论“
- “费伦斯坦”一个无限递减的声音理论序列,每一个都证明下一个是一致的“
- “翱翔”费伦斯坦的怪物“
- 施蒂农说递归定义的逻辑理论定义良好“
- “费伦斯坦”5-10问题与贴砖剂形式主义“
- “费伦斯坦”一种参数多态性形式化的数学强度递减方法“
也,尼克韦弗参加了研讨会的第一天,并就他对Yudkowsky&Herreshoff's的回复论文提供了指导贴砖剂纸,标题为“理性代理和正式制度的悖论证明了它们自身的合理性亚博体育苹果app官方下载“Benja Fallenstein对Weaver“自然主义信任”理念的评论如下:人工智能中的自然主义信任.