alt Hacker NewsFor 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).
This 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.