The proof of the André-Oort conjecture via o-minimal point counting stands as one of the highlights of model theory's applications to number theory. This proof of the conjecture is however ineffective. The point counting part of the proof has recently been made effective by work of Binyamini. In this talk, I will discuss some of the remaining obstacles to an effective proof and present some new effective results for subvarieties of Y(1)^n.