Chess will never be solved, here's why

Sort:
MARattigan
tygxc wrote:

#2856

"I ran this White win on my desktop for 2048 seconds a move and (surprise!) I got a draw."
++ This is irrelevant. Whenever a position with 7 men or less is reached, is is looked up in the 7-men endgame table base.

It's relevant because we don't have 14 man tablebases. Exactly the same would apply if we did. The only difference would be you wouldn't be able to hide behind the impossibility of checking your assertions.

The engine cannot find the checkmate unless you give it enough time.

From what I said concerning the reliability of its evaluations as a function of time, it's quite likely that "enough time" would mean enough time to completely search the game tree from that position to the shortest mate. A lot longer than 17 seconds. A lot longer than 5 years. 

So the engine is happy with its +5 advantage and even happier when it can win the pawn getting +6. The evaluation function cannot handle the knight pair. You come up will all kinds of irrelevant positions that do not happen. I checked two KRPP vs. KRP and the engine plays table base perfectly.

Positions that are not in the KRPP vs. KR endgame may not happen at your local chess club, but they will happen in your computation if the starting position is a draw, when it would be necessary, for a proof, to exclude all potential wins. What occurs in practical play is not relevant.

In any case the KNNKP endgame does occur in practical play.

KNNKP endgames almost never occurred before Troitzky published his analysis of the White wins. Nobody understood them so they avoided them.

This is not the case any more. a few years ago the endgame was in progress at the same time at two adjacent tables in a major  US tournament.

SF14 does play certain endgames perfectly. It probably plays KRK not only perfectly but perfectly accurately, but I think you would need to try more than two positions to be at all confident about KRPPKRP. It plays just about all KNNKP ply 0 positions perfectly accurately so long as the mate depth doesn't exceed about 20.

"You may say that a similar degradation doesn't apply to the human element of the ICCF matches." ++ No, of course not. In ICCF they can claim the table base win, even if it exceeds 50 moves.

There are three pieces additional to the kings in von der Lasa's position, eleven in your purported draw. More of the additional pieces would need to be eliminated from the latter than even exist in the former before either player could claim a tablebase anything.

You say "of course not". That's laughable. Just look at the von der Lasa position and your ICCF "draw".

Such table base win claims do not happen however. Table base draw claims however are common.

Draws are common in SF14 v SF14 whenever it's out of its depth. The games I referred to are a case in point.

The same is true of humans. The KQKRR endgame has always been regarded as drawn unless there is an obvious short mate, but the Nalimov tablebase says 98% of positions are wins under basic rules and Syzygy says 73% of ply 0 positions are wins under competition rules.

Müller & Lamprecht evaluate it as generally drawn subject to some constraints, based on the results in the occurrences in a 1.7 million game database of recorded games. So in practical play it is a draw.

I suggest the reason you have so few tablebase win claims is that practical players, human or machine, are usually out of their depth in terms of perfect play in the most closely matched positions with more than 5 men on the board.

Of course SF14 is not at all out of its depth when it comes to practical play, But practical play has nothing to do with solving chess. We don't have the slightest idea how practical play at the present best levels compares with perfect play (and won't have while a solution is not available).

"So you're saying that a combination of humans (...) and engines (...) can prove in 5 days that this position is drawn." ++ Yes, of course, that is what they did.

They proved sweet FA.

 "Is it a draw at a best current level of play - yes. But would it be a draw with perfect play?"
++ Yes, with perfect play from both sides it surely is a draw.

You never produced your perfect White win under basic rules against Syzygy from the position I posted here viz:

White to play

 

It has half the number of men on the board than there are in the position you're so confidently claiming drawn.

Until you can start meeting some of the challenges that have been raised there is no reason to take your bald statements of "fact" seriously.

 

playerafar


@Elroch made another good point there - with this argument:
" If they assume queening, they may get to the position expecting a draw and then lose."
He explained it carefully. 
Its one of many refutations of the '5 years' arguments. 
One could argue endlessly over the semantics of 'refutation' though.
As to what @tygxc can/will do about that ... I guess there'll just be more sidestepping.

Elroch
Optimissed wrote:
Elroch wrote:

[snip]

There is an important point which is that underpromotion to a bishop can only be optimal while promotion to a queen is not in a WINNING position.

[snip]

Depends how we interpret "optimal". From a winning position, underpromotion to a knight might make a checkmate either quicker or easier, while not affecting the ultimate result. But it's a minor point.

I think my sentence was a bit obscure. We are not in disagreement. The point is that underpromotion to a bishop or rook can never be essential (and can never be the only good move) in a drawing position because the only thing that can "go wrong" is to stalemate the opponent, and that can never be disadvantageous if the position is a draw.  Under promotion to a knight can be the only good move in a winning or a drawing position.

playerafar

Obviously - Elroch's point about the underpromotions is not and was not a question.
So the accusation is unfounded.

tygxc

#2867
"underpromotion to a bishop or rook can never be essential (and can never be the only good move) in a drawing position because the only thing that can "go wrong" is to stalemate the opponent, and that can never be disadvantageous if the position is a draw.  Under promotion to a knight can be the only good move in a winning or a drawing position."
++ Yes, good point.
Underpromotion to a knight happens once in a while,
but usually to a knight previously captured and never in multiples.

tygxc

#2863

"It's relevant because we don't have 14 man tablebases. Exactly the same would apply if we did. The only difference would be you wouldn't be able to hide behind the impossibility of checking your assertions."
++ It is very well possible to check my assertions. Take a 7-men KRPP vs. KRP and run your desktop for 17000 s/move and you can check the engine against the table base.

"Positions that are not in the KRPP vs. KRP endgame may not happen at your local chess club, but they will happen in your computation if the starting position is a draw, when it would be necessary, for a proof, to exclude all potential wins."
++ I did not say only KRPP vs. KRP occurs, I said it 1) occurs most frequently and 2) is most relevant. That is not the local chess club, it is grandmaster practice and ICCF play and TCEC play.
The reason why it occurs most frequently is that unlike other pieces the defending player benefits from avoiding a rook trade. Rooks can move or capture to 14 squares  wherever they stand. Other pieces are more powerful in the center and thus cannot avoid a trade.
The reason why it is most relevant is that other 7-men balanced positions are either more decisive, like KPPP vs. KPP, KNPP vs. KNP, KBPP vs. KNP, KNPP vs. KBP, KBPP vs. KBP with same color bishops, or less decisive like KBPP vs. KBP with opposite colored bishops.

"In any case the KNNKP endgame does occur in practical play." ++ Yes, but it is 5 men only and thus has been looked up in the 7-men endgame table base long before it occurs.

"you would need to try more than two positions to be at all confident about KRPPKRP."
++ "No number of experiments can prove me right, one can prove me wrong" - Einstein
If I try 20, or 200, or 2000 positions you will still not believe me.
Try to find a counterexample yourself. You will fail to find one.

"It plays just about all KNNKP ply 0 positions perfectly accurately so long as the mate depth doesn't exceed about 20."
++ Yes, that is right. The evaluation function fails for KNN vs. KP. So the engine plays perfectly only if its search depth exceeds the depth to mate. The engine plays positions with mate in 60 perfectly if only you give it enough time to reach depth 120 ply.

"eleven in your purported draw" ++ It is not my draw, it is the draw between two ICCF grandmasters with their multicore engines.

"More of the additional pieces would need to be eliminated from the latter than even exist in the former before either player could claim a tablebase anything."
++ The two ICCF grandmasters had no doubt that if they had continued play in their position for more months, they would ultimately reach a 7-men table base draw or a 3-fold repetition. 

"The KQKRR endgame has always been regarded as drawn unless there is an obvious short mate, but the Nalimov tablebase says 98% of positions are wins under basic rules and Syzygy says 73% of ply 0 positions are wins under competition rules."
++ That is 5 men only, so it will have been looked up in the 7-men endgame table base before it occurs. Do you claim the engine plays KQ vs. KRR badly?

"So in practical play it is a draw."
++ That is practical play between humans, tired and short of time. Nepo lost a table base draw to Carlsen in the world championship match when he was tired and short of time.

"the reason you have so few tablebase win claims is that practical players, human or machine, are usually out of their depth in terms of perfect play in the most closely matched positions with more than 5 men on the board."
++ I do not understand this argument.
5 men do not happen in ICCF: they claim when they reach 7 men.
7-men tablebase draw claims happen frequently. 7-men tablebase win claims do not happen. The reason why 7-men tablebase win claims do not happen is that the defending side steers clear of such pitfalls and heads towards a safe haven.

"We don't have the slightest idea how practical play at the present best levels compares with perfect play" ++ Oh yes, we do. 99% of ICCF WC drawn games are ideal games with optimal moves, so these ICCF WC draws show what perfect play looks like.

I already gave 2 examples of such perfect games. Here is a 3rd example: it ends in a perpetual check, i.e. a draw by forced 3-fold repetition of the position.

Here is a 4th example, ending in a 7-men endgame table base draw claim:




haiaku
tygxc wrote:

++ "No number of experiments can prove me right, one can prove me wrong" - Einstein

So why you keep quoting Capablanca, Fischer, Sveshnikov, and using ICCF games and all the cumulated experience of centuries, as supporting evidence for your claims, is a mystery. You have also refused so far any experiment that people here think proves you wrong, so maybe you had better state clearly beforehand, what sort of experiment could do that, in your opinion.

Elroch
tygxc wrote:

[snip]
++ I did not say only KRPP vs. KRP occurs, I said it 1) occurs most frequently and 2) is most relevant.

[snip]

Oh, I see now, @tygxc is attempting a proof by ignoring less common examples.

Just to clarify, all examples that can occur are relevant to a proof, not just the most common ones.

MARattigan

@tygxc

In point of fact KQRRBBNNPPPPPPPP vs. KQRRBBNNPPPPPPPP occurs most frequently, not KRPP vs. KRP.

And that is one thing that would remain true with perfect play.

Elroch
tygxc wrote:

#2867
"underpromotion to a bishop or rook can never be essential (and can never be the only good move) in a drawing position because the only thing that can "go wrong" is to stalemate the opponent, and that can never be disadvantageous if the position is a draw.  Under promotion to a knight can be the only good move in a winning or a drawing position."
++ Yes, good point.
Underpromotion to a knight happens once in a while,
but usually

"usually"? So what? It's what happens that matters, not how often.

to a knight previously captured and never in multiples.

In a tiny sample of a few hundred million positions occurring in games by imperfect players.

If you are looking for rare examples, the best way to miss them is to ignore 99.9999999% (or more) of the relevant population. The set of all positions that can be reached by optimal play is enormously larger than your sample.

I have provided an argument why it is extremely likely that multiple underpromotions to knights can occur in optimal play from drawn or won positions and that multiple underpromotions to bishops and rooks can occur from winning positions. (More strongly my argument indicates that if chess is a draw the former is extremely likely to occur from the opening position and that the latter can occur by a single mistake from the opening position).

 

tygxc

#2871
"In point of fact KQRRBBNNPPPPPPPP vs. KQRRBBNNPPPPPPPP occurs most frequently, not KRPP vs. KRP."
++ That is not even true: there are more 26-men positions than 32-men positions.
We cannot verify 32-men positions or 26-men positions.
KRPP vs. KRP occurs most frequently and is most relevant among the 7-men positions we can verify as they count 7 men and thus are at the boundary of the 7-men endgame table base.

tygxc

#2872

"In a tiny sample of a few hundred million positions occurring in games by imperfect players."

++ And in a tinier sample of a few thousand games by perfect players: ICCF WC draws.

"The set of all positions that can be reached by optimal play is enormously larger than your sample."
++ Yes, that is right: set of all legal positions 4.79 * 10^44; set of legal, sensible, reachable, relevant positions 10^17.
Sample of positions from imperfect games 10^8. Sample of positions from perfect games 10^5.
However, knowledge about stars was also derived from observing a small sample of the total.
Tromp also estimated the number of 4.79*10^44 legal positions from a sample of only 10^6 and he also provided the interval of 95% confidence +- 0.04 * 10^44.

"it is extremely likely that multiple underpromotions to knights can occur in optimal play from drawn (...) positions" ++ Do you mean multiple underpromotions to knights or multiple underpromotions to knights not previously taken?

"the former is extremely likely to occur from the opening position" ++ Why? I do not see that.

haiaku
tygxc wrote:

And in a tinier sample of a few thousand games by perfect players: ICCF WC draws.

Set of all legal positions 4.79 * 10^44; set of legal, sensible, reachable, relevant positions 10^17. 

You are the only one in the world stating such things, but you write them as everyone thought the same. You say that sometimes things are "known" but not proven. Is there a way that coud prove you that those statements above are not so "known" as you think?

tygxc

#2875
"You are the only one in the world stating such things."
++ Yes, somebody has to be a pioneer.
Here is an overview of ICCF WC finals:
WC   Total Decisive Draw      D     E   Ideal
32       125         17   108  0.14 0.13    106
31       133         14   119  0.11 0.10    118
30       136           9   127  0.07 0.07    126
29       136         13   123  0.10 0.09    122
28       136         20   116  0.15 0.14    113
27       136         16   120  0.12 0.12    118
26       136         25   111  0.18 0.18    107
25       120         22     98  0.18 0.18      94
24       136         35   101  0.26 0.24      93
23       136         50     86  0.37 0.33      70
22       136         70     66  0.51 0.42      37
Total 1466        291 1175 0.20 0.19   1102

Progress over years is clear: a drop in the error rate E.
Each ICCF WC Finals yields over 100 ideal games with optimal moves i.e. perfect play.
In total we have 1102 ideal games with optimal moves i.e. perfect play.

DiogenesDue
tygxc wrote:

#2842

"it is highly likely that there are positions with multiple light squared bishops that are reached by 100% optimal play."

++ That is nonsense. Optimal play is to promote to a queen, not to a second same color bishop. There are very rare exceptions where promotion to a bishop is necessary to avoid stalemate. Some sick artificial constructions prove nothing. The sick artificial constructions cannot be reached from the initial positions by optimal play themselves. In none of the ICCF WC draws occurs a single underpromotion. 99% of these ICCF WC draws are ideal games with optimal moves.

When you are talking about 10^44 positions, then "very rare exceptions" can be millions or billions of positions that you are summarily dismissing.  Every single recorded chess game in human history would be "very rare exceptions" by your reasoning, since there are far less than 1 trillion games recorded.

The way you clumsily hack 10^44 to 10^17 shows amply well that you do not really grasp exponents at a fundamental level.  You know the math on the page, but you lack the imagination to understand how unfathomably large the numbers are.

haiaku
tygxc wrote:

Somebody has to be a pioneer.
Progress over years is clear: a drop in the error rate E.

But do you think you have proven that the increasing draw rate is due to a drop in the error rate (I don't think you estimation of the error rate is correct)? And do you think that an engine that in self-play draws 70% of the times, plays perfectly about (applying your formula) 60% of times, so it can be beaten no more than 40% of times by any other engine?

MARattigan
tygxc wrote:

#2871
"In point of fact KQRRBBNNPPPPPPPP vs. KQRRBBNNPPPPPPPP occurs most frequently, not KRPP vs. KRP."
++ That is not even true: there are more 26-men positions than 32-men positions.

You must write a book on your system of logic sometime.

You said

 I did not say only KRPP vs. KRP occurs, I said it 1) occurs most frequently and 2) is most relevant.

KRPP vs. KRP is an endgame classification not a position.

Try a random sampling of the the games in the ICCF tournaments you keep posting and count in how many of those samples KQRRBBNNPPPPPPPP vs. KQRRBBNNPPPPPPPP occurs and in how many KRPP vs. KRP occurs.
Before you do would you like to propose a wager that KRPP vs. KRP will occur more frequently than KQRRBBNNPPPPPPPP vs. KQRRBBNNPPPPPPPP? I'd be happy to take the bet.

 

 

playerafar

And there 'somebody' goes again.  Breaking the rules.
Again - Elroch's point about underpromotions was not a question.
So therefore the accusation against him by 'the guy' was unfounded.

playerafar
Optimissed wrote:

All Elroch is doing, is asking questions which he knows full well cannot be answered. I disagree with tygxc, of course: but the argument is already over and repeating it is a sign of weakness. It indicates a misplaced sense of hopefulness.

Obviously - Elroch is doing far more than asking questions.
So the accusation is unfounded.  And is in the same category as phony authority - obsessions about intelligence levels - other unfounded accusations - rulebreaking ... and even complaining that the forum topic continues ...  all coming from the same person (not I) plus he's been there before and was asked 'lets see how long you can go'.
Not long.  Just repeating his same cycles over and over.
He's even back to the 'cabal' stuff too.  Imaginary conspiracies.
Changing the avatar isn't going to change his behaviour either.

But @tygxc (who is Not that person) - makes his points in a civil way.
The other guy could learn from that - but fails to do so.

And now - getting back to the main topic - there's lots of posts to respond to - and to consider.
No need to be intimidated by somebody who even threatens to go to the moderators over use of common english pronouns happy.png

playerafar
haiaku wrote:
tygxc wrote:

And in a tinier sample of a few thousand games by perfect players: ICCF WC draws.

Set of all legal positions 4.79 * 10^44; set of legal, sensible, reachable, relevant positions 10^17. 

You are the only one in the world stating such things, but you write them as everyone thought the same. You say that sometimes things are "known" but not proven. Is there a way that coud prove you that those statements above are not so "known" as you think?

Good post.  Questioning - but without breaking the rules.
and the reply from @tygxc :
"++ Yes, somebody has to be a pioneer."
Not exactly a 'proof' happy.png
But done without rancour.