That is totally cool!! Also great that you're supporting him.
Since you're on this board, I assume you know about this stuff already, but maybe he would enjoy AoPS or (our local option) IMACS or EPGY? Our DD isn't anywhere near as advanced as your DS, but it still is hard for me to keep up and without some kind of program I would have a really hard time keeping ahead of her enough to teach her anything. Probably you don't have that issue

but it might be useful to look into.
I hope he continues to enjoy it.