Comment by knzhou

These programs exist, but are generally separated from the ordinary high school system. For example, right here in the Bay area there's Proof School, a private school founded precisely "for kids who love math", AoPS Academy, for extracurricular challenging math classes, and powerhouse public schools like Lynbrook, where gigantic student-run clubs aimed at competitions provide exactly this kind of education.