夏天美里更新
在我们最近的主要更新中——2017年战略更新和资金筹集活动我们说过，我们目前的重点是技术研究和执行我们有史以来最大的亚博体育官网招聘推动。我们的支持者在年底给予了我们令人难以置信的支持，使我们处于一个极好的位置来执行我们最雄心勃勃的增长计划。
在这篇文章中，我想提供一些关于我们招募工作和成功的最新进展，宣布一些我们已经收到的重大捐赠和奖助金，并提供一些其他的更新。
简而言之，我们的主要公告如下:
- 我们有两个新的全职研究人员亚博体育官网员工宣布。
- 我们收到了170万美元的主要捐赠和赠款其中100万美元是通过加拿大MIRI支持者的税收优惠基金．
要了解更多细节，请参见下文。
2018年8月通讯
2018年7月简报
新论文:“使用不完全模型进行预测”
MIRI研亚博体育官网究助理Vanessa Kosoy发表了一篇关于归化归纳法问题的论文:使用不完全模型进行预测”。文摘:
我们考虑预测未来观测的无限序列的任务是基于一些过去的观测，其中产生观测的概率测度“怀疑”满足一组不完整模型的一个或多个，即概率测度空间中的凸集。
从某种意义上说，这个设置介于可实现设置和不可实现设置之间，前者的概率度量来自于一些已知的概率度量集合(可以使用贝叶斯推断)，后者的概率度量是完全任意的。
我们证明了一种预测方法，它保证，当真概率测度满足给定可数集中的一个不完全模型时，预测收敛到(适当归一化的)kantorovic - rubinstein度量中的同一个不完全模型。这类似于贝叶斯推理的意见合并，除了坎托罗维奇-鲁宾斯坦度量的收敛弱于总变分的收敛。
Kosoy的工作建立在逻辑电感的基础上，为复杂环境的建模创建了一种更清晰的(纯学习理论的)形式，这表明在“逻辑归纳”中开发的方法对于与逻辑无关的经典序列预测的应用是有用的。
“使用不完全模型进行预测”也表明，“不完全”或“部分”模型的直观概念与奈特不确定性相关，具有优雅而有用的形式化。此外，Kosoy还表明，使用不完整的模型来推广贝叶斯推理，可以让agent对环境做出预测，这些预测可能和agent本身一样复杂，或者比经典贝叶斯推理更复杂。
有关科索伊的更多研究，请参阅“亚博体育官网最优多项式时间估计”和智能代理基金会论坛．
注册以获得最新的MIRI技术结果
每发表一篇新的技术论文，就会得到通知。
2018年6月通讯
2018年5月通讯
对克里斯蒂亚诺公司能力增强计划的挑战
以下是我在3月16日写的一个基本未经编辑的总结，是我对Paul Christiano的AGI对齐方法的看法(在“阿尔巴”和“重复蒸馏和放大”)。在Paul有评论和回复的地方，我把它们包括在下面。
我看到了很多关于保罗的自由变量。我有时试着向保罗提出我的反对意见，然后他以一种局部的方式回答了我的一些问题，但我认为这会让其他问题变得更糟。因此，我的全球反对意见是，“我没有看到任何具体的设置和一致的同时设置整个计划的变量。”这些困难不是次要的或技术性的;在我看来，他们很严厉。我试着在下面详细介绍一下。
在任何时候都应该明白，我并不声称能够超越保罗ITT公司这是我在批评我自己，我可能误解了保罗的观点。
