2 ms·Marcus Hutter formalized this in his AIXI work.by bnmik2 20d agoMarcus Hutter formalized this in his AIXI work.