¡Otro! Y esta vez es GPT-5 encontrando un contraejemplo