> In math, the journey is often more important than the destination. The process of developing a proof may uncover new mathematical techniques, some of which may have practical applications in other fields.

Sure. And AIs can use ideas from AI published proofs in one domain to inspire other domains just fine. Nothing changes here.