It's true that mathematicians more often deal with proof sketches rather than base formal proofs, but that's just for brevity purposes. I don't think any profes

It's true that mathematicians more often deal with proof sketches rather than base formal proofs, but that's just for brevity purposes. I don't think any professional mathematician would argue that their main goal isn't to produce proofs (or things that could be proved, i.e. hypotheses).