Chess will never be solved, here's why

Sort:
Avatar of tygxc

#4001
"If Shveshnikov were still alive and he changed his mind, would that convince you?"
++ He would not have any reason to change his mind: he was right.
All facts and figures support his bold claim.
The only thing that would convince me is a valid counterargument.
So far I have only read insults, not one single even remotely valid counterargument.
The first people who said humans can walk on the Moon also met unfounded criticism.

Avatar of tygxc

#4008

"So, strictly speaking, it is not a general rule." ++ It is a general rule, but has exceptions.

"1 e4 e5 2 Ba6 provides no compensation at all and can be dismissed.
Unproven." ++ I provided proof above: it is a forced checkmate in 82.

""they can be sound (1. e4 e5 2. f4)" ++ 'It loses by force' - Fischer, 'I could not find a way for white to equalise' - Kramnik '23.4% black wins, 6.3% white wins' - AlphaZero Figure 4. (d)
https://arxiv.org/pdf/2009.04374.pdf 
Appeal to authority."
++ Expert opinions plus independent calculations with no other input but the Laws of Chess

"Afaik, in checkers (a simpler game than chess) some openings are considered "trivial" and they had not been checked when the game was announced solved. There is ongoing computation to solve them too, though. Losing chess has been solved from the initial position, as you well know."
++ Losing Chess has the same 64 squares, 32 men, 6 kinds of men as Chess and needed only 10^9 positions not 10^44 to weakly solve it by interaction of humans and computers. It has been solved variation by variation, simplest first. The humans selected the course and the computers verified by calculation until the table base.

"They cannot check all the lines a computer would search in 5 years"
++ They avoid useless calculations in clear wins, clear draws, or meaningless lines.

"1 e4 e5 2 Ba6 loses a bishop for no compensation.
It is a sure loss for white, no doubt at all. So it can be dismissed.
Repetition. Unproven." ++ I provided proof above: it is a forced checkmate in 82.

"1 Nf3 d5 2 Ng1 is nonsense, does not try to win and thus can be dismissed.
Unproven."
++ This is ridiculous. So you think 1 Nf3 d5 2 Ng1 is a good try to win, better than 1 e4 or 1 d4?

"It is not proved that those strategic rules are good for any situation. 1. a4 gives a worse expected score in practical play; that does not imply its game-theoretic value is lower than 1. d4 or 1. e4." The game-theoretic value of 1 a4 may well be the same as 1 d4 or 1 e4: a draw. The point is that it is unthinkable that the game-theoretic value of 1 d4 and of 1 e4 is a draw and that the game-theoretic value of 1 a4 were a white win. The argument is not about practical play, it is about the accomplishment of the move in terms of the center and development.
AlphaZero ranked all first moves with no other input but the Laws of Chess and thus acquired chess knowledge, i.e. a set of theorems derived from axioms: the Laws of Chess by logic: boolean operations.
https://arxiv.org/pdf/2111.09259.pdf 

 

Avatar of tygxc

#4004

"Exercises for a reader more capable of reasoning clearly than @tygxc:"
++ You clearly are not such a reader.

"Exhibit a position where a single tempo is sufficient to win" ++ That is completely besides the question. It is a about a single tempo in the initial position, not in some pawn endgame.

 

Avatar of Optimissed

@4015 @tygxc
Yes, I pointed that out. I still think you're mistaken about solving chess in five years however.

The method you propose seems to have guidance from GMs who are supposed to curtail irrelevant lines. Yet we're talking about examining billions of relevant positions in five years. Therefore, the number of positions to be examined is far in excess of that number. Consequently it would be necessary to develop an algorithm, to do it automatically. That, however, is not possible with techniques we have at present, with the required degree of accuracy. I think Sveshnikov overlooked the fact that a reliable solution means 100% accuracy. There can't be a single error or it isn't a reliable proof or solution. The GMs couldn't guarantee 100% accuracy even if they had the time to look properly at the positions. That is why your proposed solution in 5 years is definitely non-viable.

Avatar of Optimissed

Incidentally, it's best not to use post reference numbers. I addressed the post above to #4004 and 10 seconds later it was #4015 because in that time someone was unmuted.

Avatar of Elroch
Optimissed wrote:

Incidentally, it's best not to use post reference numbers. I addressed the post above to #4004 and 10 seconds later it was #4015 because in that time someone was unmuted.

Yes. the handy link URL tool works better.

Avatar of tygxc

@4016 

"The method you propose seems to have guidance from GMs who are supposed to curtail irrelevant lines."
++ Yes, the good assistants launch calculations from relevant starting points and end calculations whenever there is no more doubt about the draw or win, i.e. when they would agree on a draw or resign in a correspondence game.

"Yet we're talking about examining billions of relevant positions in five years."
++ More exactly 10^17 positions, that is 100 million billion positions.

"Therefore, the number of positions to be examined is far in excess of that number."
++ No, the number of positions to be examined is the number of positions to be examined.
For comparison: Checkers was solved with a proof tree of 10^7 positions and a solution tree of 10^14 positions i.e. for each position in the proof tree there were 10^7 positions examined.

"Consequently it would be necessary to develop an algorithm, to do it automatically."
++ No, human grandmasters plus Stockfish on cloud engines is enough.
Checkers was solved with a human Schaeffer with his program Chinook.

"I think Sveshnikov overlooked the fact that a reliable solution means 100% accuracy."
++ What makes you think that? I think Sveshnikov was well aware of all ramifications. He was a grandmaster and 65+ World Champion. He was a professional analyst and he had analysed before and after engines. He held a MSc in engineering. He authored several books with analysis. He even taught aspiring masters how to analyse with engines.

"There can't be a single error or it isn't a reliable proof or solution."
++ That is with every proof. That already was the case with the Four Color Theorem.

"The GMs couldn't guarantee 100% accuracy even if they had the time to look properly at the positions."
++ They can. They launch the calculations. They stop the calculation when they would resign or agree on a draw. ICCF correspondence players also resign lost positions and agree on a draw in drawn positions. They never resign any tenable position or agree on a draw in a won position.

"That is why your proposed solution in 5 years is definitely non-viable."
++ That is why the proposed solution in 5 years by Sveshnikov is viable.

Avatar of DiogenesDue
Elroch wrote:
Optimissed wrote:

Incidentally, it's best not to use post reference numbers. I addressed the post above to #4004 and 10 seconds later it was #4015 because in that time someone was unmuted.

Yes. the handy link URL tool works better.

The pedantic adherence to using transient and possibly faulty post numbers is directly analogous to the pedantic adherence to using faulty assumptions and numbers in trying to solve chess happy.png.

Avatar of Optimissed
btickler wrote:
Elroch wrote:
Optimissed wrote:

Incidentally, it's best not to use post reference numbers. I addressed the post above to #4004 and 10 seconds later it was #4015 because in that time someone was unmuted.

Yes. the handy link URL tool works better.

The pedantic adherence to using transient and possibly faulty post numbers is directly analogous to the pedantic adherence to using faulty assumptions and numbers in trying to solve chess .


That's something you and I agree on. Not that I'm desperately looking for something to agree with you on .... but there's something going on in this discussion that I don't like the look of. I'm not blaming you because it's happened to us all: getting sucked into a profitless argument that basically doesn't move..

Avatar of stancco

@btickler are you ok I?

Chess is exact and finite, and with all respect, that doesn't depend on your ability of comprehension at the moment

Avatar of DiogenesDue
stancco wrote:

@btickler are you ok I?

Chess is exact and finite, and with all respect, that doesn't depend on your ability of comprehension at the moment

Why wouldn't I be ok?

I am not sure you are applying "that doesn't depend on your ability of comprehension at the moment" at the target you meant to.

Avatar of Optimissed
tygxc wrote:

@4016 

"The method you propose seems to have guidance from GMs who are supposed to curtail irrelevant lines."
++ Yes, the good assistants launch calculations from relevant starting points and end calculations whenever there is no more doubt about the draw or win, i.e. when they would agree on a draw or resign in a correspondence game.

"Yet we're talking about examining billions of relevant positions in five years."
++ More exactly 10^17 positions, that is 100 million billion positions.

Good.
I referred to it as "billions" of positions, which is accurate. I referred to it as "billions" for a specific reason.

"Therefore, the number of positions to be examined is far in excess of that number."
++ No, the number of positions to be examined is the number of positions to be examined.

I have no problem with that. I had used the word "relevant" and then increased the number beyond relevant. I'm not interested in discussing exact numbers because it's unnecessary. In any case, the numbers cannot be achieved in 5 years. No ifs and no buts. It's impossible.

For comparison: Checkers was solved with a proof tree of 10^7 positions and a solution tree of 10^14 positions i.e. for each position in the proof tree there were 10^7 positions examined.

"Consequently it would be necessary to develop an algorithm, to do it automatically."
++ No, human grandmasters plus Stockfish on cloud engines is enough.
Checkers was solved with a human Schaeffer with his program Chinook.

"I think Sveshnikov overlooked the fact that a reliable solution means 100% accuracy."
++ What makes you think that? I think Sveshnikov was well aware of all ramifications. He was a grandmaster and 65+ World Champion. He was a professional analyst and he had analysed before and after engines. He held a MSc in engineering. He authored several books with analysis. He even taught aspiring masters how to analyse with engines.

"There can't be a single error or it isn't a reliable proof or solution."
++ That is with every proof. That already was the case with the Four Color Theorem.

I believe that you give him too much credit. Much too much.

"The GMs couldn't guarantee 100% accuracy even if they had the time to look properly at the positions."
++ They can. They launch the calculations. They stop the calculation when they would resign or agree on a draw. ICCF correspondence players also resign lost positions and agree on a draw in drawn positions. They never resign any tenable position or agree on a draw in a won position.

"That is why your proposed solution in 5 years is definitely non-viable."
++ That is why the proposed solution in 5 years by Sveshnikov is viable.

Trillions of positions in five years? Each with human intervention? I wonder WHY you think it possible.

 

Avatar of stancco

Finally!

Good on you sir!

Avatar of haiaku
Optimissed wrote:
haiaku wrote:
tygxc wrote:

"That is _NOT_ a general rule." ++ Pawn up = win is a general rule, but there are exceptions.

So, strictly speaking, it is not a general rule. How many exceptions, in percentage?

Don't be sarcastic.

I was not. @tygxc supported his claim that a pawn of advantage is a win quoting Capablanca. Besides the fact that this is an appeal to authority, Capablanca wrote that "the winning of a pawn among good players of even strength often means the winning of the game" (Chess Fundamentals, emphasis mine), which is rather different from "always wins the game, with exceptions". Engines usually assign the advantage of a pawn an expected score around 0.75.

The reason why I insist on that goes beyond the actual value of a pawn. It is to state that it is not possible, in order to declare chess solved, to cut off lines on the basis of "general" principles not proven to always hold true (in chess, indeed, most of them are proven to not always hold true).

Optimissed wrote:
haiaku wrote:
tygxc wrote:

1 e4 e5 2 Ba6 provides no compensation at all and can be dismissed.

Unproven.

A comment like that means that nothing you say can be taken seriously.

That's a pooh-pooh. Stating that 1. e4 e5 2. Ba6 may even win, as above goes beyond the value of the specific line. Allowing dismissals of such lines would create precedents too, and it would be very difficult, then, to fix boundaries for what can or cannot be cut off during the search.

Optimissed wrote:
haiaku wrote:
tygxc wrote:

"they can be sound (1. e4 e5 2. f4)" ++ 'It loses by force' - Fischer, 'I could not find a way for white to equalise' - Kramnik '23.4% black wins, 6.3% white wins' - AlphaZero Figure 4. (d)
https://arxiv.org/pdf/2009.04374.pdf

Appeal to authority.

That's completely acceptable when discussing chess lines.

Missing the point. It is not acceptable when discussing about solutions. A solution has to prove whether and when authorities are right, not the other way around.

And after two "ad hominem"

Optimissed wrote:

This is becoming repetitive. You ought to have settled for your one good point and not tried to do a bthicker.

Thank you for the tip, but sorry, I am not taking you as an example of good arguing.

Optimissed wrote:
btickler wrote:

The pedantic adherence to using transient and possibly faulty post numbers is directly analogous to the pedantic adherence to using faulty assumptions and numbers in trying to solve chess .

That's something you and I agree on. [ . . . ] there's something going on in this discussion that I don't like the look of. I'm not blaming you because it's happened to us all: getting sucked into a profitless argument that basically doesn't move..

It is not going to move. That's because, despite the inevitable @tygxc's reply, chess cannot be solved in reasonable time, at the moment. But some people never concede, as you yourself noted. So what do you expect? The only thing one can do is to fight attempts of deceiving and disinformation.

Avatar of tygxc

@4024

"In any case, the numbers cannot be achieved in 5 years."
++ Because you say so? I take the word of Sveshnikov over yours. The numbers confirm it.

"I believe that you give him too much credit."
++ I believe you do not pay him enough respect. He knew what he was talking about.

"Trillions of positions in five years?" ++ Yes: a billion positions per second per cloud engine.

"Each with human intervention?" ++ No. Human intervention only at the start and at the end.

Avatar of lfPatriotGames
tygxc wrote:

@4024

"In any case, the numbers cannot be achieved in 5 years."
++ Because you say so? I take the word of Sveshnikov over yours. The numbers confirm it.

"I believe that you give him too much credit."
++ I believe you do not pay him enough respect. He knew what he was talking about.

"Trillions of positions in five years?" ++ Yes: a billion positions per second per cloud engine.

"Each with human intervention?" ++ No. Human intervention only at the start and at the end.

I'm just curious, when does the 5 year period start? Was it a year ago? 4 years ago? I know it's not today.

Avatar of tygxc

@4028

"when does the 5 year period start?"
++ When there is money for the cloud engines and the assistants.

Avatar of Optimissed
tygxc wrote:

@4024

"In any case, the numbers cannot be achieved in 5 years."
++ Because you say so? I take the word of Sveshnikov over yours. The numbers confirm it.

"I believe that you give him too much credit."
++ I believe you do not pay him enough respect. He knew what he was talking about.

"Trillions of positions in five years?" ++ Yes: a billion positions per second per cloud engine.

"Each with human intervention?" ++ No. Human intervention only at the start and at the end.


OK tygxc, you cherrypicked your answers and you ignored the fact that you clearly state that each positional assessment is guided by a human GM (in an attempt to prune the search tree to relevant positions).

It is clear that you wish to ignore the fact that it's impossible for humans to deal with such numbers. I asked you why you believe it's possible. Not because "Sveshnikov thinks it possible", because it would just be an assumption that he would have thought it possible. This question, which you ignore and which was directed to you, asks why YOU think it possible.

Trillions of positions in five years? Each with human intervention? I wonder WHY you think it possible.

If you choose to continue to ignore this question,  which is regarding why you can think it possible that a human can personally intervene in each of trillions of chess positions in five years, which is what you have indicated is the modus operandi for your proposed undertaking, it would strongly indicate that you are dishonest and that you hope to continue to pull the wool over others' eyes forever.

So I suggest that you answer it please. Once more, the question is 

Trillions of positions in five years? Each with human intervention? I wonder WHY you think it possible.

So do we all.

Avatar of tygxc

@4030

"you clearly state that each positional assessment is guided by a human GM"
++ No, not at all. The humans start the calculations from meaningful positions.
Not 1 e4 e5 2 Ba6, not 1 a4, not 1 Nf3 d5 2 Ng1.
The humans also select the promising lines, e.g. 1 e4 e5, renouncing all other 19 replies.
The humans stop a calculation when it is a clear draw or win. E.g. when one side is material down with no compensation or in some opposite colored bishop endings. That is to save engine time. In case of any doubt, calculate more.

"It's impossible for humans to deal with such numbers." ++ The humans do not deal with the numbers, the engines do. The humans only reduce the number the engines have to deal with.

"he would have thought it possible" ++ Sveshnikov clearly stated so in his farewell interview.

"why YOU think it possible" ++ Because I have calculated the number of legal, sensible, reachable during solving, and relevant positions to be 10^17 and that corresponds to 5 years.

"Trillions of positions in five years?"
++ Yes: 5 a * 365.25 d/a * 24 h/d * 3600 s/h * 10^9 position/s/engine = 10^17 position/engine

"Each with human intervention?" ++ No, not at all. The humans only start the calculations and occasionally end a calculation in case of clear win or draw.

"why you can think it possible that a human can personally intervene"
++ The humans set up the starting positions.
The humans occasionally end a calculation that has arrived at a clear draw or win.

"Trillions of positions in five years?" ++ Yes 10^17 positions.

"Each with human intervention?" ++ No. The humans start the calculations.
The humans occasionally end a calculation whenever they notice a clear draw or loss.

Avatar of tygxc

@4031
I give a few examples, all ICCF WC drawn games, 99% sure to be perfect games.

https://www.iccf.com/game?id=1164344
This ends in a 7-men endgame table base draw, no human adjudication required.

https://www.iccf.com/game?id=1164259
This needs human adjudication otherwise the engine must burn useless time in this clear draw.

https://www.iccf.com/game?id=1164319
This ends in a perpetual check, i.e. a forced 3-fold repetition. No human adjudication needed.