Chess will never be solved, here's why

Sort:
Avatar of MARattigan

As for habitually leaving out bits of your text to make it appear you've said something completely different, there's probably a phrase for that too.

Avatar of Elroch
MARattigan wrote:

As for habitually leaving out bits of your text to make it appear you've said something completely different, there's probably a phrase for that too.

Misrepresentation.

Avatar of MARattigan

Not the one I was thinking of, but it'll do.

Avatar of tygxc

@6106

"There are multiple tablebases and multiple correct moves for each" ++ Yes, and yes, sometimes

"true for a particular tablebase but not necessarily for different tablebases"
++ You do not understand table bases.
The game states and the correct moves are the same in all table bases.

"SF15 is rated higher than SF14."
++ That may well be, but on my desktop with less time the engine move coincides with the/a table base correct move and on your computer it does not, so you have a problem.

"Your calculations take the results of multiple games to determine error rates."
++ Yes: 1469 ICCF WC games and 1000 AlphaZero games.

"Some of mine had mistakes" ++ So you have a problem with your Stockfish configuration.

"preferably first just get on with posting your calculations based on the games I've already run."
++ Preferably get on with relevant positions like the 2 I posted.

Avatar of DeconanLeBarbaresque

Kasparov once said "computer will never beat top chess human players"...

 

Avatar of tygxc

@6114
Yes, Kasparov said: "Never shall I be beaten by a machine!" in an interview in 1989.
https://www.chesshistory.com/winter/extra/computers.html 
"Chess will never be solved" falls into the same category:
people not wanting something to happen and therefore stating it cannot be done.

Avatar of MARattigan
tygxc wrote:

@6106

"There are multiple tablebases and multiple correct moves for each" ++ Yes, and yes, sometimes

"true for a particular tablebase but not necessarily for different tablebases"
++ You do not understand table bases.
The game states and the correct moves are the same in all table bases.

Not under competition rules.

Here's Nalimov and Syzygy in the KNNKP position I posted after Black's first move, but with ply count set to 0.


Nalimov shows 12 winning moves.


Syzygy shows 1 winning move.

Here's a related ply count 0 position.


Nalimov shows a win.


Syzygy shows a draw.

"SF15 is rated higher than SF14."
++ That may well be, but on my desktop with less time the engine move coincides with the/a table base correct move and on your computer it does not, so you have a problem.

No. You still have a comprehension problem.

SF's error rates don't necessarily improve with more think time. They can deteriorate.

Get off your arse and generate your own set of games with the same think times if you don't believe me.

"Your calculations take the results of multiple games to determine error rates."
++ Yes: 1469 ICCF WC games and 1000 AlphaZero games.

Conveniently chosen so that you can't tell how many mistakes were made nor how the think times compare with SF at different think times, not even the same ruleset and mostly terminated by agreement or the TCEC draw rule.

"Some of mine had mistakes" ++ So you have a problem with your Stockfish configuration.

No I don't. I have a problem with the mental capacity of the person I'm talking to.

"preferably first just get on with posting your calculations based on the games I've already run."
++ Preferably get on with relevant positions like the 2 I posted.

Then generate a complete set of games. I've spent enough time on it. You're the one who claims your calculation works. Try doing something to test it.

The positions you posted are neither more nor less relevant to verifying the correctness of your method than the ones I already posted.

You only need one counter-example to show it doesn't work. I've generated four sets of games for you here. See if you can find a counter-example among those. Stop prevaricating - post your calculations for those games.

 

Avatar of tygxc

@6116

"Nalimov shows 12 winning moves. Syzygy shows 1 winning move."
++ That does not matter. 1 winning move is enough. A table base does not even have to show winning moves, DTZ or DTM: just the information if the position is a draw or not is enough,
as the rest can be deduced from looking at the legally reachable positions.

"Syzygy shows a draw." ++ No, Syzygy shows a win that exceeds 50 moves without capture or pawn move, that is a win just the same. The 50-moves rule plays no role in weakly solving Chess. Black can achieve the game-theoretic value of the draw without invoking the 50-moves rule.

"SF's error rates don't necessarily improve with more think time. They can deteriorate."
++ I do not believe that. If you believe that, then reduce your time to eliminate your error.

"you can't tell how many mistakes were made" ++ I can tell by statistics.

"how the think times compare with SF at different think times"
++ Derived from the AlphaZero paper

"not even the same ruleset" ++ A more decisive rule set: table base win claims that exceed 50 moves without pawn move or capture are allowed, but such claims do not happen.

"mostly terminated by agreement" ++ Because neither side can win. Likewise none of the decisive games ended in checkmate and none in a 7-men endgame table base win claim,
neither exceeding 50 moves without pawn move or capture or not.

"preferably first just get on with posting your calculations based on the games I've already run."
++ Preferably get on with relevant positions like the 2 I posted.

"Then generate a complete set of games." ++ OK, I will generate some more games.

"The positions you posted are neither more nor less relevant to verifying the correctness of your method than the ones I already posted." ++ My positions are relevant, yours are not.

"You only need one counter-example to show it doesn't work." ++ A relevant one.

"post your calculations for those games." ++ I have shown why they are not relevant and I have shown for 2 that you make an error with your calculation.

Avatar of Elroch
tygxc wrote:

@6116

"Nalimov shows 12 winning moves. Syzygy shows 1 winning move."
++ That does not matter.

It does if you use Nalimov and pick one of the others, but you should have used Syzygy! You said it didn't matter which tablebase you used, right?

Avatar of Elroch
tygxc wrote:

@6114
Yes, Kasparov said: "Never shall I be beaten by a machine!" in an interview in 1989.

Like Sveshnikov, Kasparov is 100% reliable.

Avatar of tygxc

@6118
"you should have used Syzygy"
++ I used Syzygy, but it does not matter.
Syzygy is just more compact than Nalimov, so it fits on a hard disk.
The core information is the same: draw / win / loss.

Avatar of tygxc

@6119

"Like Sveshnikov, Kasparov is 100% reliable."
++ Kasparov was proven wrong and I have proven Sveshnikov right:
Chess can be weakly solved in 5 years.
Chess players are more reliable when they speak of Chess than when they speak of themselves.

Avatar of RemovedUsername333

@tygxc    @Elroch


Avatar of Elroch
tygxc wrote:

I have proven Sveshnikov right

It is great that you have solved chess. wink.png

End of discussion, I suppose.

 

Avatar of MARattigan
tygxc wrote:

@6118
"you should have used Syzygy"
++ I used Syzygy, but it does not matter.
Syzygy is just more compact than Nalimov, so it fits on a hard disk.
The core information is the same: draw / win / loss.

You've already proved you don't understand tablebases. There's no need to labour the point.

(I notice you're still chopping half of the sentences you respond to to distort the meaning.)

Avatar of Optimissed
tygxc wrote:

@6119

"Like Sveshnikov, Kasparov is 100% reliable."
++ Kasparov was proven wrong and I have proven Sveshnikov right:
Chess can be weakly solved in 5 years.
Chess players are more reliable when they speak of Chess than when they speak of themselves.

Speaking of yourself, apparently you don't know what a proof is. You come over, more and more, like an obsessive 11 year old of average ability, with too much self-confidence, who still believes in Father Christmas. 

Avatar of tygxc

@6116

""Then generate a complete set of games.""

++ Here are 4 relevant KRPP vs. KRP draws.

 
 
 

In all of these the top 1 engine move was table base exact.

This sustains:

A table base exact move is among the top 4 moves of a 10^9 positions / s engine running for 17 s with 1 error in 10^20 positions.

This was extrapolated from the 10,000 + 1,000 AlphaZero games.

Avatar of Optimissed
Optimissed wrote:

31,536 million positions in a year @ 1000 per second. Everyone is guessing here. Don't pretend you aren't. I think there's far more work to be done than some people realise. Sorting, comparisons, etc. Assessing one position means assessing millions of positions, or haven't you worked that out? There's interchangeability but that comes at a price: that of comparing or sorting. I don't think you'll get 1000 per second and the three GMs aren't going to be good for much more than 30 per day on average between them. So forget them.

10 ^17 positions is roughly 3 x 10^7 years, or 30 million years. And 10 ^17 is an underestimate, due partly to the work that has to be done seperating your 10^17 relevant positions from the rest.

You're talking complete nonsense. Even only 10 ^17 positions at 1000 per second is rather a lot of years. 

^Still counting.

Avatar of tygxc

@6123
"It is great that you have solved chess"
++ I have not solved chess, I have shown that Chess can be weakly solved in 5 years.
I have shown in two ways that 10^17 positions are relevant to weakly solving Chess.

  1. top down starting from legal, sensible, reachable, relevant positions
  2. bottom up calculating an upper bound, a lower bound and an estimate.

3 cloud engines of 1 billion positions / s each reach 10^17 positions in 5 years.

10^9 positions/s/engine * 3 engines * 3600 s/h * 24 h/d * 365.25 d/a * 5 a = 4.7*10^17

Avatar of Elroch
tygxc wrote:

@6118
"you should have used Syzygy"
++ I used Syzygy, but it does not matter.
Syzygy is just more compact than Nalimov, so it fits on a hard disk.
The core information is the same: draw / win / loss.

Likewise, if you used Syzygy, you don't get results for a ruleset incompatible with it.

To be specific, a position can be a Nalimov win and a Syzygy draw (where the 50 move rule prevents a win).