mathematical proofs have 3 main uses: to give (albeit contingent) certainty, to give understanding, and to serve as a tool / component in reasoning, and imo the traditional model falls down in all three.
it makes sense why we ended up here, historically, but we've learned a lot in the last few decades about how to make formal structures useful and readable by humans and almost none of it has percolated back to mainstream mathematics