Marcus Hutter invented AIXI (Hutter 2000), the theoretically optimal AI system. It's not computable though, and the computable version is hilariously inefficien

Marcus Hutter invented AIXI (Hutter 2000), the theoretically optimal AI system. It's not computable though, and the computable version is hilariously inefficient. Yes it uses Solomonoff induction.