Classical André–Oort conjecture for connected mixed Shimura varieties

Let $Y\subset {\rm Sh}_K^0({\mathbf P},X)$ be a closed irreducible algebraic subvariety of a connected mixed Shimura variety. Classical André–Oort conjecture. If $Y$ contains a Zariski-dense set of CM-points, then $Y$ is a special subvariety of ${\rm Sh}_K({\mathbf P},X)$. The source identifies this as the classical André–Oort component of the generalized statement and notes that it is proved when ${\rm Sh}_K^0({\mathbf P},X)$ is of Abelian type; the unrestricted mixed case remains open.