S-based Inference II
Now: x from unknown suboptimal process on unknown machine
Postulate still true: resulting S’(x) ə/t if x costs > O(t)
Then dominance: S(x) > cS’(x) for all x
We can still use AS to predict well! According to Hutter’s loss bound:
Back to J. Schmidhuber's Theory of Everything page