Esta prova pelo chatgpt é realmente interessante e além do que eu pensava que poderia ser resolvido por uma única consulta ao gpt pro. Eu me pergunto, no entanto, quantos problemas de Erdos seguirão por um teorema de Erdos.