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.