I don't think deep learning is the starting point, for algebra; I think those who get it relatively quickly typically start from pattern recognition in applying the rules, and then the understanding grows beneath that. If that's the case, this kind of thing is fantastic. I could certainly be wrong, but either of us should start pointing at studies next...