Hacker News Reader

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).

View on HN

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.

I 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.

Reply on news.ycombinator.com