6 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 2mo 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 2mo 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.