Mixed André–Oort conjecture

Let $S$ be a connected mixed Shimura variety and let $Y$ be an irreducible subvariety of $S$. Mixed André–Oort conjecture. If the special points of $S$ contained in $Y$ are Zariski dense in $Y$, then $Y$ is a special subvariety of $S$. The source states that the enlarged mixed André–Oort conjecture directly implies this mixed version and describes substantial known cases, including mixed Shimura varieties of abelian type and results conditional on generalized Riemann hypotheses; the general statement remains unresolved in the supplied text.