Recent developments of the mixed Andre-Oort conjecture