Chess will never be solved, here's why

@btickler @Optimissed
Could you boys not do that stuff via messages?
It's taking me ages to find the posts I'm looking for.
The entire project of solving chess depends on rejecting bad moves and using good ones. A decent algorithm needs to be written, because I'm afraid that tygxc's "three grandmasters on ice skates" just doesn't cut it. Real AI needs first to be developed in order to write the algorithm.
Nice try.
No, solving chess involves finding out whether or not there are any lines that will win by force from the initial position for either side no matter what the opponent might try. ...
That is an ultra-weak solution as @Omnipissed rather surprisingly points out. He must have run out of wine.
A weak solution is finding the lines themselves (or a strategy for producing them which amounts to the same thing) or finding lines for both sides that prevent a win by the opponent from the initial position no matter what the opponent might try.
It would be easy to post such a solution or even a strong solution.
The critical factor, and what is being discussed, is time, which is referred to only in the definition I posted somewhere on the thread (now lost in the mists of @Optimissed's IQ). It should also have mentioned space, but at least it was more relevant.

Let me spell it out. These confrontations can and should end, just as soon as the mods/staff do something about it. If they don't care about the forums, then the spirit of the ToS will keep getting violated in perpetuity. If they do care, then they will start to enforce the ToS, including namecalling. When that happens, I (I can only speak for myself here) will no longer have need of confronting such behavior. Until then, you're going to have to suffer through it.
As I mentioned previously to MikeKalish, you can make this go faster by reporting namecalling and verbal abuse. You can report Optimissed if you don't like the namecalling and verbal abuse, or you can report both of us for spamming/arguing too much. Either way.

\
As I mentioned previously to MikeKalish, you can make this go faster by reporting namecalling and verbal abuse. You can report Optimissed if you don't like the namecalling and verbal abuse, or you can report both of us for spamming/arguing too much. Either way.
As a staunch believer in free speech, I would always prefer to see problems involving speech solved voluntarily rather than by enforcement. If it doesn't rise to the level of vulgarity or serious threats, I likely would choose not to report it.
@5495
'Who gets to judge what is/is not "stupid"?'
++ The 3 (ICCF) (grand)masters. That is why they are necessary.
Examples of what is stupid:
1 g4?
1 e4 e5 2 Ba6?
1 e4 e5 2 Nf3 Nc6 3 Ba6?
1 e4 e5 2 Nf3 Nc6 3 Nd4?
1 e4 e5 2 Nf3 Nc6 3 Nxe5?
1 e4 e5 2 Nf3 Nc6 3 Ng5?
1 e4 e5 2 Nf3 Nc6 3 Nh4?
We know all of these lose by force.
It is a lot of irrelevant work to calculate all of these until checkmate in all variations.
It is waste of engine time.
@5513
"the only real solution is a calculation to checkmate or a draw in all possible lines"
++ Do you really think it is relevant to calculate all possible lines of 1 e4 e5 2 Ba6? to checkmate?
++ Do you really think it is relevant to calculate all possible lines of the final position of https://www.iccf.com/game?id=1164259 until a 3-fold repetition?
'weakly solved means that for the initial position a strategy has been determined
to achieve the game-theoretic value against any opposition'
A strategy is not necessarily calculate all possible lines.
Allen has solved Connect Four by calculating all possible lines.
Allis has independently solved it with a set of 9 knowledge rules.
A strategy could be 'answer 1 e4 with 1... e5, then 2 Nf3 with 2...Nf6, 1 d4 with 1...d5, 1 c4 with 1...c5, 1 Nf3 with 1...Nf6', but could also be 'maintain symmetry as long as possible'
A strategy could be 'analyse all possible lines', but also 'analyse all possible lines, but when a material advantage is there, trade material to remain with a passed pawn, queen it, and checkmate with it.'
A strategy can be a combination of calculation and knowledge rules.
@5519
"a solution awaits the development of much better engines or a breakthrough in methodology"
++ We already have engines that calculate a billion positions per second.
We already have a methodology.
Start from ICCF drawn games, explore 3 alternative lines at each white move.
Stop calculations when the good assistants determine an obvious draw or loss.
The 10^17 relevant positions can be done in 5 years.
If you deny the good assistants,
then it may well become 5 million years of irrelevant calculations.
@5494
"That is why the solution of checkers took years of computing."
++ No. Schaeffer spent most of the 19 years to write his own checkers-playing program Chinook and construct his own 10-men endgame tablebase. The real solving was from 2001 to 2007.
Schaeffer used less powerful computers than are available now.
Schaeffer only analysed 19 of the 300 tournament openings, needed to prove Checkers a draw.
Checkers is a smaller game than Chess or Losing Chess.
Checkers and Losing Chess have more irreversible moves than Chess.
Corrollary: Chess has more stupid moves.
In Chess you can hop around aimlessly, not so in Checkers or Losing Chess.
Corrollary: To solve Chess it is necessary to eliminate the stupid moves.
The good assistants are indispensable. That is why GM Sveshnikov named them first:
'Give me five years, good assistants and the latest computers
- I will bring all openings to technical endgames and "close" chess.'

@5494
"That is why the solution of checkers took years of computing."
++ No. Schaeffer spent most of the 19 years to write his own checkers-playing program Chinook and construct his own 10-men endgame tablebase. The real solving was from 2001 to 2007.
1. The tablebase is the largest part of the solution (but computationally cheaper per step than the proof tree).
2. 2001 to 2007 is "years". 6 or 7 of them
Schaeffer used less powerful computers than are available now.
You don't say?
Schaeffer only analysed 19 of the 300 tournament openings, needed to prove Checkers a draw.
Checkers is a smaller game than Chess or Losing Chess.
You think anyone here does not know that? That is why checkers has been solved but, applying exactly the same standards, chess is beyond practical reach.
Checkers and Losing Chess have more irreversible moves than Chess.
Correct. Yet checkers required about N^2/3 nodes, where N is the number of states. If only they had been able to just ignore loads of those based on inadequate heuristics, like you suggest!
Corrollary: Chess has more stupid moves.
Where is your proof of that ridiculous claim?
In Chess you can hop around aimlessly, not so in Checkers or Losing Chess.
False. First of all "aimlessly" is a meaningless term only suitable for obfuscation. In every position there are moves that preserve the result and there are blunders.
There are also moves that are reversible. In checkers, the majority of positions where each side possesses at least one king are reversible.
[Note: some reversible moves are blunders. This is where a reversible move allows the opponent to choose a line that avoids a cycle and which achieves a better result].
Corrollary: To solve Chess it is necessary to eliminate the stupid moves.
This is drivel. Solving chess involves RIGOROUSLY showing moves to be "stupid", not relying on confident guesses based on unreliable evaluations. This is too hard a point for you to understand.
The good assistants are indispensable. That is why GM Sveshnikov named them first:
'Give me five years, good assistants and the latest computers
- I will bring all openings to technical endgames and "close" chess.'
Sveshnikov was a chessplayer, interested in pragmatic levels of confidence, not in solving chess rigourously. He understood the distinction, unlike yourself.
Your entire argument is
(1) we can't solve chess in the sense chequers and all other solved games were solved.
(2) so we should redefine what "solved" means
(3) Now we can "solve" chess. Success!
This is yet another example of someone arguing about semantics and failing to understand they are not arguing about objective truth.
@5495
'Who gets to judge what is/is not "stupid"?'
++ The 3 (ICCF) (grand)masters. That is why they are necessary.
Examples of what is stupid:
1 g4?
1 e4 e5 2 Ba6?
1 e4 e5 2 Nf3 Nc6 3 Ba6?
1 e4 e5 2 Nf3 Nc6 3 Nd4?
1 e4 e5 2 Nf3 Nc6 3 Nxe5?
1 e4 e5 2 Nf3 Nc6 3 Ng5?
1 e4 e5 2 Nf3 Nc6 3 Nh4?
We know all of these lose by force.
It is a lot of irrelevant work to calculate all of these until checkmate in all variations.
It is waste of engine time.
Your proposed vehicle SF15 doesn't know that any of those lose by force. Neither do you or your handmaidens.
There is a strong chance that the result if continued in LLC (limited lookahead chess) would be decisive. They would all appear to oppose against the draw in that game.
Incidentally no show yet for your calculation of the theoretical result and error rates in my games here. Are you still working on it?
Once you've done that we can stop discussing your proposal.
It doesn't work.
@5534
"applying exactly the same standards, chess is beyond practical reach."
++ Schaeffer only analysed 19 of the 300 tournament openings.
Checkers has less stupid moves than Chess, so solving Chess needs a way to dismiss those.
"If only they had been able to just ignore loads of those based on inadequate heuristics"
Checkers is more tactical, so calculation is enough. I advocate adequate heuristics only.
"aimlessly" is a meaningless term only suitable for obfuscation.
1 a4, 1 e4 e5 2 Ba6?, 1 e4 e5 2 Nf3 Nf6 3 Ng1 are examples of aimless.
"In checkers, the majority of positions where each side possesses at least one king are reversible." ++ That is correct, but 1) many positions have no king at either side, and
2) many of those that have a king are in the table base.
"Solving chess involves RIGOROUSLY showing moves to be "stupid""
++ That is why Sveshnikov called for GOOD assistants, e.g. (ICCF) (grand)masters.
"Sveshnikov was a chessplayer" ++ And even more a chess analyst and a teacher of analysis.
(1) Chess is a different game, and thus requires a different solution,
part like Checkers, part like Losing Chess, part like Connect Four.
(2) We adhere to the definition:
'weakly solved means that for the initial position a strategy has been determined to achieve the game-theoretic value against any opposition'
'the game-theoretic value of a game is the outcome when all participants play optimally'
A strategy can mean a full or partial calculation like Checkers or Losing Chess,
but also a set of rules like Connect Four, or a combination of both.
@5535
"doesn't know that any of those lose by force"
++ I know all of these lose by force. Any real chess player knows. The ICCF (grand)masters know.
"They would all appear to oppose against the draw in that game."
++ Playing for a loss is not opposing to a draw. Opposing to a draw is trying to win.
@5535
"doesn't know that any of those lose by force"
++ I know all of these lose by force. Any real chess player knows. The ICCF (grand)masters know.
...
That, as @Elroch would point out, is merely a difference in semantics. You use the word "know" to mean what everyone else means by "guess". That difference means that what you know is not necessarily true.
But still no show yet for your calculation of the theoretical result and error rates in my games here. Are you still working on it?
Once you've done that we can stop discussing your proposal.
It doesn't work.
Does the fact that it's not appeared mean you've already done it and reached the same conclusion, but you still post because you like to troll?
@5540
I do not work on positions of 7 men or less. Those have been strongly solved by the 7-men endgame table base. Do not tell me about castling rights. In practice when a 7-men endgame position is reached, castling rights are lost.
...
(2) We adhere to the definition:
'weakly solved means that for the initial position a strategy has been determined to achieve the game-theoretic value against any opposition'
...
I already pointed out that it would take hardly any time to post a solution according to that definition, I don't need to talk about how sane your interpretation of "any opposition" is.
What do you need the supercomputers for?
Incidentally still no show yet for your calculation of the theoretical result and error rates in my games here. Are you still working on it?
Once you've done that we can stop discussing your proposal.
It doesn't work.
Does the fact that it's not appeared mean you've already done it and reached the same conclusion, but you still post because you like to troll?
@5540
I do not work on positions of 7 men or less. Those have been strongly solved by the 7-men endgame table base. Do not tell me about castling rights. In practice when a 7-men endgame position is reached, castling rights are lost.
I've just realised this was meant to be a response to my post.
A reference to the user to whom you are responding would be useful. A reference to a user with a 400 rating is not so useful.
The fact that you do not work on positions with 7 men or less is quite irrelevant to my point and you do not work on positions with 7 men or less only because the facts can be checked in those positions.
The calculations to determine the starting position and error rates that you have many times posted make no mention of the number of men on the board, so if they're valid for 32 men they should be also valid for 5 or 7 or 26. I have asked you to check in the series of games I posted here as well as the earlier KNNKP games I posted.
It would save an awful lot of effort because we can all then stop discussing your proposal. Why don't you do that and post the results?
(II won't - and didn't - tell you about castling rights.)

"doesn't know that any of those lose by force"
++ I know all of these lose by force. Any real chess player knows. The ICCF (grand)masters know.
I don't pretend to understand the theory being discussed in this thread, but this response seems rather weak to me...... kind of like "Because I said so". Many people "knew" the earth was flat and the sun revolved around it. And some of those people were pretty smart.....otherwise.
@5546
"A reference to a user with a 400 rating is not so useful."
++ There is no threshold of rating or college degrees.
"positions with 7 men or less only because the facts can be checked in those positions"
++ Yes, some positions of 7 men may be useful to check facts, e.g. endgames KRPP vs. KRP.
"they're valid for 32 men they should be also valid for 5 or 7 or 26"
++ Yes, from 32 to 8. You can use 7 too for verification.
"earlier KNNKP" ++ Not relevant. A draw is claimed in 7 men, so 5 men is never reached.