Quantum automated learning with provable and explainable trainability