Isn't there an analogy here to what's happening in software engineering? People keep saying things like "software engineering is so much more than programming". Couldn't one say that "mathematics is so much more than writing proofs"?
At least for now someone still has to decide what to prove and why. Like why are you trying to prove that thing to begin with? Presumably it's a step along some journey, right? Maybe the journey is where you need to start deriving your satisfaction from, then.
At least for now someone still has to decide what to prove and why. Like why are you trying to prove that thing to begin with? Presumably it's a step along some journey, right? Maybe the journey is where you need to start deriving your satisfaction from, then.