Comment by eru
1 hour ago
> Does mathematics still have a practical impact without humans in the loop?
There's a single answer to that question: yes, math very much has an impact without humans in the loop.
Math has a lot of applications, and those applications don't care whether eg the new faster matrix multiplication algorithm was found and proven correct by a machine or a meatbag.
We can't be sure AI will be able to ask the questions of the future. At least right now, AI is not capable of that.