The job of a mathematician is to study mathematics, not to create proofs.

An automatic proof solver doesn't make mathematicians obsolete any more than the excel sheet made accountants obsolete.

Conjectures and proofs are the fruit of the understanding. Nobody gets paid to think without producing anything.