3 ms·
> 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
by piker 9d ago
> 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.
- singularity2001 9d agoinventing 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.