Towards An Unconditional Proof Of The André-Oort Conjecture And Surrounding Problems