Even if words like "inifinity" or "incomputable" are not convincing enough

Presumably any realizable version of AIXI, like AIXItl, would have to use a finite amount of computations, so no.

there are things like human-specific biases generated by evolutionary pressures

Right. However some of those could be due to improper weighting of some of the models, or poor priors, etc. I am not sure that the case is as closed as you seem to imply.