Notice that the method is essentially pattern-matching, nothing more: it is even simpler than object recognition. As a matter of fact, that is the way any "comp

Notice that the method is essentially pattern-matching, nothing more: it is even simpler than object recognition. As a matter of fact, that is the way any "competent" student works with integration and solving differential equations. I am not trying to underestimate the value of the work but those problems are very much what DNN are trained to solve, are they not? The fact that they are "symbolic" is just an artifice of the problem: they are no more symbolic than a series of colors, if you tell me. That is why they can be automated (mostly) and why "tricks" to solve families of them can be developed.