AIXI is a mathematical formalism for a hypothetical (super)intelligent agent, developed by Marcus Hutter. The AIXI formalism says roughly to consider all possible computable models of the environment, Bayes-update them on past experiences, and use the resulting updated predictions to model the expected sensory reward of all possible strategies. This is an application of Solomonoff Induction.