See Yafaev and Klingler (arxiv 2012)
Maybe Martin is working on this??
nLab page on Andre-Oort conjecture