logoalt Hacker News

robotpepitoday at 8:05 AM0 repliesview on HN

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.