Comment by olalonde

Can't mathematicians still gain novel insights by reverse-engineering AI-generated proofs? Just like chess players learn new concepts by studying what engines play.