From ugly but valid AI proofs to elegant ones

A post predicts that once AI models can produce ugly but valid proofs, training them to produce elegant ones will be much easier than training them to make valid proofs in the first place. In a reply, another user predicts AI’s mathematical explanations will surpass human exposition and adapt to each reader’s level and background.