> But that is precisely what human mathematicians do, prove new theorems by combining ones proven earlier.
This is only a very very small part of what human mathematicians actually do. This is just a lack of imagination and/or self awareness on your part.