>> denying the legitimacy of computer-generated proofs protects their livelihood/careers. > While this might be an issue, the bigger problem is that there are

>> denying the legitimacy of computer-generated proofs protects their livelihood/careers. > While this might be an issue, the bigger problem is that there are no interesting new theorems that were obtained in this way yet. I think the issue is that there is a need for computer verified proofs, not necessarily computer generated proofs. It's much easier to create a proof verifier than a proof generator, and verifiers can give us much greater confidence that the proofs are correct (regardless of whether a human or computer generated them).