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.

I think you've got it backwards: LessWrong was saying these author's words. Hutter has been publishing about this topic for almost 25 years.