alt Hacker NewsThis sounds a lot to me like people in the 90's complaining that computers were destroying chess. Thirty years later, chess is more popular than it ever was, and chess players are better than they ever have been. I wouldn't be surprised if there are now more chess books now than there ever have been. Furthermore, it turns out that a lot of chess books written before computers were just wrong about a lot of things. It turns out having an oracle for the "right" answer in chess, even without an explanation, used properly, allows humans to develop broader, more accurate insights.
The argument here sounds similar. The fear, as I understand this statement to be saying, is that by being given the correct answer, in the form of a 100-page Lean proof, humans will be robbed of the chance to from insights about the structure of mathematics itself. I don't see any reason that humans can't continue to develop insights as they try to digest the 100-page Lean proof into something more manageable; but with more certainty and fewer false starts.
Replies
Well, chess is a sport where humans are supposed to compete. But math, programming, science are mostly not, and AI might affect economy, careers, etc.
=> If chess.com was worth billions and Daniel Rensch was threatening everyone to do what he says.
I like this approach.
A but like whenever the first sprinter hits a new world record other runners follow along.
Knowing that something is possible tends to strengthen our ability to work with it.
We will potentially see the same with math.
> I wouldn't be surprised if there are now more chess books now than there ever have been
Well yeah... how would there be fewer??
But the point itself is silly. Few people are putting effort into Maths for the fun of it (and of those that are many derive fun from being the only one who can produce a solution). Chess differs in that it never had any point but the game its self.
But computers have destroyed chess as a "sport". Nobody will sit to watch two chess programs compete, or analyze their tactics. Kinda like how now, anybody can construct a "game" over the weekend or a new song or a slop video. The value of each of these decreases to 0 as the slop overwhelms.
I was apart of the "covid chess cohort" and got really into it for quite a few years. In that time, I also learned about what the chess culture was like pre-engine and post-engine, and I think you could argue that post-engine did kind of make the game more mechanical - and that kinda ruined things for people that grew up in the pre-engine era. it felt like pre-engine chess had a lot of mystique to it because knowing the best move was never truly clear. the only way to know what was best, was by: getting better yourself, socializing at chess club, learning from better players or coach.
this sort of lack of clarity is what drove people to learn more about the game.
like think about what it must've been like to go to a chess tournaments pre-engines: finals matches had everyone at your chess club watching the game, calculating lines with each other, and you HAD to calculate to understand the direction of game. it sounds so much more engaging and fun!
now, the top games have the stockfish bar next to it, and you instantly know who's got better odds without having to really follow along. and you're not encouraged to calculate beyond a few moves ahead because you just offload the real thinking to stockfish. honestly, it's a vibe a killer when you go back and see images and read about the culture beforehand.
I agree engines didn't really "kill" chess - and I think most of that is due to chess not being tied to economic value. but it did kill what I believe was a superior culture compared to today's chess era.
all this to say, I think what AI did to chess culture in the 90s is happening to stem right now with LLMs