Pink's Zilber–Pink conjecture for abelian varieties

Let $K$ be an algebraically closed field, let $A$ be an abelian variety defined over $K$, and let $V$ be a subvariety of $A$. A subvariety $W$ of $V$ is atypical for $V$ in $A$ if it is an irreducible component of the intersection of $V$ with a special subvariety of codimension at least $\dim V-\dim W+1$; it is maximal if it is not contained in any larger atypical subvariety.

Zilber's atypical-intersection conjecture. The subvariety $V$ contains at most finitely many maximal atypical subvarieties.

This is an unlikely-intersections formulation of the Zilber–Pink conjecture for abelian varieties, and it implies Pink's formulation; the paper uses it as a central conjectural principle. Its status in the stated generality is not specified by the source.