That just leads to the same question: is there proof its harder to game random batches?
Gameability is distinct to whether there is an advantage to low latency. A random batch auction will be gameable but not so much via speed. Not sure how a math proof would work for that though.