1. The computer is going to struggle to recognize elegance. I’m not sure it’s relevant at this point (but who knows).

2. The statement about proofs is just way wrong. It doesn’t sound like you are familiar enough with them.

This isn’t exactly what you implied, but witness the very short disproof of the Jacobean Conjecture.