Essa prova do chatgpt é realmente interessante e além do que eu achava que poderia ser resolvido com uma única consulta para o gpt pro. Mas fico me perguntando quantos problemas de Erdos seguirão por um teorema de Erdos.