“If we construct our algorithm for truth, then we can make a computer program that finds truth—an Artificial Intelligence.” (lesswrong.com, An Intuitive Explanation of Solomonoff Induction - LessWrong)