AIXI

Is a theoritical mathematical formalism for artificial general intelligence. AIXI was first proposed by Marcus Hutter.