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?