https://davidbessis.substack.com/p/the-fall-of-the-theorem-e...

This blog post talks in depth about what you're talking about. It may interest you. It even talks about the future where math proofs are just Lean programs, and why that won't necessarily be a good thing.

It's worth a read, even if it's long AF.