Before revision: AIXI is a kind of math where prototypes approximating it are reinforcement learning agents .
After revision: AIXI is a reinforcement learning agent .