可计算的人工智能
我向任何对通用人工智能 (AGI) 感兴趣的人推荐一个小组。 David Wood 选择了三位小组成员，他们对 AGI 的可能监管有深刻的见解。 丹·法格拉 (Dan Faggella) 是小组成员之一，他一如既往地提供信息和雄辩。 大卫伍德为本次伦敦未来学家会议选择了另外两名小组成员，他们对如何限制通用人工智能有着截然不同的看法。
通用人工智能 (AGI) 是一种代理，它比其他任何代理都需要更少的信息来进行预测。 人们可以争辩说，通用强化学习代理 AIXI 不仅符合定义，而且是唯一符合定义的数学形式。 AIXI 有显着的结果，但不可计算。 它的表现也是主观的。 本文提出了一种克服这两个问题的 AGI 形式。 本文提供了性能的正式证明，以及一个简单的实现。 它还包括支持这一说法的实验结果。
来源和详细信息：
https://arxiv.org/abs/2205.10513v2