¡Otro! Y esta vez es GPT-5 el que encuentra un contraejemplo