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 AIThis is exactly the activity Tao and others worry will be hollowed out by instant "true/false" responses to novel questions.
inventing new theories is the interesting part.finding new conjectures is the second interesting part"instant "true/false" responses to novel questions."Fair enough. Then we can add ordering and analyzing theorems with the help of AI as a third activity, admittedly the least interesting one.
singularity2001 · · focus · HN ↗
piker · · focus · HN ↗
This is exactly the activity Tao and others worry will be hollowed out by instant "true/false" responses to novel questions.
singularity2001 · · focus · HN ↗
finding new conjectures is the second interesting part
"instant "true/false" responses to novel questions."
Fair enough. Then we can add ordering and analyzing theorems with the help of AI as a third activity, admittedly the least interesting one.