You get this in mathematics too. The four colour theorem for example has an "ugly" brute forced machine checked proof that's impractical for humans to check. E

You get this in mathematics too. The four colour theorem for example has an "ugly" brute forced machine checked proof that's impractical for humans to check. Elegance and simplicity should be sought after, and ugly proofs can be an indication that you're missing the right abstraction but I don't see why all true statements should have an elegant proof.