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
anyway if you're an eccentric billionaire who wants to cover my bills while i work on this problem full time, hmu