> Nobody wants to watch robots play chess against each other - we watch human chess even though bots are better

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.