Do schools where you are [have to?] allow children to do outside activities that take them regularly out of many lessons? Here that would never be allowed. Maybe I'm misunderstanding, but that's the only way I can make sense of it, as filling DS7's outside school time but leaving him doing near-age-appropriate work in all or even a significant number of school maths lessons would definitely not solve the problem for him. He'd be bored in school lessons, but now would not even have the time to scratch the maths itch outside school. Maybe if he were only in one maths lesson per fortnight, and if that had been the case all through his school career... but that's hard to imagine!