Seem just false. If you’re not worried about confronting agents of equal size (which is equally a concern for a Solomonoff inductor) then a naive bounded Solomonoff inductor running on a Grahamputer will give you essentially the same result for all practical purposes as a Solomonoff inductor. That’s far more than enough compute to contain our physical universe as a hypothesis. You don’t bother with MCMC on a Grahamputer.
Seem just false. If you’re not worried about confronting agents of equal size (which is equally a concern for a Solomonoff inductor) then a naive bounded Solomonoff inductor running on a Grahamputer will give you essentially the same result for all practical purposes as a Solomonoff inductor. That’s far more than enough compute to contain our physical universe as a hypothesis. You don’t bother with MCMC on a Grahamputer.
If we’re positing a Grahamputer, then “yeah but it’s essentially the same if you’re not worried about agents of equal size” seems too loose.
In other words, with great compute power, comes great compute responsibility.