4 ms·
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 improvi
by charcircuit 21d ago
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.
- robotpepi 21d 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.