Marcus Hutter - Sequential Decision Theory in AIXI (via searchlore.ai)