In 1981, the Almgren–Pitts min-max theory in geometric measure theory was used to prove the existence of at least one minimal hypersurface of any closed smooth three-dimensional Riemannian manifold. Yau, in 1982, conjectured that infinitely many such immersed hypersurfaces must always exist. Kei Irie, Fernando Codá Marques, and André Neves solved this problem, for manifolds of dimension three through seven, in the generic case. Antoine Song later released a preprint (not yet published) claiming that Yau's conjecture holds without the genericity assumption in the same dimension range.