Jurgen Schmidhuber equates faster algorithms with high probability, and uses that to create a very fast approximation. But the assumption that faster algorithms are more likely isn’t a given.