btickl.er You really did not elaborate why the analogy falls short in your opinion?
Space/universe is so vast that that there could be other planets with hedgehogs. and they might have originated from earth--just as some believe life on earth came from outside the earth.
Because Magnus does not understand a certain mate in 30 soon after the game finished means almost nothing for several reasons which I already explained [and you are trying to ignore]
The fact that you demand math proof when you know this is not possible and you reject all other evidence tells us something about yourself as the evidence is over whelming.
Rocky64 and Michael Marmorstein
you gave a wonderful analogy to one of the arguments quite a few here are making!
I would add there are billions of galaxies which might have planets with hedgehogs and no one knows if there might be one hedgehog with a higher IQ?
Actually, those analogies are off, and the typical response of people that are just trying to be dweebs in a discussion (or sometimes they heard this argument somewhere else and are too ignorant to realize it's a bad analogy, so they pass it along...see: people that watch the same news channel every day and never get news anywhere else).
Hedgehogs and humans have scientifically proven brain characteristics, and imaginary space hedgehogs would be a different race, not actual hedgehogs. It's embarrassing that to be safe I have to assume that this wasn't purely sarcasm, but that's the world we live in now...a world full of dumb people being fed misinformation that they swallow whole like hamsters stuffing their face with baby carrots, every single day.
The argument that there are discoveries and shortcuts to proving chess is a solved game *is* also a possibility, but whereas we can at least posit the notion that technology will crunch the numbers somehow in the future, we have no breakthrough in solving chess via some method approximating geometric theorems built one top of the other. They all stop right around the point that Magnus Carlsen says "I don't understand the mate in 30, but I'll take the engines word for it". There is zero (nada, zilch) significant progress on this front.
Either way, chess is nowhere near being proven a forced draw. Our best possibilities fall at least 10^30 short.