Outro! E desta vez é o GPT-5 a encontrar um contraexemplo