I am guessing you can't ask your child's doc this question.

Meds may need to be tweaked. Hyperfocus is not desireable. ADHD meds can be chosen for specific activities, for example soccer needs less focus than baseball. Different formulations of the same stimulant tend to have different properties. You can vary type, dose, and duration of Rx for the demands of situation, and a good doc should teach you all about this amd much more.

You can be coached how to coach your kid, promoting prosocial, and curbing negative, behaviors.

your kid is smart. His therapist can give him the problem to solve, of balancing solitary learning and social activities.

Cheers!

etc.