Stuart_Armstrong comments on Versions of AIXI can be arbitrarily stupid

[Stuart_Armstrong]

Hopefully such a proof will become possible once I make the updatless intelligence metric rigorous using the formalism of optimal predictors.

Do let me know if you succeed!