¡Vaya, el tercer problema de Erdos resuelto con GPT 5.2 esta semana!