Computable Artificial General Intelligence

The general reinforcement learning agent AIXI may be the only mathematical formalism of artificial general intelligence supported by formal proof. Unfortunately AIXI is incomputable, and its performance is subjective. This paper proposes an alternative formalism of AGI which overcomes both problems. Mathematical proof of its performance is given, along with a simple implementation and experimental results that support these claims.