which courses to take in pre college summer at CMU

would have completed AP Cal AB and AP CS A + Honors in Artificial Intelligence. Should I go for Cal 2 or Cal 1 assuming I receive a 5 in Cal AB? Will there be proof in Cal 1 and Cal 2? 2nd summer course in CS… what is the advice? I am not a big time programmer but I am taking AP CS A now with relative ease. I plan to major in Mathematical Science in college with electives full in CS and Stats courses. Thanks