André–Pink–Mordell–Lang conjecture

Let $T=S\times A$ be the product of a Shimura variety $S$ and an abelian variety $A$, and let $X\varsubsetneq T$ be a weakly special generic closed irreducible subvariety. Fix a sub-Shimura variety $S\subset\mathcal{A}_{g'}$ for some $g'$, let $s\in S(\mathbb{C})$, and let $\Sigma_s$ be the isogeny class of $s$. Fix a subgroup of finite rank $\Gamma\leq A(\mathbb{C})$. André–Pink–Mordell–Lang conjecture. The set

$$(\Sigma_s\times\Gamma)\cap X$$

is not Zariski dense in $X$. This is an isogeny-class analogue of the preceding unlikely-intersection conjectures; the supplied text does not state a resolution.