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