It'd be interesting if AI is great at solving problems but struggles to pose them.

This leads to the comment I've seen many mathematicians make that humans should refocus on understanding not just proofs and mechanics.