> Many humans have studied robots play chess and learned from them.
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.