This 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.
Many people argue computers were bad for chess till this day and there's good arguments for it.
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
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.
As a chess fan, 100% this. We have known for the last ~15 years who the best human chess player is, and that he will lose against stockfish on his phone. But chess survives because of the human characters involved, the rivalries and dramas, watching two people trying to overcome each other under insane pressure, and sometimes coming up with something astonishing. In short - it's a sport.
There is no equivalent in math.
I guess part of the problem is that being against being against anything for economic interests doesn't really rally anyone to your cause; everyone has to make a living doing something productive for society, and professions have come and gone all the time due to technological advances. In fact, when one thinks about it, the people that are losing their professions now were major contributors to others losing their form of income. Often people talk about how they can use technological/programming/IT skills to make some secretary or administrative assistant's job obsolete. So most people just don't feel a lot of sympathy when people complain that AI are going to take those people's jobs.
That's correct. As far as I know nodody builds any kind of science or technology on top of chess, but mathematics is at the base of most science and technology. It would be horrible if we prevented AI from solving mathematics problems, just because mathematicians want to solve them by themselves the "hard way".
=> 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.
>Nobody will sit to watch two chess programs compete, or analyze their tactics.
I know nothing about chess yet I dare say that I'd doubt this. Surely chess enthusiasts would be interested in analyzing how a superior chess program came out victorious, no?
Yes you are right, some people do watch chess engines play. TCEC (Top Chess Engine Championship) [1] streams them. Popular chess YouTubers goes over engine games from time to time too.
[1] https://tcec-chess.com/
That's not proof of interest so much as proof of commerce. It could easily be a money-laundering mechanism.
Mostly nobody cares about professional chess. The number of people who are actually interested in today's game and not the drama are a tiny sliver of that. This is actually great because it means we can train and evaluate both without interference from chess players, possibly even building a stable society.
Here [1] is a video made 3 months ago going over an engine vs an engine made by of one of the big YouTubers, which has 1.4m views. Enough proof?
[1]https://youtu.be/Ov7K4W-zAk0?is=6jVBkQpn8xbaA2Tz
People do: https://tcec-chess.com/
erm actually, chess tournaments rose in popularity and more people watch now than ever