"It is not the destination, but the journey that matters"

For now, AI will be another tool in the toolbox of mathematicians. With humans driving the conversation to help understand the world better. If/when AGI is reached maybe we won’t be in the driver seat as much. I don’t think that matters. The goal of math is to achieve greater understanding of the world, regardless if humans are driving or if an AI is.