> Sure, but some proofs are so complex that even experts can't follow them.

If that's the case then I don't see much reason for them to exist in the first place except mental one-upmanship.