If and when most of the heavy lifting in the field of doing proofs will be done by computers, I suspect a new definition of proof will emerge not too far from what you're saying.

Rene Descartes or Isaac Newton would throw a fit if they could see this.