The job of a mathematician just shifts from proving to inventing new theories and finding new conjectures with the help of AI, which should be even more fun.
> proving to inventing new theories and finding new conjectures with the help of AI
This is exactly the activity Tao and others worry will be hollowed out by instant "true/false" responses to novel questions.
> proving to inventing new theories and finding new conjectures with the help of AI
This is exactly the activity Tao and others worry will be hollowed out by instant "true/false" responses to novel questions.