He could do AOPS introduction to number theory and introduction to counting and probability next year then do the other stuff at high school.