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