I just found AoPS online and I’m really impressed with the content. Given where he is now and his access to AP calc courses in high school, is it best to focus courses like number theory, group theory, olympiad geometry? I do not doubt that there is some great material in the foundational courses, but I think it may be a lot of review.