The Zilber-Pink Conjecture or the Mordell-Lang Conjecture predict that the unlikely intersections, be it for dimension reasons or other geometrical reasons, between a variety and families of special subvarieties can be completely explained by only finitely many special subvarieties. In the past twenty years, Pila and Zannier introduced a new method to prove these types of problems by utilizing tools from o-minimality and functional transcendence.
In this talk, we will give an overview of this method in some simple cases of the Andre-Oort Conjecture. Then, we will discuss our recent work and how it plays a key role in the Pila-Zannier method proof of the full Andre-Oort Conjecture.