Abstract
Using min-max theory, we show that in any closed Riemannian manifold of dimension at least $3$ and at most $7$, there exist infinitely many smoothly embedded closed minimal hypersurfaces. It proves a conjecture of S.-T. Yau. This paper builds on the methods developed by F. C. Marques and A. Neves.