You're aware that the AI folks aren't trying to build AIXI, right? I find it hard to believe you'd thrash a theoretical infinite-compute chess model as silly this hard; it's a useful model as a boundary case.