So before making a claim, see if AI can produce a counterexample that makes sense