After presenting some of the recent progress on existence of minimal surfaces, I will talk about my recent work with Calegari and Marques where we introduce a quantity that counts some minimal surfaces in negatively curved manifolds and which is minimized by the hyperbolic metric