Abstract math for an average student [HS junior, 3.5 GPA, multivariable calculus completed, <$45k]

By the time he gets to college there will also be AI help to master proofs.