But even in that case it might be very easy to tell the AI run (i.e. a TAS) from human play. The cheater can then of course go out of their way to make TAS inpu

But even in that case it might be very easy to tell the AI run (i.e. a TAS) from human play. The cheater can then of course go out of their way to make TAS inputs resemble human inputs, at which point it's a battle of statistical tools.