Will computers ever solve chess?

Sort:
Avatar of cobra91
Preggo_Basashi wrote:
cobra91 wrote:
Preggo_Basashi wrote:

Oh, I see what you mean.

Yeah, and with AI doing more and more in the future stigmas like this wont even exist.

You say this very confidently, as though it were merely a statement of common sense. But in all the reading I've ever done over the last 5-10 years regarding advances in AI, I have yet to come across convincing evidence of this (i.e. the implication that, within the next 1-2 decades, all forms of human intelligence, skill, and expertise will be surpassed by that of AI capabilities and thus become entirely meaningless/irrelevant). Note that, when I say "convincing evidence", I am talking about well-documented, reproducible results achieved by AI in a legitimate real-world environment without any kind of human guidance or assistance.

The problem with such claims (I have heard numerous such "factual" pronouncements over the years) is that the people making them rarely understand what is meant by "all forms of human intelligence, skill, and expertise" in a practical context. By necessity, most of what that actually encompasses is going to lie outside the purview of the individual making said claim. So what these AI-related proclamations really amount to is something like: "Inevitably, computers will soon be able to perform better than all living humans at task X, where X could represent the domain of specialization of any living person on the planet, including many domains that I know little or nothing about." Of course, the only basis for this would be meaningful, verifiable progress towards designing a machine that will be able to perform a useful task... to be decided upon after designing said machine.

I didn't mean 1 to 2 decades.

Honestly I didn't have a time frame in mind, but lets say 1000 years from now. If tech keeps advancing they'll look back on these times like we might the dark ages

Well, admittedly, it would be pretty difficult for me to name anything that could be deemed implausible (never mind impossible) within a thousand-year time frame, so that's fair enough, I guess. happy.png

Avatar of DiogenesDue

Re: 1000 years...I'm not too hopeful of mankind making it past 500 years from now given advances in bio/genetics and the inevitability of nuclear proliferation (never mind global warming/pollution).  It is simply a matter of time before a fanatic (politcal or religious) gets their finger on a button they should not.

Ergo, it's of paramount importance that humanity establish a self-sustaining colony off-world ASAP wink.png.   Terra Firma has been a single egg basket for a dangerously long time at this point.

Avatar of DiogenesDue
s23bog wrote:
btickler wrote:

Re: 1000 years...I'm not too hopeful of mankind making it past 500 years from now given advances in bio/genetics and the inevitability of nuclear proliferation.  It is simply a matter of time before a fanatic (politcal or religious) gets their finger on a button they should not.

Ergo, it's of paramount importance that humanity establish a self-sustaining colony off-world ASAP . 

In regards to that, what do you think of Trump's Space Force Initiative?

I think that anything and everything labelled "Trump" is a complete farce...what else would anyone reasonable think? wink.png

Avatar of Preggo_Basashi
btickler wrote:

Re: 1000 years...I'm not too hopeful of mankind making it past 500 years from now given advances in bio/genetics and the inevitability of nuclear proliferation (never mind global warming/pollution).  It is simply a matter of time before a fanatic (politcal or religious) gets their finger on a button they should not.

Ergo, it's of paramount importance that humanity establish a self-sustaining colony off-world ASAP .   Terra Firma has been a single egg basket for a dangerously long time at this point.

Meh, I think it will be hard to kill all humans. There are so many and in so many places after all.

Killing the great majority, or even 99%, sure, but all humans? Someday, but not in 500 years I think.

Avatar of Preggo_Basashi
s23bog wrote:

what do you think of Trump's Space Force Initiative?

Like most things regarding Trump, it's worthy of both a good laugh, and a good cry.

Avatar of LawAndOrderKeeng
s23bog wrote:

In Ecuador, they use sugar to produce ethanol.  Sugar instead of corn.  I never did speak with anyone in Ecuador about using the land to grow hemp for its oil, but if anyone at all is paying attention to me, then those authorities should know that this authority says that it what should be done with the land.

This is the best way to solve chess.

Avatar of vickalan
cobra91 wrote:
vickalan wrote:
troy7915 wrote:

...However, it can safely be ruled out that if chess is either a win for White or Black, losing in 16 moves is not a perfect game...

I don't think that has been proven. There may be a perfect game where one side can force a win in 16 moves. Or do you know of a mathematical study that shows it's impossible?

My answer would be that, yes, it could definitely be proven that a checkmate in 16 moves cannot be forced by either side from the starting position. It would likely require a significant investment of both human effort and computational resources, and custom written software might be needed as well, but there is no doubt whatsoever that it is feasibly doable.

When running on sufficiently powerful hardware, the strongest modern-day engines can easily reach calculation depths of over 30 ply when given enough time to analyze a position. And for anyone familiar with typical engine analysis, the results speak for themselves -- it is not uncommon for strong programs such as Stockfish to announce mate in 15+ moves, even in situations where tablebase lookups would be quite useless.

Of course, there are also two main reasons why this  (the impossibility of a forced mate in 16 from the starting position) has probably not been proven in the absolute mathematical sense. For one thing, the study of the game of chess itself is not something that tends to attract the interest of professional mathematicians, and so you are not going to find very many formal mathematical proofs that are directly related to normal FIDE chess; all of the heavy lifting, with regard to chess theory, is being done by professional players and/or experts specializing in home analysis, using the best chess software and hardware available. Secondly, there would be no practical purpose for a definitive resolution of such a question. Among other reasons, it would not be useful because the answer is already obvious to anyone who has devoted serious time to theoretical chess analysis.

Good to hear from you @cobra91!  Very good analysis. Obviously it can only be proven that no perfect game with a 16-move checkmate exists if in fact there is none. So I would say this can be "answered" rather than "proven". Other than that I completely agree with your assessment.happy.png

Avatar of italias

hi guys me amatur

Avatar of italias

hi guys me amatur

Avatar of italias

hi guys me amatur

Avatar of vickalan
s23bog wrote:

How many games of exactly 16 moves in length are there that end with either a checkmate, stalemate, or any other type of forced draw?

I'm not sure. As for the number of positions after 16 moves, and using the assumptions that Shannon used to calculate the total number of chess games, I think there would be about 10^48 positions (1,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000). To the best of my knowledge nobody has cataloged them all to see if there are any forced wins by either side.

Avatar of LawAndOrderKeeng
s23bog wrote:

Quite possibly, securing a renewable energy source is a crucial step towards enabling computers to solve chess.  There are energy demands to meet, correct?

Let's put a bunch of solar panels in every desert of this planet. Then use that energy to power millions of computers to brute force their way to the solution. Saving the world and solving chess, seems like good deal, right?

Avatar of DiogenesDue
s23bog wrote:
vickalan wrote:
s23bog wrote:

How many games of exactly 16 moves in length are there that end with either a checkmate, stalemate, or any other type of forced draw?

I'm not sure. As for the number of positions after 16 moves, and using the assumptions that Shannon used to calculate the total number of chess games, I think there would be about 10^48 positions (1,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000). To the best of my knowledge nobody has cataloged them all to see if there are any forced wins by either side.

Really?  THAT is how you would approach the problem?  That sounds kind like going from the United States to Canada by going through Mexico, Central America, South America, Antarctica then traveling North on the other side of the globe until you pass the North pole and then head south to Canada.

That's a horrible analogy, because you are saying the goal is to travel from one known location to another (so the destination and therefore a route to get there is already known)...which is pretty much the opposite of the situation at hand.  A better analogy would be Magellan trying to circumnavigate the globe...a general direction towards a destination is posited, but nobody knows if it's even truly possible yet, and all types of obstacles will be encountered, must be charted, and avoided while still holding to the goal. 

Avatar of vickalan
s23bog wrote:

Really?  THAT is how you would approach the problem?...

I'm not saying how to approach the problem. I'm just mentioning the number of games. A lot of them would "junk" games, so the problem may not be as difficult as it seems. But still not easy.meh.png

Avatar of cobra91
btickler wrote:

Steady and arguably declining draw rates in TCEC imply the opposite, though.

To say "arguably declining" is just a horrible misrepresentation of the facts. Up until TCEC Season 9 in 2016, draw rates in the Superfinal had been steadily increasing (just as they are in World Correspondence Chess Championships), with the most recent sets of openings (that is, for seasons 7 and 8) selected by IM Erik Kislik. Then, for the Season 9 Superfinal, the selection of openings was done by Jeroen Noomen for the first time, resulting in an entirely new range of much sharper starting positions that were clearly handpicked with obvious intent. Coincidentally, the draw rate in the Season 9 Superfinal was much lower than in Season 8, and Noomen has continued to select the Superfinal openings for Seasons 10 and 11 (draw rates were slightly higher than in Season 9).

This is without even mentioning the fact that draw rates in engine matches are heavily influenced by variables such as contempt, dynamism, etc, and thus are not nearly as reliable as WCCC draw rates.

btickler wrote: 

 The new breed of engines that are bootstrapping their own play vs. being setup with a dataset of human-derived valuations are going to be that much better.

This remains to be seen, especially if such predictions are solely based on the results of the closed-door match between AlphaZero and Stockfish. It is by now quite widely known that the conditions of the match favored AlphaZero to such an extent as to reduce the event to little more than a publicity stunt. Here is a quote from Tord Romstad which accurately summarizes many of the advantages enjoyed by AlphaZero throughout those famous 100 games:

"The match results by themselves are not particularly meaningful because of the rather strange choice of time controls and Stockfish parameter settings: The games were played at a fixed time of 1 minute/move, which means that Stockfish has no use of its time management heuristics (lot of effort has been put into making Stockfish identify critical points in the game and decide when to spend some extra time on a move; at a fixed time per move, the strength will suffer significantly). The version of Stockfish used is one year old, was playing with far more search threads than has ever received any significant amount of testing, and had way too small hash tables for the number of threads."

btickler wrote:

I would argue that any self-driven car that follows just the basic parameters, has the same restrictor plates, tires, etc. would create that same letdown effect.  The key would simply be watching a self-driven car driving effortlessly through a 10-car crash sequence, draft the leader perfectly on the final lap and slingshot to an easy win, etc.

That would probably be true from the perspective of casual fans, but complaints from experts and/or professionals in the sport would be inevitable. And for good reason -- if, for instance, the cars in such races could be operated (by their human drivers) via some form of remote control, a lot more people would be able to compete in the "sport" (could hardly be considered a sport in that case, obviously) at a very high level. The ability to both ride and operate those vehicles while moving at such high speed within a complex environment is what separates pros from amateurs when it comes to driving. A self-driving car merely emulates a human-driven car; it does not truly replicate, much less surpass, the remarkable skill of human drivers.

In any case, my point was that such an achievement would not demonstrate indisputable superiority of AI within the domain of racecar driving, as you had suggested.

Avatar of cobra91
vickalan wrote:
s23bog wrote:

How many games of exactly 16 moves in length are there that end with either a checkmate, stalemate, or any other type of forced draw?

I'm not sure. As for the number of positions after 16 moves, and using the assumptions that Shannon used to calculate the total number of chess games, I think there would be about 10^48 positions (1,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000). To the best of my knowledge nobody has cataloged them all to see if there are any forced wins by either side.

I'm afraid this estimate (~10^48 possible chess positions after 16 moves by each side) is provably inaccurate. For one thing, you made no attempt to account for the astronomical number of transpositions that are possible within the scope of all legally played 16-move games. In other words, many positions are provably reachable via trillions of different 16-move games. So by counting the number of possible games with 16 full moves, you're actually counting most of the possible positions many thousands of times. Thus, an estimate of 10^48 would clearly be off the mark by at least several orders of magnitude, even though the true value is difficult to approximate without doing a lot of tedious calculations and Haskell coding.

You could have also avoided this mistake by evaluating whether or not such an estimate seems reasonable. A commonly cited upper bound for the total number of legal chess positions is 2^155 ~= 10^46.7 (shown at: https://tromp.github.io/chess/chess.html -- you'll need to scroll down to find it), and the positions that can be reached after just 16 moves constitute a mere subset of the full state space of the game. The natural conclusion is that 10^48 must be a severe overestimate of the correct value.

Avatar of square0

Something has to be said for the player aswell, the most important entity in chess. Sometimes a player will know another player so well, that he knows ways to defeat the other player that are more effective, but not necessarily correct. A very blunt example could be, how some people defeat others consistently with the socalled scholar's mate. Now, if they know that the opponent doesn't know how to defend against it, they can mate him in 4 moves. But a computer would never attempt this, because it always assumes the opponent is playing the top notch best moves and so it tries to maximize it's game, but at the same time, not knowing that this particular player always falls for the scholar's mate, the computer even top notch is not as effective as the almost beginner player who knows that his other very much so beginner player always falls for mate in 4 moves. Now, what am I trying to say here, merely that even though the game of chess get's solved, there is something to be said for knowing your enemy, which according to some is the first rule of war. Some players are very good at prodding out the weak points in other players play, and so will against said players be most effective whereas a computer that always go for the objectively best moves will not. This I believe is a form of anticipation and psychology in chess, a form of sense of prophylaxis. Tal was also a good example of this, since it is said that the positions might seem quiet and dull, and suddenly there is a flurry of moves, and some stuff is sacrificed and then he had won. Objectively a computer might say the moves were suboptimal, but they still were highly effective against human opponents. So even if chess gets solved to a win, loss or draw, chess will not die out as long as there are people playing people.

Avatar of EndgameEnthusiast2357
s23bog wrote:
btickler wrote:
s23bog wrote:
vickalan wrote:
s23bog wrote:

How many games of exactly 16 moves in length are there that end with either a checkmate, stalemate, or any other type of forced draw?

I'm not sure. As for the number of positions after 16 moves, and using the assumptions that Shannon used to calculate the total number of chess games, I think there would be about 10^48 positions (1,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000). To the best of my knowledge nobody has cataloged them all to see if there are any forced wins by either side.

Really?  THAT is how you would approach the problem?  That sounds kind like going from the United States to Canada by going through Mexico, Central America, South America, Antarctica then traveling North on the other side of the globe until you pass the North pole and then head south to Canada.

That's a horrible analogy, because you are saying the goal is to travel from one known location to another (so the destination and therefore a route to get there is already known)...which is pretty much the opposite of the situation at hand.  A better analogy would be Magellan trying to circumnavigate the globe...a general direction towards a destination is posited, but nobody knows if it's even truly possible yet, and all types of obstacles will be encountered, must be charted, and avoided while still holding to the goal. 

That was my way of saying that it seemed like taking the long way.

The number of games though is way more, like 10^1000000000000 prolly. And without the 50 move rule, exponentially more! Even quantum computers might have trouble.

Avatar of vickalan
cobra91 wrote:

...Thus, an estimate of 10^48 would clearly be off the mark by at least several orders of magnitude, even though the true value is difficult to approximate...

You're right, I calculated games and not positions. Thanks for pointing that out. I used the same assumptions that Shannon used to calculate the total number of games. See paper below.

(Shannon paper)
While transiting the game tree to 16 moves, some checkmates will also be reached prior to the 16th move. It would also be interesting to see if any of those games (shorter than 16 moves) are perfect games too.

Avatar of chessspy1

" The seeds can be pressed for their oil, then planted to grow many many many more plants."

So Scott, are you saying that pressed seeds can still grow into viable plants? 

Now, I accept that seeds from grapes which have been pressed will still be viable (as long as the grapes were cold pressed)