From what I understand right now, Solomonoff Induction is a brute force style expansion on Bayes’ Theorem that overcomes the problem of having to have correct priors while still providing correct probabilities of all possible explanatory hypotheses.