最近,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。”在参数多态性的一个形式化中减少数学强度”
同时,尼克韦弗参加了研讨会的第一天,并就他对尤多科夫斯基和赫里肖夫的论文进行了指导瓷砖代理纸名为“理性代理和验证自身健全的正式系统的悖论金宝博官方本雅·法伦斯坦对韦弗的“自然信任”观点的评论如下:人工智能之间的自然信任.