> But that is precisely what human mathematicians do, prove new theorems by combining ones proven earlier.

I’d say “understanding and building upon ones proven earlier”