Marcus Hutter - Introducing AIXI: A Mathematical Framework for AGI (via searchlore.ai)