Chess will never be solved, here's why

Sort:
Avatar of mpaetz
Optimissed wrote:
mpaetz wrote:

     Most of us, myself included, agree it's a draw, but also realize that neither the strongest human players nor the best contemporary engines can irrefutably demonstrate that this is true.


Irrefutably perhaps isn't the best choice of words since if it can't be shown to be a draw then neither can the proposition that it's a draw be refuted.

     True, but if the question is "Can we prove that chess is a win/draw?" then not being able to disprove either question is no guarantee of the truth of its opposite. 

     Believe it or not, there are many people who don't take the consensus of expert opinion or the evaluations of top computers to be the gospel truth and continue to hold their own opinions.

Avatar of mpaetz
MARattigan wrote:
Silent_Tears wrote:

Dumb question I suppose. Let’s say chess is solved by a super computer. Does it change anything for us? We can’t even figure out how to beat a sub optimal stockfish.

That would depend on whether the solution is a relatively short win or not. 

If it turns out to be forced win in say less than a hundred moves it would be possible to follow and we may as well all give up playing.

    Should it be proved to be a win in 70 moves (or whatever) this should change nothing for human players. Suppose that 1.e4  c5 is found to be black's best choice to delay loss as long as possible. White would not be able to just memorize the best line all the way to checkmate, but know EVERY possibility of a second or third best move by black on move 11, or 18, or 25, or 30, and so on. There may be a handful of people on earth who could perform this miraculous feat of memorization, but it would not help them should black play 1.....e5, or e6 or c6 or a6, or d5, or g6, or d6. For 99.99999% of chess players the solution would have no practical value.

     This doesn't mean we wouldn't all like to know the answer.

Avatar of MARattigan
mpaetz wrote:
MARattigan wrote:
Silent_Tears wrote:

Dumb question I suppose. Let’s say chess is solved by a super computer. Does it change anything for us? We can’t even figure out how to beat a sub optimal stockfish.

That would depend on whether the solution is a relatively short win or not. 

If it turns out to be forced win in say less than a hundred moves it would be possible to follow and we may as well all give up playing.

    Should it be proved to be a win in 70 moves (or whatever) this should change nothing for human players. Suppose that 1.e4  c5 is found to be black's best choice to delay loss as long as possible. White would not be able to just memorize the best line all the way to checkmate, but know EVERY possibility of a second or third best move by black on move 11, or 18, or 25, or 30, and so on. There may be a handful of people on earth who could perform this miraculous feat of memorization, but it would not help them should black play 1.....e5, or e6 or c6 or a6, or d5, or g6, or d6. For 99.99999% of chess players the solution would have mo practical value.

     This doesn't mean we wouldn't all like to know the answer.

I think you're probably right. Hard to say.

If it's a mate in 70 it's likely to be a pretty specific line for each response and the variations will funnel into a limited number of continuations. You then wouldn't need to remember all the responses, just a few "stepping stone" positions along the routes, nor would you need to remember responses that take you into easy mates.

But perhaps I should rather have said mate in 12.

Avatar of mpaetz

     Of course if there were a forced win in twelve moves top-flight chess would by finished, but this seems extremely unlikely. In the case of longer wins, there would have to be so many lines stemming from every black (assuming it is solved as a win for white) first move, and every black second move from each of those moves and so on that the task of memorization would be untenable for all but top GM strength players with phenomenal memories, even under the criteria you posit.

     This would not apply should a series of moves be discovered that will win no matter what the opposition plays, but it also seems highly unlikely that such a system would exist. Different responses must be made against different inferior moves if the winning positions are to invariably be reached.

     

Avatar of Elroch

With a team of 17 grandmasters and one supercomputer we can prove there is no win in 12 moves. wink.png

Avatar of MARattigan

You only need a big red telephone for that.

Avatar of MARattigan
Optimissed wrote:

No, it's wrong. A forced mate in 70 could be learned within a degree of accuracy that would finish chess forever.

There isn't one though. It would already have been found.

This position was argued over for a century, half the time it was believed to be a White win and half the time a draw,

Black to play
 

The longest possible distance to mate with a pair of blocked pawns on the g file and a White pawn on the h file is 33 moves.

So if there were a mate in 70 from this position

White to play


 it would already have been found.

Really?

Avatar of MEGACHE3SE
tygxc wrote:

@8224

"that hasnt been calculated"
++ This HAS been calculated

Figure 2
1 s / move: 11.8% decisive games
1 min / move: 2.1% decisive games

Extrapolating:
1 h / move: 2.1% * 2.1 / 11.8 = 0.4% decisive games
60 h / move: 2.1% * (2.1 / 11.8)² = 0.07% decisive games
Converting to 17 s at 10^9 nodes/s and assuming 100 positions/game:
1 error in 10^5 positions
Hence 1 occurence in 10^20 positions that the table base exact move is not among the top 4 engine moves.

There are almost more errors in your logic then lines of text in your comment

there is no justification for the decisive game/ time per move function u use.

you falsely assume 1 error per decisive game

you falsely assume some sort of comparison between alphazero and your '10^9 nodes' thing

you ignore the fact that there were pre set starting openings.

you falsely assume that your program could catch any errors made.  

you falsely assume that different nodes are of comparable strength.

you falsely assume that the 'top 4' are going to have equivalent individual chances of finding the correct moves.

you also assume a pre existing set of positions to evaluate.  that set doesnt exist yet.

your jump to the "10^9 nodes" is so baseless that it is hard to even begin with what goes wrong with it, because there isnt any reason given for it in the first place.

my best guess at what you erred there was to conflate an alphazero evaluation to be equivalent to a single node.

marattagin also gives some hard data.

Avatar of MEGACHE3SE
shangtsung111 wrote:
tygxc wrote:

@8226

"disagree with statement ...regards a theorem as completely certain without proof"
It is a fact that the famous mathematician Euler - after thinking about it - regarded Goldbach's conjecture as a completely certain theorem without a proof. He wrote that.
Provability is a higher degree of truth.

Euler said that because he never saw mertens conjecture,and disproof .even though we respect mathematicians in history we cant accept everything they say as truth.its like trusting an excellent general's (from medieval times)opinions on nuclear weapons ,right?

you are falsely assuming euler's intent when saying 'absolutely certain' theres a thing called rhetoric.  

Avatar of MEGACHE3SE

txgyc your entire stance is based of taking obscure measurements, info, taking obscure operations on them, and peddling them off as solidly based and concrete logic.  

why else do you think nobody at stockfish has made any of your claims?

Avatar of DiogenesDue
Optimissed wrote:

No, it's wrong. A forced mate in 70 could be learned within a degree of accuracy that would finish chess forever.

There isn't one though. It would already have been found.

Still having a problem understanding big numbers, I see.  Super GMs can't even keep move orders from their own morning prep straight, by the way.  

Avatar of James6857

very interesting, good job Hyvee Huddle App

Avatar of MEGACHE3SE
shangtsung111 wrote:
MEGACHE3SE wrote:
shangtsung111 wrote:
tygxc wrote:

@8226

"disagree with statement ...regards a theorem as completely certain without proof"
It is a fact that the famous mathematician Euler - after thinking about it - regarded Goldbach's conjecture as a completely certain theorem without a proof. He wrote that.
Provability is a higher degree of truth.

Euler said that because he never saw mertens conjecture,and disproof .even though we respect mathematicians in history we cant accept everything they say as truth.its like trusting an excellent general's (from medieval times)opinions on nuclear weapons ,right?

you are falsely assuming euler's intent when saying 'absolutely certain' theres a thing called rhetoric.  

i know what rhetoric is .what i wanted to say was whatever euler says it doesn't change the case,still we need proof .i also explained it in my another post after that one.

i clicked to quote on the wrong message i meant the one that u were responding to

Avatar of MEGACHE3SE
shangtsung111 wrote:

and also it was tygxc who brought euler's statement up.

i was responding to tygxc but clicked ur message by mistake

Avatar of tygxc

@8236

"Where did Euler say that?"
++ He wrote that on June 30, 1742 in a letter to Goldbach:
'Dass ... ein jeder numerus par eine summa duorum primorum sey,
halte ich für ein ganz gewisses theorema, ungeachtet ich dasselbe nicht demonstriren kann.'

Avatar of tygxc

@8234

"YOUR CALCULATIONS DON'T WORK."
++ They do. You do not understand.

Avatar of tygxc

@8235

"This topic is not about whether chess is a draw.
It's about whether it can be proven to be a draw."
++ The topic weakly solving chess is about finding out how to draw.
We already know chess is draw.

Avatar of tygxc

@8240

"Let’s say chess is solved by a super computer. Does it change anything for us?"
++ A player knowing part of the solution has an advantage.

Avatar of tygxc

@8242

"If it turns out to be forced win in say less than a hundred moves it would be possible to follow and we may as well all give up playing."
++ It cannot be a forced win, it is a forced draw.
It is indeed a forced draw in less than about 100 moves.
Assuming 4 non-transposing choices per move
4^100 = 10^60.
There are only 10^44 legal positions of which 10^38 with promotions restricted to either a queen or a previously captured piece and of which 10^34 resulting from reasonable play.

That is why weakly solving chess to a draw needs 10^22 positions the stupid and dumb way with no restrictions, 10^19 positions with restricted promotions and 10^17 positions in the smart and clever way.

Avatar of MEGACHE3SE
tygxc wrote:

@8234

"YOUR CALCULATIONS DON'T WORK."
++ They do. You do not understand.

no its that YOU dont understand that they dont work.