I'm wondering how we are going to maintain a critical mass of people who understand frontier mathematics if in another five or ten years the only "mathematicians" truly working at the frontier anymore are AIs. Or maybe "understanding" at depth will become a thing of the past, superseded by broad-strokes grasp of results plus machine verification.