Arithmetic Zilber–Pink conjecture for optimal points

Let $S$ be a Shimura variety and let $V$ be an irreducible subvariety of $S$. An optimal point is an optimal subvariety of $V$ of dimension zero, and write $\operatorname{Opt}_0(V)$ for the set of optimal points. Arithmetic Zilber–Pink conjecture. The set $\operatorname{Opt}_0(V)$ is finite. This pointwise formulation is stated to be equivalent to the Zilber–Pink conjecture when quantified over all Shimura varieties; despite substantial results for special classes, the general conjecture remains open.