I have looked at Art of Problem solving and if math was his passion I would probably try to swing it. They have some great stuff. But my son is a computer science kid, he does math because he knows he is expected to. He neither likes it nor dislikes it since we arranged for him to be in the right level. (He hated arithmetic and timed basic facts tests with a passion.) But when he has free time he spends it learning scratch and watching The Great Courses course on cybersecurity. The last time he was asked what he wanted to be when he grew up he told them "computer programmer." Last week if I wanted him to do something all I had to do was tie it somehow to nanotechnology and he was all in.
Thank you to both of you.
I think you have the right idea here, to tie in his love of computer programming with other topics in technology you'd like him to be exposed to. You can do the same for math, you can buy him books on Crytography and see what he thinks (there are a few for kids on Amazon). Perhaps that will make him more interested in Math, when he learns how it is related to cybersecurity.
Formal study of computer science later on requires a lot of Math.