Let $X$ be a variety of general type. Assume that $\dim X = 3$. In https://eudml.org/doc/164223 it is proven that $X$ has only finitely many minimal models (i.e., only $\mathbb Q$-factorial terminal singularities and nef canonical bundle) is finite. Is this statement now also known when $\dim X > 3$? More precisely, does $X$ only have finitely many minimal models?