I'm glad I stumbled upon that after I ifnished my University Challenge/Only Connectathon, last night. It was very interesting.
The support teacher in the ASD unit was so patient with the boys and the professor from Cambridge was great and very wise.
DS1 has a real gift for maths. He's not quite 8, yet, but finds most primary school maths concepts fairly straightforward. His weakness is language, too, so we're happy to do extended versions of what the rest of his class does at school, with lots of repetition and different ways around of doing things or asking the same question and we pick up on following his maths interest at home, using real situations to pique his interest in new ideas and giving him the resources to do his human calculator things when he needs to - he almost treats it like a stim!
(And most of the sensible people on the G&T board are very much into enrichment and acknowledge that it's important to have a balance between enrichment and pushing forwards)