Actualmente, este cerro se llama Cerro Rico de Potosí.