Comment by sysguest

well math has always been about "understanding things" -- hence proofs and etc is the main tool in the field

(and why math differentiates between conjectures (maybe true) and theorems)

so that "oh some 3rd party person/machine understood it for me" can feel... a bit icky