Chess will never be solved, here's why

Sort:
MARattigan
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.

The demented parrot strikes again! 

I'll repeat what I wrote in post #7503:

++ I have even quantified the error rate: 1 error in 10^5 positions for a 10^9 nodes/s engine calculating 17 s/move.

The flaws in your method have already been pointed out.

You say here 

Your desktop is 1000 times slower than a cloud engine of 10^9 nodes/s. Time * 60 gives 5.6 times less error. 

If you were to look at these games as you steadfastly refuse to do, you will notice that four of them were played at 37 mins. per move. According to your figures, 17 sec. per move on your cloud engine is equivalent to about seven and a half times the time I  allocated on my desktop, so according to your "calculation" these games should have 1 half point blunder in around 42,500 ply.

The four games have a total of 290 ply so according to your "calculation", the expected total number of half point blunders in the games is about 0.007.

User @cobra91 has carefully checked the actual total with the Syzygy tablebase here. It comes to 11.

YOUR CALCULATIONS DON'T WORK. CAN YOU STOP POSTING THEM, PLEASE?

The answer is obviously ++No.

DiogenesDue
Optimissed wrote:

Again, it's a matter of personal conviction and, probably, personality type. This is the second time I've typed this within 24 hours. But a personality type that chooses to avoid certainty may well avoid the worst errors, whilst a personality type that chooses to judge as if it is with certainty may make an error but stands much more chance of far greater success. One personality type is not right and the other wrong. Therefore, it is perfectly correct to claim that we know that chess is a draw.

Except that in this case any person's willingness to "take a risk" with their conclusion is, in fact, wrong, by definition.  This topic is not about whether chess is a draw.  It's about whether it can be proven to be a draw.  The answer is no, for the foreseeable future of humanity.

Scroll up to the top of page.  Now read the thread title.  Do you see the word "draw"?

MARattigan
tygxc wrote:

@8208

"hikaru says also draw but he is very confident. when they asked he says we just know it"
++ 'That ... every even integer is a sum of two primes,
I regard as a completely certain theorem, although I cannot prove it.' - Euler
Still considered true, still unproven.

Where did Euler say that?

MARattigan
Optimissed wrote:
btickler wrote:
...

Basically it can't be proven to be a draw deductively. But we know it's a draw and that isn't a guess.

You probably wouldn't understand that.
...

Few rational people would.

Silent_Tears

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.

MARattigan
Optimissed wrote:

Yes I'm sure that's correct. You have to be intelligent too.

No, you just have to use words in a different way from everybody else, as you claim the right to do. In this case you use the word "know" to refer to the concept that others refer to as "guess".

Not sure what you use "guess* for, given that you say  you know and it isn't a guess. Probably if you have paranormal abilities you can mean the same and different things in one sentence. 

MARattigan
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.

If it turns out to be a draw or a win in 2000 moves it would make very little difference,. Youl'd just get different opening theory with a lot more lines, but it would be impossible to follow for any great number of moves, 

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.

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.

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.

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.

     

Elroch

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

MARattigan

You only need a big red telephone for that.

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?

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.

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.  

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?

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.  

James6857

very interesting, good job Hyvee Huddle App

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