Comment by DavidSJ

A reason to dislike computer-generated proofs:

The point of mathematics is not just to know whether some proposition is true, it's to understand the mathematical objects under study. A beautiful proof sheds light, it explains why.