GPT-5.2 Pro para resolver outro problema aberto de Erdős. Vai ser um ano selvagem para o avanço matemático e científico!