"However, if computers do get better than humans at proving theorems, I might be out of a job anyway." Not until computers are coming up with useful axiom-sets

"However, if computers do get better than humans at proving theorems, I might be out of a job anyway." Not until computers are coming up with useful axiom-sets and effective tactics, I suppose.