金宝博娱乐研究研讨会
2018年7月20 - 22日加州伯克利分校
第2届人工智能对齐方法研讨会
-
Miri参与者
- Alex Appel.Alex Appel.()
- 丹尼尔Demski丹尼尔Demski()
- 埃文Hubinger埃文Hubinger()
- Linda Linsefors.Linda Linsefors.()
- 亚历克斯门纳亚历克斯门纳()
- 大卫•西蒙斯大卫•西蒙斯()
- 亚历克斯·朱亚历克斯·朱()
本周末研讨会从Miri和UC Berkeley汇集了研究实习生金宝博娱乐人类兼容人工智能中心(CHAI)讨论人工智能安全研究的概念基础和有待解决的问题。金宝博娱乐
2017年11月18日至19日,加州伯克利分校
1ST AI对准方法的第一次研讨会
- Tsvi Benson-TilsenTsvi Benson-Tilsen(美里)
- 保罗global保罗global(OpenAI)
- 安德鲁Critch安德鲁Critch(UC Berkeley)
- 魏戴魏戴(独立)
- 亚伯兰Demski亚伯兰Demski(美里)
- 以致艾圣斯特山姆以致艾圣斯特山姆(美里)
- 斯科特盖拉德坦特斯科特盖拉德坦特(美里)
- 理查德Mallah理查德Mallah(FLI剑桥语义)
- Andreas StuhlmullerAndreas Stuhlmuller(斯坦福大学)
- 杰西卡泰勒杰西卡泰勒(独立)
这个周末的研讨会汇集了对理解和探索MIRI之间的交集感兴趣的研究人员金宝博娱乐代理基础金宝博娱乐研究议程和保罗基斯蒂亚诺的研究金宝博娱乐.
2017年4月1日至2日加州伯克利分校
机器学习和AI安全的第四次研讨会
- 瑞安·凯里瑞安·凯里(美里)
- 劳伦斯陈劳伦斯陈(宾夕法尼亚大学)
- 迈克尔科恩迈克尔科恩(Noodle.ai)
- 莫妮卡·盖茨莫妮卡·盖茨(加州大学伯克利分校)
- 路加福音Grecki路加福音Grecki(店守)
- 丹尼尔Hendrycks丹尼尔Hendrycks()
- 詹娜海人詹娜海人(纽约)
- 乔纳森·克劳斯乔纳森·克劳斯()
- Robert Krzyzanowski.Robert Krzyzanowski.(伊利诺斯州大学)
- Eric LangloisEric Langlois()
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- 霍尔顿李霍尔顿李()
- 长欧阳长欧阳()
- 伊桑·佩雷斯伊桑·佩雷斯(莱斯大学)
- 安东尼•罗斯安东尼•罗斯(Uber,德克萨斯州A&M)
- Anand Srinivasan.Anand Srinivasan.(AlphaSheets麻省理工学院)
- 杰西卡泰勒杰西卡泰勒(美里)
本次研讨会汇集了具有机器学习背景的研究人员,他们致力于研究可以金宝博娱乐在当前机器学习系统和框架中建模的长期人工智能安全问题,例如“金宝博官方人工智能安全的具体问题“ 和 ”高级机器学习系统对齐金宝博官方“。
这个研讨会的部分经费是由一笔赠款人工智能杂志.
2017年3月25日至26日加州伯克利分校
药剂基础和人工智能安全讲习班
- Alexander Appel.Alexander Appel.(内华达大学雷诺分校)
- 迈克尔·丹尼斯迈克尔·丹尼斯(UC Berkeley)
- 以致艾圣斯特山姆以致艾圣斯特山姆(谷歌)
- 马特·弗兰克马特·弗兰克()
- 斯科特盖拉德坦特斯科特盖拉德坦特(美里)
- Juan David Gil.Juan David Gil.(麻省理工学院)
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- Lorch艾丽亚娜一直Lorch艾丽亚娜一直(Thiel Cellow)
- 伊莱Sennesh伊莱Sennesh()
- 哈利巴塔拉特哈利巴塔拉特(谷歌)
- 亚历克斯·朱亚历克斯·朱()
这个为期两天的周末研讨会汇集了对人工智能长期理论安全研究感兴趣的研究人员。金宝博娱乐研讨会涵盖了当前人工智能安全研究议程和项目的背景和内容(重点是MIRI的金宝博娱乐代理基金会技术议程).它是为具有技术背景和以前没有广泛从事金宝博娱乐MIRI工作的研究人员准备的。
2016年12月1 - 3日加州伯克利分校
第三届机器学习和人工智能安全研讨会
- 瑞安·凯里瑞安·凯里(美里)
- 卡梅伦更自由卡梅伦更自由(Gamalon和Borelian)
- 斯科特盖拉德坦特斯科特盖拉德坦特(美里)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- Moshe看起来Moshe看起来(谷歌)
- 杰里米·尼克松杰里米·尼克松(火花)
- Anand Srinivasan.Anand Srinivasan.(alphasheets)
- 杰西卡泰勒杰西卡泰勒(美里)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
这个为期三天的小型研讨会将具有机器学习背景的研究人员聚集在一起,研究可以在当前机器学习系统和框金宝博娱乐架中建模的长期人工智能安全问题,例如“金宝博官方人工智能安全的具体问题“ 和 ”高级机器学习系统对齐金宝博官方“。
包括主题使用共享嵌入的零拍摄学习,两者的区别quantilization和正规化,生成对抗网络和古德哈特定律,以及数学形式保守的概念学习.
2016年11月11日至13日加州伯克利分校
第9届逻辑学、概率论与反思研讨会
- Tsvi Benson-TilsenTsvi Benson-Tilsen(UC Berkeley)
- 瑞安·凯里瑞安·凯里(美里)
- 安德鲁Critch安德鲁Critch(美里)
- 亚伯兰Demski亚伯兰Demski(南加州大学)
- 以致艾圣斯特山姆以致艾圣斯特山姆(UC Berkeley)
- Benya Fallenstein.Benya Fallenstein.(美里)
- 杰克·加拉格尔杰克·加拉格尔()
- 斯科特盖拉德坦特斯科特盖拉德坦特(美里)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- 尼森施奈尔尼森施奈尔(谷歌)
- 杰西卡泰勒杰西卡泰勒(美里)
- 亚历克斯·朱亚历克斯·朱(麻省理工学院)
在这个三天的研讨会上的参与者 - 其中大多数过去研讨会的退伍军人 - 致力于与miri的各种问题致力于代理基金会技术议程.
主题包括丰富的域名安全探索,预测人类和预测HCH之间的差异,决策理论源于其他决策理论的自我修正.
2016年10月研讨会,加州伯克利分校
第二届机器学习和人工智能安全研讨会
- 瑞安·凯里瑞安·凯里(美里)
- 莎拉江诗丹顿莎拉江诗丹顿()
- 斯科特盖拉德坦特斯科特盖拉德坦特(美里)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- 威廉桑德斯威廉桑德斯(谷歌)
- 杰西卡泰勒杰西卡泰勒(美里)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
这个为期三天的小型研讨会将具有机器学习背景的研究人员聚集在一起,研究可以在当前机器学习系统和框金宝博娱乐架中建模的长期人工智能安全问题,例如“金宝博官方人工智能安全的具体问题“ 和 ”高级机器学习系统对齐金宝博官方“。
2016年8月26 - 28日期间,加州伯克利分校
第一次机器学习和人工智能安全研讨会
- 保罗global保罗global(UC Berkeley)
- 丹尼尔Filan丹尼尔Filan(UC Berkeley)
- 卡梅伦更自由卡梅伦更自由(Gamalon和Borelian)
- 迪伦哈菲尔德门尔迪伦哈菲尔德门尔(UC Berkeley)
- 维多利亚Krakovna维多利亚Krakovna(哈佛大学)
- Janos Kramar.Janos Kramar.(加拿大蒙特利尔大学)
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- 伊莲娜Luketina伊莲娜Luketina(加拿大蒙特利尔大学)
- 理查德Mallah理查德Mallah(FLI剑桥语义)
- 杰西卡泰勒杰西卡泰勒(美里)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
为期三天的研讨会汇集了具有机器学习背景的研究人员,他们将研究可以在当前机器学习系统金宝博娱乐和框架中建模的长期人工智能安全问题,例如“金宝博官方人工智能安全的具体问题“ 和 ”高级机器学习系统对齐金宝博官方“。
主题包括学习人类解释和环境的因果模型;基于影响措施的工程成本函数抑制副作用;设计强大的指标,以质量的据称解释计划;并制定古老的法律的正式模型,产生温和优化。
2016年8月12 - 14,加州伯克利分校
第八届逻辑学、概率论与反思研讨会
- Tsvi Benson-TilsenTsvi Benson-Tilsen(UC Berkeley)
- 安德鲁Critch安德鲁Critch(美里)
- 以致艾圣斯特山姆以致艾圣斯特山姆(UC Berkeley)
- Benya Fallenstein.Benya Fallenstein.(美里)
- 斯科特盖拉德坦特斯科特盖拉德坦特(美里)
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- 内特苏亚雷斯内特苏亚雷斯(美里)
- 杰西卡泰勒杰西卡泰勒(美里)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
这次研讨会的参加者——他们都是过去研讨会的老手——研究了与MIRI相关的各种问题代理基金会技术议程,专注于决策理论和正式建设的逻辑反应性。
2016年6月17日加州伯克利分校
CSRBAI智能体模型与多智能体困境研讨会
- 南加州大学创新技术研究所
- 卡尔顿大学
- 人文研究所的未来
- 卡内基梅隆大学
- 哈佛大学
- 牛津大学
- 伦敦大学学院
- 澳大利亚国立大学
- UC Berkeley.
- 但奥斯丁
- 普林斯顿大学
- 哥伦比亚大学
的健壮有益的人工智能系列研讨会包括一系列研讨会,以促进对人工智能健壮性和可靠性相关技术挑战的多种不同方法感兴趣的人们之间的对话和合作。
第四工作坊CSRBAI专注于在其环境中表现良好的设计代理的主题,而不忽略代理人自己的行为对环境的影响或环境中的其他代理商。
2016年6月11 - 12,加州伯克利分校
CSRBAI关于偏好规范的研讨会
- 澳大利亚国立大学
- 伦敦大学学院
- 存在风险研究中心
- 牛津大学
- 人文研究所的未来
- 卡内基梅隆大学
- 瑞士AI实验室IDSIA
- 澳大利亚国立大学
- UC Berkeley.
- 布朗大学
- 蒙特利尔大学
- 南加州大学创新技术研究所
的健壮有益的人工智能系列研讨会包括一系列研讨会,以促进对人工智能健壮性和可靠性相关技术挑战的多种不同方法感兴趣的人们之间的对话和合作。
第三个车间CSRBAI专注于高度有能力的AI系统的偏好规范主题,其中希望代码“做我的意思,而不是我所说的”的多年生问题变得越来越具有挑战性。金宝博官方
2016年6月4日至5日加州伯克利分校
CSRBAI鲁棒性和容错研讨会
- 伦敦大学学院
- 存在风险研究中心
- 谷歌
- 人文研究所的未来
- 卡内基梅隆大学
- 澳大利亚国立大学
- UC Berkeley.
- 瑞士AI实验室IDSIA
- 康奈尔大学
- 南加州大学创新技术研究所
的健壮有益的人工智能系列研讨会包括一系列研讨会,以促进对人工智能健壮性和可靠性相关技术挑战的多种不同方法感兴趣的人们之间的对话和合作。
第二车间CSRBAI专注于AI系统中的稳健性和误差的主题,以及如何确保当AI系统失败时,它们优雅和可检测地失败。金宝博官方
2016年5月28日至29日加州伯克利分校
CSRBAI透明度研讨会
- 俄勒冈州立大学
- 澳大利亚国立大学
- 人文研究所的未来
- 卡内基梅隆大学
- IBM的金宝博娱乐研究
- 蒙特利尔算法学习研究所
- 谷歌研究金宝博娱乐
- 斯坦福大学
- 谷歌
- UC Berkeley.
- 伦敦大学学院
- 哈佛大学
- 生命研究所的未来
的健壮有益的人工智能系列研讨会包括一系列研讨会,以促进对人工智能健壮性和可靠性相关技术挑战的多种不同方法感兴趣的人们之间的对话和合作。
第一个车间CSRBAI专注于AI系统中透明度的主题,以及我们如何在维护能力的同时提高透明度。金宝博官方
2016年4月1日至3日加州伯克利分校
自我参考,类型理论和正式验证
- Mietek贝克Mietek贝克(最少固定)
- Benya Fallenstein.Benya Fallenstein.(美里)
- 杰克·加拉格尔杰克·加拉格尔(Gallabytes)
- 杰森总值杰森总值(麻省理工学院)
- Ramana Kumar.Ramana Kumar.(剑桥)
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- 丹尼尔Selsam丹尼尔Selsam(斯坦福大学)
- 纳撒尼尔·托马斯。纳撒尼尔·托马斯。(斯坦福大学)
参与者致力于类型理论和自动定理证明中的自我参照问题,其目标是研究能够自我建模的系统。金宝博官方
2015年8月28 - 30日加州伯克利分校
第三届逻辑决策理论导论研讨会
- Holger戴尔Holger戴尔(萨尔兰大学)
- Owain埃文斯Owain埃文斯(麻省理工学院)
- Benya Fallenstein.Benya Fallenstein.(美里)
- 本杰明•福克斯本杰明•福克斯(以色列国防军)
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- 乔纳森•李乔纳森•李(剑桥)
- 本辞世本辞世(牛津大学)
- 伊莲娜Luketina伊莲娜Luketina(aalto)
- 大卫·斯坦伯格大卫·斯坦伯格马里兰(U)
- 内特苏亚雷斯内特苏亚雷斯(美里)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
这是一系列介绍性研讨会的第六次,MIRI将具有不同背景的研究人员聚集在一起,讨论了其中一个金宝博娱乐技术议程主题,并开始在该领域的项目和合作。
这次研讨会的主题是决策理论,并在以下帖子中讨论研讨会开始的项目:证明长度和逻辑反贪性重新审视
2015年8月7号到9号,加州伯克利分校
第二届逻辑不确定性介绍性研讨会
- 佩德罗·卡瓦略佩德罗·卡瓦略(上级Tecnico研究所)
- 阿黛尔Dewey-Lopez阿黛尔Dewey-Lopez(种子平台公司)
- Benya Fallenstein.Benya Fallenstein.(美里)
- 约翰福克斯约翰福克斯(牛津大学)
- Robert Krzyzanowski.Robert Krzyzanowski.(UIC)
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- 米歇尔·赖利米歇尔·赖利(图灵公司)
- 内特苏亚雷斯内特苏亚雷斯(美里)
- 纳撒尼尔·托马斯。纳撒尼尔·托马斯。(斯坦福大学)
- 迈克尔威斯迈尔兰迈克尔威斯迈尔兰(丹尼森)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
这是一系列介绍性研讨会中的第五次,MIRI将具有不同背景的研究人员聚集在一起,讨论了其中一个金宝博娱乐技术议程主题,并开始在该领域的项目和合作。
这次研讨会的主题是逻辑的不确定性,并在以下帖子中讨论研讨会开始的项目:无论如何,有什么逻辑的一致性?
2015年6月26 - 28日期间,加州伯克利分校
第一次vinean反思导论研讨会
- 哈斯Bhaskar哈斯Bhaskar(加州大学洛杉矶分校)
- 贾斯汀布罗迪贾斯汀布罗迪(Goucher College)
- 亚伯兰Demski亚伯兰Demski(南加州大学)
- Benya Fallenstein.Benya Fallenstein.(美里)
- 岩石Jelavić岩石Jelavić(爱立信)
- 赛斯Kurtenbach赛斯Kurtenbach(U密苏里州)
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- 肯尼斯·普雷斯特肯尼斯·普雷斯特(文艺复兴时期计算研究所)
- 杰斯里德尔杰斯里德尔(周边研究所)
- 内特苏亚雷斯内特苏亚雷斯(美里)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
2015年6月12 - 14,加州伯克利分校
第二届逻辑决策理论导论研讨会
- Manav BhushanManav Bhushan(牛津大学)
- 保罗·克罗利保罗·克罗利(谷歌)
- Benya Fallenstein.Benya Fallenstein.(美里)
- 普雷斯顿格林普雷斯顿格林(南洋理工大学)
- 杰森总值杰森总值(麻省理工学院)
- 尼克干草尼克干草(UC Berkeley)
- 维多利亚Krakovna维多利亚Krakovna(哈佛大学)
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- Jan LeikeJan Leike(澳大利亚国立大学)
- 内特苏亚雷斯内特苏亚雷斯(美里)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
这是一系列介绍性研讨会的第三个,其中Miri将研究人员汇集在一起,与不同的背景,讨论了其中一个的公开问题金宝博娱乐技术议程主题,并开始在该领域的项目和合作。
这次研讨会的主题是决策理论,并在以下帖子中讨论研讨会开始的项目:有限和无限情况下的不动点定理
2015年5月29日到31日加州伯克利分校
第一次关于逻辑不确定性的介绍性研讨会
- 莎拉江诗丹顿莎拉江诗丹顿(耶鲁)
- Benya Fallenstein.Benya Fallenstein.(美里)
- 雅各布希尔顿雅各布希尔顿(利兹大学)
- Vanessa Kosoy.Vanessa Kosoy.(Metaqube)
- Janos Kramar.Janos Kramar.(独立的)
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- Shivaram LingamneniShivaram Lingamneni(UC Berkeley)
- 奎因Maurmann奎因Maurmann(Quidsi)
- 内特苏亚雷斯内特苏亚雷斯(美里)
- 查理·施泰纳查理·施泰纳(独立的)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
2015年5月4 - 6日加州伯克利分校
第一届逻辑决策理论导论工作坊
- 以致艾圣斯特山姆以致艾圣斯特山姆(推特)
- Benya Fallenstein.Benya Fallenstein.(美里)
- 斯科特盖拉德坦特斯科特盖拉德坦特(加州大学洛杉矶分校)
- 乔治霍茨乔治霍茨(替代)
- 帕特里克LaVictoire帕特里克LaVictoire(美里)
- 埃文·劳埃德埃文·劳埃德(加州大学洛杉矶分校)
- 内特苏亚雷斯内特苏亚雷斯(美里)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
- Sebastien Zany.Sebastien Zany.(独立的)
2014年5月3-11,- 伯克利,加利福尼亚州
第七届逻辑学、概率论和反思研讨会
- mihálybárász.mihálybárász.(谷歌)
- 保罗global保罗global(UC Berkeley)
- Benya Fallenstein.Benya Fallenstein.(布里斯托尔U)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 帕特里克LaVictoire帕特里克LaVictoire(Quixey)
- 内特苏亚雷斯内特苏亚雷斯(谷歌)
- 尼森施奈尔尼森施奈尔(斯坦福大学)
- Qiaochu元Qiaochu元(UC Berkeley)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
在这个研讨会的参与者——他们都是过去研讨会的老手——致力于各种与友好AI相关的问题。这个研讨会的第一份技术报告是可用的这里.
2013年12月14日至20日- 伯克利,加利福尼亚州
第六届逻辑学、概率论和反思研讨会
- Nate Ackerman.Nate Ackerman.(哈佛大学)
- 约翰·贝兹约翰·贝兹(加州大学河滨分校)
- 保罗global保罗global(UC Berkeley)
- Benya Fallenstein.Benya Fallenstein.(布里斯托尔U)
- 卡梅伦更自由卡梅伦更自由(麻省理工学院)
- 杰里米·哈恩杰里米·哈恩(哈佛大学)
- Wojtek MoczydlowskiWojtek Moczydlowski(谷歌)
2013年11月23日至29日——牛津大学,英国
第五届逻辑学、概率论和反思研讨会
- 斯图尔特阿姆斯特朗斯图尔特阿姆斯特朗(牛津大学)
- mihálybárász.mihálybárász.(谷歌)
- Catrin Campbell-MooreCatrin Campbell-Moore(LMU慕尼黑)
- 丹尼尔·杜威丹尼尔·杜威(牛津大学)
- Benya Fallenstein.Benya Fallenstein.(布里斯托尔U)
- 雅各布希尔顿雅各布希尔顿(牛津大学)
- Ramana Kumar.Ramana Kumar.(剑桥)
- Jan LeikeJan Leike(U Freiburg)
- BAS SteuneBrink.BAS SteuneBrink.(Idsia)
- 格雷戈里·惠勒格雷戈里·惠勒(LMU慕尼黑)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
2013年9月7日至13日- 伯克利,加利福尼亚州
第四届逻辑学、概率论和反思研讨会
- 保罗global保罗global(UC Berkeley)
- 魏戴魏戴(独立)
- 加里德雷塞尔加里德雷塞尔(独立)
- 肯尼伊斯瓦伦肯尼伊斯瓦伦(南加州大学)
- 卡梅伦更自由卡梅伦更自由(麻省理工学院)
- 帕特里克LaVictoire帕特里克LaVictoire(Quixey)
- 伊利亚肖斯特伊利亚肖斯特(U南安普顿)
- 弗拉基米尔•Slepnev弗拉基米尔•Slepnev(谷歌)
- 尼森施奈尔尼森施奈尔(斯坦福大学)
- Andreas StuhlmullerAndreas Stuhlmuller(麻省理工学院与斯坦福大学)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
本次研讨会集中讨论了与之相关的各种未决问题规范性决策理论.参与者在LaVictoire等人的基础上对该区域的“适定问题”进行头脑风暴Löbian合作工作,在正规化方面取得了一些进展updateless决策理论,并制定了额外的玩具问题,如最终纽科姆的问题.
这些结果仍在以各种形式被记录下来。
2013年7月8日至14日- 伯克利,加利福尼亚州
第三届逻辑学、概率论和反思研讨会
- 安德鲁Critch安德鲁Critch(博士,UC Berkeley)
- 亚伯兰Demski亚伯兰Demski(南加州大学)
- Benya Fallenstein.Benya Fallenstein.(布里斯托尔U)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 乔纳森•李乔纳森•李(剑桥)
- 将Sawin将Sawin(普林斯顿大学)
- Qiaochu元Qiaochu元(UC Berkeley)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
这次研讨会集中讨论了与Löbian自我修改系统的障碍金宝博官方,以及戴姆斯基早期的工作逻辑事先概率.主要的结果是一个证明,试图创建一个概率分布,执行科学归纳Π1对于这些语句的真实版本,这些语句收敛到概率1,可以创建赋值为true Π的零极限概率2陈述。这个结果仍在写成,但它已被简单地讨论一个博客文章Demski。其他一些进展在进一步的研讨会上得到了发展和描述这里.
2013年4月3-24,- 伯克利,加利福尼亚州
第二届逻辑学、概率论和反思研讨会
- 斯图尔特阿姆斯特朗斯图尔特阿姆斯特朗(牛津大学)
- mihálybárász.mihálybárász.(谷歌)
- 保罗global保罗global(UC Berkeley)
- 安德鲁Critch安德鲁Critch(博士,UC Berkeley)
- 丹尼尔·杜威丹尼尔·杜威(牛津大学)
- Benya Fallenstein.Benya Fallenstein.(布里斯托尔U)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 帕特里克LaVictoire帕特里克LaVictoire(U威斯康辛州)
- 雅各布斯坦特雅各布斯坦特(斯坦福大学)
- 杰西卡泰勒杰西卡泰勒(斯坦福大学)
- Qiaochu元Qiaochu元(UC Berkeley)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
这个为期三周的研讨会同时讨论了多个开放式研究问题。金宝博娱乐首先,参与者发现了一个改进的版本反思原则这是在前面的研讨会中发现的,尽管这个进展仍在记录中。第二,参与者改进了LaVictoire之前的作品,最终写出了“囚犯困境中的强大合作:通过可证明逻辑计划均衡.” Third, participants improved upon Benya Fallenstein’s参数多态性的方法来解决Löbian自我修改系统的障碍金宝博官方.
2012年11月11日至18日- 伯克利,加利福尼亚州
第一届逻辑学、概率论和反思研讨会
- mihálybárász.mihálybárász.(谷歌)
- 保罗global保罗global(UC Berkeley)
- 马塞洛赫列斯果夫倍烧马塞洛赫列斯果夫倍烧(谷歌)
- 以利以谢Yudkowsky以利以谢Yudkowsky(美里)
这个研讨会采取了一条攻击路线Löbian自我修改系统的障碍金宝博官方.这次研讨会的主要结果是塔尔斯基真理的不可定义性(通过不动点定理)中出现了一个非建设性的“漏洞”,这个漏洞后来被写成了“论概率逻辑中真理的可定义性”(见讨论这里,这里,这里).