Chess will never be solved, here's why

Sort:
tygxc

@4600
"There is no fundamental difference between solving chess and solving a chess problem."
++ That is right, solving chess is solving 'white to play, black to draw' for the initial position.

"You can convince yourself of the solution of a chess problem"
++ Yes, by looking at all relevant lines.

"you may be right (if you are fortunate)" ++ It has nothing to do with fortune

"you have not solved it rigorously and with certainty until you have dealt with EVERY LEGAL MOVE BY THE OTHER SIDE."
++ This is wrong. You do not have to look at every legal move from the other side only at the reasonable moves. You can rule out some moves by knowledge and logic.

Elroch

Yes, you can rule out some moves by "knowledge". And in some cases you will be wrong to do so. That is the nature of imprecise inductive knowledge.

If the generation of boredom by repetition of falsehoods based on poor understanding was a valid proof method, you would be well on the way to solving chess.

MARattigan
Kotshmot wrote:
tygxc wrote:

@4591
"Poisson distribution doesn't work here" ++ How do you know?

...

Mainly because the moves in ICCF games are generally SF's moves and we can check whether the blunders that are made by SF correspond with a Poisson process in situations where it's possible to identify the blunders thanks to the production of tablebases.

Also agreed draws and resignations represent possible blunders accounting for most of the results in your sample. These do not occur with a constant probability mass throughout the game but always at the end.

You count a full point blunder as two errors (half point blunders) but why should this correspond with the square of the probability of a half point blunder. Also the full point blunders are clearly not independent. After a full point blunder the chances of another full point blunder before the next half point blunder are greater than after (impossible immediately after). 

I invited you to apply your argument to the series of games in this sample where the blunders have been identified, but there was a curious lack of response. There were no agreed draws or resignations (I switched off resignations in Arena who was actually playing both sides) so the above paragraph doesn't apply. The probability of a full point blunder from the starting position is virtually nil. Do the inter-arrival values correspond with a Poisson process? Do the error rates correspond with your calculations? 

You only have to look at some of the examples to see quite clearly that the blunders are not independent. E.g. 

256 seconds per move 

 

Starting with move 26 there is a series of nine consecutive blunders under basic rules.These all stem from the fact that neither white hat SF or black hat SF "realises" that if the pawn is pushed it leaves the black king in the middle of the drawing zone for the new pawn position. This is because each in evaluating it's position goes through the same process as the other.

On the other hand in a KRK position both SF's would play perfectly and the the probability of a blunder on any given move would be completely different from that in the game shown.

tygxc

@4603

"Yes, you can rule out some moves by knowledge".
++ That is also what van den Herik wrote: 'Next to brute-force methods it is often beneficial to incorporate knowledge-based methods in game-solving programs.' 5.2 p. 303
https://www.sciencedirect.com/science/article/pii/S0004370201001527

"And in some cases you will be wrong to do so."
++ No, then it is not knowledge. That is why the good assistants need to be (ICCF) (grand)masters. They can simplify and prune, but only if they are certain they are not wrong.

"That is the nature of imprecise inductive knowledge."
++ No, that is the power of precise knowledge and logic.
The 20 first moves have been ranked. The best moves are 1 e4, 1 d4, 1 c4, 1 Nf3.
If the 4 best moves cannot win, then the 16 worse moves cannot win either.
That allows to collapse 20 * 20 = 400 possibilities to 4, e.g. 1 e4 e5, 1 d4 d5, 1 c4 e5, 1 Nf3 d5

1 e4 e5 2 Ba6 can be discarded at once: loses a piece without any compensation.
1 e4 e5 2 Nf3 Nc6 needs to look at 3 Bb5, 3 Bc4, 3 d4, 3 Nc3.
It is again useless to look at 3 Ba6.
It is useless to look at 3 Na3: cannot be better that 3 Nc3.
It is useless to look at 3 b4: loses a pawn without any compensation
It is useless to look at 3 Nxe5: loses a piece without any compensation.
It is useless to look at 3 Ng5 or 3 Nh4: loses a piece without any compensation.
Do not let 'rigour' stand in the way of progress by ignoring knowledge and logic.
Do not confuse 'rigour' and 'stupidity'

 

tygxc

@4604

"the moves in ICCF games are generally SF's moves" ++ No, not at all. You do not know ICCF.

"agreed draws and resignations represent possible blunders"
++ No, ICCF (grand)masters are not forum dwellers.
They resign when lost and agree on a draw when it is a draw. They often play on for months in drawn positions hoping in vain for an error (?) by the opponent.

"accounting for most of the results in your sample." ++ All wins are by resignation, draws are by agreement, by 3-fold repetition, or by claiming a 7-men endgame table base draw.

"These do not occur with a constant probability mass throughout the game but always at the end." ++ 127 of 136 games are error-free. When an error is made in 9 out of 136 games, the side who made the error realises this next move and resigns. That is why the few errors usually are at the end.

"You count a full point blunder as two errors (half point blunders) but why should this correspond with the square of the probability of a half point blunder." ++ That is a reasonable assumption. It does not even matter. ICCF has no blunders (??), only 9 errors (?) in 136 games.

"the full point blunders are clearly not independent."
++ There is only one error (?) per game in ICCF, so independent or not does not matter.

After a full point blunder the chances of another full point blunder before the next half point blunder are greater than after (impossible immediately after).
++ Does not matter for ICCF: only 1 error (?) in 9 out of 136 games.

MARattigan
tygxc wrote:

"That is the nature of imprecise inductive knowledge."

++ No, that is the power of precise knowledge and logic.
The 20 first moves have been ranked. The best moves are 1 e4, 1 d4, 1 c4, 1 Nf3.
If the 4 best moves cannot win, then the 16 worse moves cannot win either.

OK put it another way.

I've just ranked them again; 1. g4 2. Nh3 3. f4 4.b4. How does your precise logic prefer the ranking you gave? Stockfish? Look at the examples I referred to in my previous post.

MARattigan
tygxc wrote:

@4604

"the moves in ICCF games are generally SF's moves" ++ No, not at all. You do not know ICCF.

"agreed draws and resignations represent possible blunders"
++ No, ICCF (grand)masters are not forum dwellers.
They resign when lost and agree on a draw when it is a draw. They often play on for months in drawn positions hoping in vain for an error (?) by the opponent.

"accounting for most of the results in your sample." ++ All wins are by resignation, draws are by agreement, by 3-fold repetition, or by claiming a 7-men endgame table base draw.

"These do not occur with a constant probability mass throughout the game but always at the end." ++ 127 of 136 games are error-free. When an error is made in 9 out of 136 games, the side who made the error realises this next move and resigns. That is why the few errors usually are at the end.

"You count a full point blunder as two errors (half point blunders) but why should this correspond with the square of the probability of a half point blunder." ++ That is a reasonable assumption. It does not even matter. ICCF has no blunders (??), only 9 errors (?) in 136 games.

"the full point blunders are clearly not independent."
++ There is only one error (?) per game in ICCF, so independent or not does not matter.

After a full point blunder the chances of another full point blunder before the next half point blunder are greater than after (impossible immediately after).
++ Does not matter for ICCF: only 1 error (?) in 9 out of 136 games.

Total b*llocks. All of that.

tygxc

@4608
"'I've just ranked them again; 1. g4 2. Nh3 3. f4 4.b4"
++ Now that is 'Total b*llocks'.

I did not give the ranking, but
1) Human knowledge e.g. Capablanca:
'From the outset two moves, 1.e4 or 1.d4, open up lines for the Queen and a Bishop.
Therefore, theoretically one of these two moves must be the best,
as no other first move accomplishes so much.'
2) AlphaZero Figures 5 and 31
https://arxiv.org/abs/2111.09259
The title is chess knowledge, not 'Total b*llocks'

DiogenesDue
tygxc wrote:

@4598
"It means your error distributions that are based on probability are not accurate"
++ It need not be accurate. We know the Gaussian distribution of size of humans is not accurate, and yet it is accurate enough to use it in many practical probems.

Quoting for posterity.

Finally, the tacit admission that what Tygxc proposes is not a solution for chess at all...it's just modelling better play to "pretend" that chess is solved,  Why not just let engines keep improving and call it a day?  They will get to the same unsolved threshold anyway without "guidance".  This is kind of like the hubris of centaur players that consider themselves equal partners with their engines.  They are more like butlers for their engines wink.png.

tygxc

@4611
"what Tygxc proposes is not a solution for chess at all"
++ Yes, it is, but you still do not understand.
The estimation of the number of legal, sensible, reachable, relevant positions 10^17 does not need to be accurate, it can be 10^18 or 10^16.
The number of perfect games in the ICCF WC 127 need not be accurate: it can also be 126.

The weak solution of chess must be accurate:
proof how to draw for black against all reasonable white moves.

MARattigan
btickler wrote:
Optimissed wrote:

...

"I know you have lost all patience with me. I suppose you don't like the combination of accuracy, honesty, scepticism and high intelligence.  

But I used to be able to see through solid objects. I'm not even joking. I probably could do it still. I can make people better by thinking. ...."

I used to be able to do that as well. Still can. I've got five windows in my flat and I can see through all of them. (Mind you, if I don't get round to cleaning them soon my gift could disappear.)

DiogenesDue
Optimissed wrote:

I see you like "hubris". That's one of those pretentious words that trolls use a lot innit?

You never use "innit".  It's really telling that you are colloquializing your dialogue on purpose in an attempt to make me look bad.  Given that being perceived as the most intelligent person alive is your primary goal in life, taking this step shows how angry you are, which in turn shows how accurate my post was.  I will address that in a somewhat kinder way in a moment when I respond to your Typewriter reply.

Kalikokat

If I had a book, a physical book, with every possible game of tic tac toe, I would consider that solving tic tac toe. The number of chess games is finite and if I had a book with every possible game of chess that could be played( it might have 10^100 pages or even 10^1000 pages) I would consider that solving chess.

DiogenesDue
Optimissed wrote:

I really don't rate your ability. If you had more of that elusive stuff, you wouldn't be on a par with btickler. Do you really like being on a par with him? Without doubt the most conceited and stupidest person to be commenting here? One grunt for yes, two for no.

On the other hand, don't think you won any points. I was agreeing with mpaetz and that is all. It was not addressed to you and it did not relate to anything I have been discussing with you.

If you don't know the difference between smalltalk and a logical argument, there isn't any hope for you. Ar least, no more hope than for that complete idiot btickler. He's still plugging away at the crap he talks.

Your "one grunt for yes, two for no" directed at Typewriter represents an escalation that is unwarranted.  He didn't do anything but be on the same side of the argument as everyone else that is opposing you, me in particular.  It's abundantly clear who you are angry with, and why.

Consider doing something different.  Also consider that it's a compliment that I am offering this viewpoint instead of just assuming you are an old dog that cannot learn new tricks.

DiogenesDue
Optimissed wrote:

I very often use "innit" it but a major part of your multiple disorders is that you have always had the observational powers of a paraplegic slug.

I just played this game of chess. It's more entertaining even than you are.

Link a couple of posts where you have typed the word "innit" before today...you have almost a decade of posts to choose from.  I don't much care if you use it offline, here on the forums you do not...as anyone on the various solve chess/chess is a draw threads could attest.

Good game, but your opponent kind of gave it up when they played cxb5 and started playing on the queenside while they were gearing up for a kingside attack, then they did it again with Na5, which was chasing your queen one move too far.  Those two tempi would have come in handy on the kingside.  The loss of the piece doesn't really deserve commentary, the game was already over...

MARattigan
tygxc wrote:

....

The weak solution of chess must be accurate:
proof how to draw for black against all reasonable white moves.

But you don't say how that corresponds with your last definition of weakly solved (or any of your previous ones for that matter).

"Weakly solved means that for the initial position a strategy has been determined to achieve the game-theoretic value against any opposition"

Where do "reasonable" moves come into it?

mpaetz
tygxc wrote:

@4559
"The only 100% certain way to decide what is or is not an error would be to calculate all lines from that point in the game to the finish--either checkmate or a draw."
++ Yes, but not all lines are needed, only the reasonable lines.

"If we possessed such a mechanism, chess would already be solved."
++ No, we possess such a mechanism:
3 cloud engines or 3000 desktops during 5 years under supervision of 3 (ICCF) (grand)masters.

     I just don't believe that we can use GMs, engines, or a combination of the two to definitively decide which moves are unreasonable. Top human players and the best engines have proved themselves capable of making mistakes in evaluation. Deliberately letting imperfect entities eliminate a great number of positions from consideration in the search foe a solution will create reasonable doubt as to the validity of the conclusion.

     If we do not eliminate so many lines from examination the size of the task and the amount of time and resources needed to complete it, will grow.

DiogenesDue
mpaetz wrote:

     I just don't believe that we can use GMs, engines, or a combination of the two to definitively decide which moves are unreasonable. Top human players and the best engines have proved themselves capable of making mistakes in evaluation. Deliberately letting imperfect entities eliminate a great number of positions from consideration in the search foe a solution will create reasonable doubt as to the validity of the conclusion.

     If we do not eliminate so many lines from examination the size of the task and the amount of time and resources needed to complete it, will grow.

But...but...it's entirely reasonable to only check 1 out of every 1,000,000,000,000,000,000,000,000,000 positions... wink.png

MARattigan

And the rest. He's talking about competition rules.

DiogenesDue
MARattigan wrote:

And the rest. He's talking about competition rules.

When someone proposes to make a car engine out of cheese, I don't feel the need to tell them their piston timing is off.