Staring at the Schmidhuber paper for a while now, I don’t think the speed prior helps much here. My understanding is that instead of using the length of a program that produces a string, it uses the length of the program plus the logarithm of the runtime of the output string being computed. But I don’t think this helps much: we will be a bit envious of the aliens who lived 6 billion years after the Big Bang (they have 1 bit advantage over us), but we can still easily outcompete them by building a bigger obelisk. And I think world summoning by writing also works: in the thought experiment, the new world’s program code already encodes full brain-uploads and everything, so people can immediately start living happy lives in the new world; pointing to their experiences doesn’t take much more computation the amount of computation that happened in the outside world leading up to the moment of writing down the new world’s program code.
So I don’t think the speed prior fixes any of the problems described here, and meanwhile it seems to make various unintuitive predictions (at least according to Shmidhuber’s paper, I haven’t thought through if these are fixable), so altogether I’m not very excited about it.
Sure, but normal hypotheses like “I’m a flesh-and-blood human on Earth, a tiny planet 13 billion years after the Big Bang” also take a lot of computation. My current guess is that logarithm of runtime is not that big of a penalty, and the Schmidhuber prior will give you something similar to the Solomonoff-prior. But if I’m wrong about this, and the runtime penalty is stronger than I imagine, that’s even worse news for the Schmidhuber prior because then you need to make up exotic hypotheses about how the world was born yesterday.