Before revision: The theoretical and uncomputable AIXI design is a maximally intelligent agent in this paradigm ; however, in .
After revision: The mathematical formalism of AIXI was proposed as a maximally intelligent agent in this paradigm .