Many of the most successful recent applications of model theory to number theory have used the Pila-Zannier strategy of o-minimal point counting.
I will outline some of the main obstacles faced when trying to prove effective results using this strategy and discuss progress towards proving some cases of the André-Pink-Zannier conjecture effectively.