5 ms·
For the moment, AI is not capable of advancing mathematics _in the sense_ you're describing. AI is very bad at designing stuff, asking questions, etc. Maybe in
by robotpepi 23d ago
For the moment, AI is not capable of advancing mathematics _in the sense_ you're describing. AI is very bad at designing stuff, asking questions, etc. Maybe in the future you'll be able to ask the AI "cure cancer" and it'll do it, but for now we're very far away from that (this doesn't mean the current achievements aren't impressive).
- charcircuit 23d agoThis is why we may see the role of people wanting to advance mathematics instead of trying to do proofs themselves to push the frontier instead focus on improving these models to be capable of advancing mathematics.
- robotpepi 23d agoI don't think the essay was proposing that mathematicians should continue to focus on proving everything by themselves forever. It's mostly a critic of how the discussion is focusing too much on that mere "yes/no" answers is the same as makign mathematics advance.