Morrison–Kawamata finiteness conjecture for minimal models

Let $F$ be a simply-connected Calabi–Yau manifold. A minimal model of $F$ is a minimal model in its birational class. Morrison–Kawamata finiteness conjecture. There are finitely many minimal models of $F$ up to isomorphism. This conjecture concerns the birational geometry of Calabi–Yau manifolds and would imply that, despite potentially infinite sequences of flops, only finitely many resulting minimal models occur up to isomorphism. Its resolution is not established in the supplied context.