Chess will never be solved, here's why

Sort:
Avatar of Optimissed

It was a rare event. That'll be $5.

Avatar of Eton_Rifles
mpaetz wrote:
tygxc wrote:

@7112

"analysis will done on only those opening moves the experts consider relevant"
++ Analysis will not be done on moves that are clearly no optimal play e.g. 1 e4 e5 2 Ba6, 1 e4 e5 2 Nf3 Nc6 3 Ng5 etc. It is to not waste engine time on what is already obvious.

"will only analyze lines from drawn ICCF grandmaster games"
++ The drawn ICCF WC Finals games serve as a backbone of already completed analysis as they each already represent 2 years of engine analysis under guidance of an ICCF grandmaster.
It is to speed up the process.

"This seems to make the entire enterprise reliant on humans and engines that are known to be imperfect." ++ The enterprise relies on the 7-men endgame table base known to be perfect.

"Am I misunderstanding something?" ++ Yes

     So it is true that you will rely on the judgement of imperfect humans to decide what is/is not "optimal play". And it is true that you will ignore many variations to save time. And it is true that you will not consider openings not played to a draw in ICCF games.

     My conclusion is that this enterprise will not satisfactorily answer the question of whether chess is a win for either side or a draw.

After 7119 replies, this is still a good debate, although enjoyable, a lot does whoosh over my bald swede, but I do have to agree with the above statement. 

    "My conclusion is that this enterprise will not satisfactorily answer the question of whether chess is a win for either side or a draw."

If chess is to be solved, a system must know everything about every position; I believe the term is called a "complete information game".

No university, entrepreneur or business has taken the challenge outlined by tygxc et al. because, in the real world, there's nothing we can learn from solving chess. Real-world problem-solving costs money but ultimately makes money.

 

Avatar of tygxc

@7120

"judgement of imperfect humans to decide what is/is not optimal play"
++ No, the 7-men endgame table base is the judge: draw / win / loss.
We do not need to decide what is optimal play.
As for the single black response:
if it leads to a 7-men endgame table base draw, then it is optimal.
As for the several white moves: we do not need to decide if one of them is optimal or not,
it is enough not all selected candidate moves are not optimal.
That is the difference between analysis,
which ends in some imperfect evaluation like 'white is slightly better', +=, +0.50.,
and solving, which ends in a 7-men endgame table base draw or a prior 3-fold repetition.
That is also the difference of playing with Stockfish: it has to decide on one move to play,
and solving with Stockfish: it can retain several e.g. 4 candidate moves for further analysis.

"you will ignore many variations to save time" ++ Yes, but only those we are sure about.

"you will not consider openings not played to a draw in ICCF games"
++ ICCF WC Finals games only open with 1 e4, 1 d4, 1 c4, and 1 Nf3 and for good reason.
The same in human top competition: only those four nowadays.

"answer the question of whether chess is a win for either side or a draw"
++ That question has been answered long ago: Chess is a draw.
The real question is: 'How?'
A related question is: 'How long does it take?'
If doing it the stupid way with just a computer and calculating all the junk like 1 e4 e5 2 Ba6? down to the end, then weakly solving Chess needs 10^19 positions and takes 500 years.
If doing it a smart and clever way with humans and computers,
then weakly solving Chess needs 10^17 positions and takes 5 years, like Sveshnikov said.

Avatar of chaotikitat

This thread is still going? Impressive 

Avatar of tygxc

@7124

"If chess is to be solved, a system must know everything about every position"
++ That would be strongly solving chess to a 32-men table base,
requiring all 10^44 legal positions, which would take too much time and storage.
Weakly solving chess requires only 10^17 relevant positions, which can be done in 5 years.

"Real-world problem-solving costs money but ultimately makes money."
++ Weakly solving Chess costs 3 million $ of money and makes no money.
The same for weakly solving Checkers or Losing Chess:
these cost money and did not make any money, but were done anyway.

Avatar of willithius

personally i agree

Avatar of Elroch
tygxc wrote:

@7124

"If chess is to be solved, a system must know everything about every position"
++ That would be strongly solving chess to a 32-men table base,

Yes.
requiring all 10^44 legal positions, which would take too much time and storage.
Weakly solving chess requires only 10^17 relevant positions, which can be done in 5 years.

Still a fail.

This amounts to an ignorant attempt to redefine the very precise word "solve" to mean something sloppy and very ambiguous, replacing valid deduction with the strong beliefs of unreliable evaluators, themselves based on heuristics generalised from a tiny number (compared to the size of chess) of examples using induction. For example "the side that is a piece up will win except when it is obvious to an unspecified unreliable evaluator that there is a reason they won't"

Avatar of tygxc

@7128

If you only admit a stupid and dumb way of weakly solving, then it takes 500 years.
A smart and clever way takes 5 years.

Avatar of Optimissed

A way that doesn't work at all takes 5 years.

Avatar of Optimissed
Eton_Rifles wrote:
mpaetz wrote:
tygxc wrote:

@7112

"analysis will done on only those opening moves the experts consider relevant"
++ Analysis will not be done on moves that are clearly no optimal play e.g. 1 e4 e5 2 Ba6, 1 e4 e5 2 Nf3 Nc6 3 Ng5 etc. It is to not waste engine time on what is already obvious.

"will only analyze lines from drawn ICCF grandmaster games"
++ The drawn ICCF WC Finals games serve as a backbone of already completed analysis as they each already represent 2 years of engine analysis under guidance of an ICCF grandmaster.
It is to speed up the process.

"This seems to make the entire enterprise reliant on humans and engines that are known to be imperfect." ++ The enterprise relies on the 7-men endgame table base known to be perfect.

"Am I misunderstanding something?" ++ Yes

     So it is true that you will rely on the judgement of imperfect humans to decide what is/is not "optimal play". And it is true that you will ignore many variations to save time. And it is true that you will not consider openings not played to a draw in ICCF games.

     My conclusion is that this enterprise will not satisfactorily answer the question of whether chess is a win for either side or a draw.

After 7119 replies, this is still a good debate, although enjoyable, a lot does whoosh over my bald swede, but I do have to agree with the above statement. 

    "My conclusion is that this enterprise will not satisfactorily answer the question of whether chess is a win for either side or a draw."

If chess is to be solved, a system must know everything about every position; I believe the term is called a "complete information game".

No university, entrepreneur or business has taken the challenge outlined by tygxc et al. because, in the real world, there's nothing we can learn from solving chess. Real-world problem-solving costs money but ultimately makes money.

 

I outlined why nobody would accept a project doomed to failure. You can only lose because the money and the time are not there.

Avatar of charmquark314

That's not why. Solving chess, at least in the sense of strongly solving chess, would be to provide an algorithm that evaluates every legal position to "white mates with perfect play", "black mates with perfect play", or "draw", and provide a move that does not change that evaluation. (Since chess games have a finite length, said algorithm can consistently win any winning position, and force a draw in any drawn position.)

No chess engine we have right now can do that. Such an engine's self-play would result in either consistent wins from one side, or consistent draws.

Yes, that does mean we have solved chess with up to 7 pieces on the board (an algorithm for that is available on this website).

Avatar of mpaetz

     Still, we all believe that the computers and programs of the year 2100 will far outclass those of the present. Why should we just assume that those entities will not be able to punch large holes in the analyses that the Sveshnikov five year plan might come up with? Couple that with the  unanalyzed lines the human experts judge to be unworthy of consideration and the immense number of possibilities that exist following opening moves that the plan will never examine and the "solution" would be unconvincing.

Avatar of Optimissed
charmquark314 wrote:

That's not why. Solving chess, at least in the sense of strongly solving chess, would be to provide an algorithm that evaluates every legal position to "white mates with perfect play", "black mates with perfect play", or "draw", and provide a move that does not change that evaluation. (Since chess games have a finite length, said algorithm can consistently win any winning position, and force a draw in any drawn position.)

No chess engine we have right now can do that. Such an engine's self-play would result in either consistent wins from one side, or consistent draws.

Yes, that does mean we have solved chess with up to 7 pieces on the board (an algorithm for that is available on this website).

First paragraph completely agreed with.

Avatar of slaveofjesuschrist

If I walked a quadrillion years, could I reach the end of the multiverse?

Avatar of BoardMonkey

One-hundred tredecillion possible positions most of which are illegal. It's a lawless multiverse.

Avatar of Optimissed

Chess is only solvable solving it game by game and not position by position. It still requires more resources than it is possible to divert to the problem.

Avatar of BoardMonkey

Game by game? That's an unsurmountable problem. We'll never get a solution. Reminds me of Asimov's short story The Last Question.

Avatar of Elroch
Optimissed wrote:

A way that doesn't work at all takes 5 years.

It is surprising to me that it is beyond @tygxc to understand that what he is proposing is not a way to solve chess, but a way to replace an uncertain evaluation of the opening position by a less uncertain (but still uncertain) one. We need any random person involved in peer-reviewed research on the subject to explain to him that he has got it wrong (since he can't glean this from their work, like most people can).

Avatar of MARattigan
charmquark314 wrote:

That's not why. Solving chess, at least in the sense of strongly solving chess, would be to provide an algorithm that evaluates every legal position to "white mates with perfect play", "black mates with perfect play", or "draw", and provide a move that does not change that evaluation. (Since chess games have a finite length, said algorithm can consistently win any winning position, and force a draw in any drawn position.)

"Chess" denotes several different games each with its own set of solutions. Of the FIDE versions only games played according to the post 2017 competition rules are limited to a finite length. Games played under post 2017 basic rules or all pre 2017 rules are not.

That means that for the unlimited games simply providing a move that doesn't change the evaluation is not enough. E.g. for a position with this diagram (with the White king on one of the two squares shown) and White to play ...

an algorithm that recommends moving the king to the other square doesn't change the evaluation but also doesn't solve the position.

And strictly speaking the evaluation is necessary at most for drawn positions in the unlimited games. Just a move will do.

 No chess engine we have right now can do that. Such an engine's self-play would result in either consistent wins from one side, or consistent draws.

True, which is not to say a consistent result indicates perfect play. It may be the case that SF15 would draw against itself no matter how many attempts it made with less than geological think time per move from this Black winning position, for example.

(As opposed to a random legal move generator v SF15 which would probably achieve the mate in far fewer attempts than a monkey on a typewriter would need etc.) 

Yes, that does mean we have solved chess with up to 7 pieces on the board (an algorithm for that is available on this website).

'Fraid not. For example it doesn't do the final position in this competition rules game which is a mate in 16.

(Try using the top move it shows against the computer in "Analysis".)

 

Avatar of Optimissed

Nothing better to do? ^^