alt Hacker NewsThis 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.
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.