Sure, but some proofs are so complex that even experts can't follow them. As AI progresses, this may constitute an increasing fraction of proofs. I meant that AI could work to find the simplest possible proof.
If that's the case then I don't see much reason for them to exist in the first place except mental one-upmanship.