People still play chess and go and StarCraft. People do what people want to do. It's not clear whether this will reduce the number of working mathematicians or increase it. There will a lot to learn from the machine proofs that will open up new frontiers as well.
So, it's like the story, "We'll see."
There has been a shocking but not altogether surprising development, and all reactions are valid.
dist-epoch•35m ago
> People still play chess and go and StarCraft
but very few get paid to do that
lf88•13m ago
Chess and StarCraft are games. For many other intellectual activities, part of the satisfaction comes from contributing something meaningful to a collective effort. If a machine can do that orders of magnitude faster, for many people these activities become effectively pointless.
elicash•4m ago
This comment reminds me of the "run for fun" guy in Back to the Future Part III.
sunir•58m ago
So, it's like the story, "We'll see."
There has been a shocking but not altogether surprising development, and all reactions are valid.
dist-epoch•35m ago
but very few get paid to do that
lf88•13m ago
elicash•4m ago
https://www.youtube.com/watch?v=ouCVJIpSmEE
(This isn't to say I disagree with you.)