What does it mean to be a mathematician when AI does the math?