Solomonoff induction