今天我们发布了一份内特·苏亚雷斯的新技术报告。形式化现实世界模型的两个问题“如果你们想讨论这篇论文，请讨论。在这里．
文摘:
嵌入现实世界中的智能体必须对比自己更大的环境进行推理，并学习如何在该环境中实现目标。我们讨论了试图形式化的两个问题:一个是归纳法，一个代理必须使用感知数据来推断一个嵌入(并计算)代理的宇宙;另一个是交互，一个代理必须学会实现宇宙中的复杂目标。我们回顾了Solomonoff和Hutter提出的相关问题，并探讨了在agent嵌入环境的情况下，试图将类似问题正式化时所面临的挑战。
这是描述和激励的六份新的主要报告中的第五份MIRI目前的研究议程亚博体育官网在高水平上。
