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.