Even if big AI companies agree to a pause, ensuring that nobody tries to sneak ahead could prove tricky.