This is overlooked but really important. Nobody wants to watch robots play chess against each other - we watch human chess even though bots are better. Nobody needs math that has not been verified by humans. Human understanding and communication is the important part of mathematics.
Many humans have studied robots play chess and learned from them. For example the concept of a "thorn pawn" was popularized after Leela played it with great success.
> Nobody needs math that has not been verified by humans.
There already are proofs that are understood by a handful of humans; without understanding you can still proof corollaries. For example, there are proofs to theorems that are conditional on the Riemann Hypothesis.
Yes, robot chess is very useful for chess players. It's a great technology.
People don't want to watch robot chess. They want to watch humans, even those who used AI to train. The human part of chess is what matters.
> There already are proofs that are understood by a handful of humans
Yes, exactly.
I do and I have for a number of years.
Most people prefer to watch human chess but there are also those who watch computer chess with the same level of enthusiasm: