来自执行主任的问候
 朋友,
正如前面宣布在我们的博客上，奇点研究所被重新命名为机器智能研究所(MIRI)亚博体育官网．自然，我们的工作人员和支持者都对我们最初的名字——“奇点研究所”(Singularity Institute)产生了积极的联想。因此,任何新名字在一段时间内会感觉很陌生。然而，在过去的几个星期里，“MIRI”听起来越来越好，我们认为你也会越来越喜欢它。
有些人会担心，“但是‘MIRI’并没有详细地表达你所做的事情!”然而，根据我们的市场调查，这是“一个功能，而不是亚博体育官网一个bug”。亚博体育官网研究人员尤其表示，他们可能会觉得在一个名字听起来太狭隘或“偏袒”的组织工作很尴尬。他们还警告我们，一个组织的活动范围可能会随着时间的推移而改变，所以它的名称应该非常笼统。大学院系和独立研究机构很久以前就吸取了这些教训，因此往往有非常笼统的名称(大学亚博体育官网本身通常以其主要校园所在地命名)。
“MIRI”还有其他不错的特性。它很容易拼写，也很容易发音，它反映了我们把重点转向更多的技术研究。亚博体育官网当然，我们的使命依然不变:“确保比人类更聪明的智能的创造造福社会。”
查看我们的新网站Intelligence.org．网站指南在这里．
我们的电子邮件也变了。一定要更新您的电子邮件联系人列表我们的新电子邮件地址，例如:luke@www.hdjkn.com。我们之前的邮箱地址singinst.org和singularity.org已经不能用了。您可以看到我们所有的新电子邮件地址团队页面。
欢呼,
路加福音Muehlhauser
执行董事
即将到来的MIRI研究研讨会亚博体育官网
 从11月2012年11月18日，我们举行了(我们现在称之为)第一届MIRI逻辑、概率论与反思研讨会．四个车间参与者(以利以谢Yudkowsky，保罗global马塞洛·赫雷肖夫(Marcello Herreschoff)和Mihály Bárász)研究了概率反思推理的基础。特别是，他们表明，一个仔细的形式化的概率逻辑可以绕过许多经典的悖论的自我参照。应用于元数学，这个框架提供了(似乎是)真理的第一个定义，这个定义足够表达，可以用于反思推理。该框架应用于集合理论，提供了一种基于不受限制理解的概率集合理论的实现，它仍然强大到足以形式化普通的数学推理(与类似的模糊集合理论相比，它最初是为了这个目的而提出的，但后来被发现与数学归纳法不兼容)。
这些结果表明，可以使用类似的方法来解决Löb定理，但这尚未被探索。这项工作将在今后几个月内完成。
与此同时，MIRI正在准备第二届MIRI逻辑、概率论与反思研讨会将于2013年4月3日至24日举行。有关详细信息，请参见相关博客．
另外，MIRI研究研讨会也暂定于亚博体育官网2013年夏秋两季举行。
冬天募款活动成功!
由于我们的热心支持者，我们实现了我们的目标2012年冬季募款活动．谢谢你！
募捐活动持续了45天，从2012年12月6日到2013年1月20日。
2013年，我们实现了11.5万美元的目标，共筹集了23万美元的运营资金。
给MIRI研究人员的课程建议亚博体育官网
 情报研究所副主任路易·赫尔姆准备了一份名单为MIRI研究者推荐课程亚博体育官网，它回答了一个问题:“如果研究人员想要解决MIRI研究议程上的技术问题，他们应该研究什么亚博体育官网?”这个新页面提供了一个学习科目的列表，以及教科书推荐、在线课程推荐和特定大学(加州大学伯克利分校、斯坦福大学、麻省理工学院和CMU)推荐的课程。
关注伦理的科学家简史
1956年，诺伯特·韦纳(Norbert Weiner)写道:“历史上第一次，几千人的有限群体有可能威胁到对数百万人的绝对毁灭。”今天，人们对科学发现的普遍态度是，科学家自己并不对他们的研究成果如何被使用负责。但这未必是我们应该鼓励的态度。随着技术变得越来越强大，它也变得越来越危险。
为了庆祝那些认真对待其工作的潜在社会后果的科学家，也为了让其他人更容易写关于科学家的社会责任，MIRI研究员Kaj Sotala发表了这篇论文亚博体育官网关注伦理的科学家简史．点击此处了解:
- 约翰纳皮尔(1550-1617)，他发现了一种致命的新型火炮，但为了避免使用它的破坏力，他对其细节保密。
- 刘易斯炒理查森(1881-1953)，他拒绝了为英国军队优化毒气传播的邀请，毁掉了自己未发表的研究，离开了气象学，转而开始研究战争的原因，希望减少武装冲突。亚博体育官网
- 利奥西拉德(1898-1964)，他发现了核连锁反应，但对他的专利细节进行了保密，使其不能被德国用来开发原子弹。后来，他发起了反对核扩散的运动。
- 约瑟夫Rotblat(1908-2005)，他因为原子弹的伦理问题离开了曼哈顿计划，并发起了反对核扩散的运动。
和许多其他人。
MetaMed发射
 前MIRI总裁迈克尔·瓦萨(Michael Vassar)的新的个性化医药公司终于成立了:看哪MetaMed！MetaMed提供个性化的医学研究，为那些想要确保他们的治疗得到最新医学亚博体育官网突破的患者。以利以谢Yudkowsky介绍了该公司为:
在一个85%的医生都无法解决的世界里简单的贝叶斯应用题.．.
世界上只有20.9%的报告结果是制药公司为了发展目的而进行的调查，完全复制.．.
在一个"假定值”任何作者希望他们成为的样子.．.
……哪里有各种各样令人惊叹的技术和技巧你们医院没人听说过…
也有…MetaMed．MetaMed将为你提供真正的循证医疗服务，而不是仅仅在医生们实际上并不阅读的期刊上刊登“循证医学”。如果你有足够严重的问题，并且能够负担得起他们的服务，MetaMed会(a)让阅读相关研究文献的人了解真实的统计数据，能够判断论文是否可信;亚博体育官网然后(b)把你介绍给他们网络中的合作医生，他可以实施他们找到的治疗方法。
MetaMed部分案例的启发,一个女人,她有她的指尖砍掉,告诉医院,她完蛋了,然后自己阅读大量的文献,直到她找到一个工作在一个先进的再生疗法,让她把指尖长回来．MetaMed背后的想法不仅是他们将查阅文献，以找出实验支持的最佳治疗方法与一般智慧的不同之处，而且他们还将寻找这种大多数医院都没有听说过的最新技术。
迈克尔·阿尼西莫夫的欣赏
 因为奇点大学收购的奇点峰会迈克尔·阿尼西莫夫于2013年1月离开了MIRI。迈克尔继续支持我们的任务，继续为我们做志愿者。
在MIRI的重叠时间里，我很高兴能和Michael一起工作。Michael在我进入MIRI的过程中发挥了重要作用，帮助我了解了MIRI社区的历史和文化，他在奇点峰会和我们在2012年努力将MIRI转变为一个更有效的组织方面工作非常努力。
我欠迈克尔感谢他许多年的服务来米里,特别是帮助建立奇点峰会的收购,并申请自己(自己的协议),他认为需要做的任务例如，当他看到我们的业务存在缺口时，他接手了MIRI的公共通信业务。
迈克尔:非常感谢您对MIRI的服务!我很喜欢和你一起工作，祝你未来的冒险旅途好运。
路加福音Muehlhauser
|
朋友,
如果你想让未来的人工智能在现实世界中合作
我们没有提到每一篇新的文章