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.