Marcus Hutter: AIXI and AGI
lexfridman.com