Page 2 of 11

Re: Checkers Solved - Chess around year 2060-2070!

Posted: Sat Jul 21, 2007 8:52 am
by Leto
bob wrote:
Terry McCracken wrote:
bob wrote:
that 2060 stuff shows such an incredible lack of comprehension that it really doesn't deserve a comment at all. It is a ridiculous statement. Only down-side is that I doubt I will live long enough for the idiocy of that statement to be proven. I'm almost 60 now. I'd need to live past 120 to see that fallacy put to rest...

chess won't be solved by 2060. Or even 2160.
Robert..Never say Never! I think throwing out a number like that was irresponsibly stupid as well, but we don't know when or exactly how chess will be solved. However, I do believe it's possible with the right technology and methods.

Terry
Simply not possible with any conceivable approach. More chess positions than atoms in the universe, by a _large_ margin. Even using quantum states to store multiple bits per atom would not be possible as there are not enough states.

This is something that simply is not going to happen. Even a density of one billion times one billion times greater than today's chips won't even come close...
You might find this article interesting:
http://www.sciencenews.org/pages/sn_arc ... 9/bob2.htm

"David Deutsch and Artur Ekert of the University of Oxford in England have considered how a chess-playing quantum computer would use Grover's procedure. It could investigate a trillion possible continuations from a given position in the same number of steps as a conventional computer would need to check out a million. Quantum superposition allows the computer to cancel out a lot of unpromising possibilities that a conventional computer must look into one by one."

Re: Checkers Solved - Chess around year 2060-2070!

Posted: Sat Jul 21, 2007 9:59 am
by Uri Blass
bob wrote:
Terry McCracken wrote:
bob wrote:
that 2060 stuff shows such an incredible lack of comprehension that it really doesn't deserve a comment at all. It is a ridiculous statement. Only down-side is that I doubt I will live long enough for the idiocy of that statement to be proven. I'm almost 60 now. I'd need to live past 120 to see that fallacy put to rest...

chess won't be solved by 2060. Or even 2160.
Robert..Never say Never! I think throwing out a number like that was irresponsibly stupid as well, but we don't know when or exactly how chess will be solved. However, I do believe it's possible with the right technology and methods.

Terry
Simply not possible with any conceivable approach. More chess positions than atoms in the universe, by a _large_ margin. Even using quantum states to store multiple bits per atom would not be possible as there are not enough states.

This is something that simply is not going to happen. Even a density of one billion times one billion times greater than today's chips won't even come close...
This is not correct that there are more chess positions than atoms in the universe.

number of atoms in the universe is clearly more than 10^50 when number of chess positions is clearly less than 10^50

Number of chess positions also prove nothing about the possibility of solving chess because it may be possible to solve chess without analyzing all positions.

Uri

Re: Checkers Solved - Chess around year 2060-2070!

Posted: Sat Jul 21, 2007 10:11 am
by Tord Romstad
bob wrote:Simply not possible with any conceivable approach. More chess positions than atoms in the universe, by a _large_ margin. Even using quantum states to store multiple bits per atom would not be possible as there are not enough states.
It is not at all obvious that you need to inspect every possible chess position in order to solve chess. At least in principle, it could happen that we discover theorems (with the help of very sophisticated computer programs) which can classify huge classes of positions as won, lost or drawn without searching every single position. As a trivial example, consider the endgame of KR vs K: It is easy to prove by hand that the side with the rook is winning, without looking at a big number of concrete positions.

The world "solved" is also not quite as easy to define as it might first appear. Imagine that some time in the distant future, we have built some super-powerful AI vastly more intelligent than ourselves, and that this AI writes a program which solves chess, using algorithms so complicated that no human could possibly understand them. The AI tells us that "chess is a draw", but cannot explain us how or why in a language we can understand. In this scenario, would you say that chess has been solved?

Tord

Re: Checkers Solved - Chess around year 2060-2070!

Posted: Sat Jul 21, 2007 12:15 pm
by Martin Thoresen
Tord,

With talk like that I really want to watch a good sci-fi movie. ;)

Re: Checkers Solved - Chess around year 2060-2070!

Posted: Sat Jul 21, 2007 12:27 pm
by Gandalf
Knowing that advances in computing speed are not linear, isn't it at least plausible that with distributed computing in, say, 50 years solving chess could be achieved?

Re: Checkers Solved - Chess around year 2060-2070!

Posted: Sat Jul 21, 2007 2:39 pm
by gerold
Gandalf wrote:Knowing that advances in computing speed are not linear, isn't it at least plausible that with distributed computing in, say, 50 years solving chess could be achieved?
State-space complexity of 10 to the 46th Chess will not be solved.

Re: Checkers Solved - Chess around year 2060-2070!

Posted: Sat Jul 21, 2007 6:17 pm
by bob
Leto wrote:
bob wrote:
Terry McCracken wrote:
bob wrote:
that 2060 stuff shows such an incredible lack of comprehension that it really doesn't deserve a comment at all. It is a ridiculous statement. Only down-side is that I doubt I will live long enough for the idiocy of that statement to be proven. I'm almost 60 now. I'd need to live past 120 to see that fallacy put to rest...

chess won't be solved by 2060. Or even 2160.
Robert..Never say Never! I think throwing out a number like that was irresponsibly stupid as well, but we don't know when or exactly how chess will be solved. However, I do believe it's possible with the right technology and methods.

Terry
Simply not possible with any conceivable approach. More chess positions than atoms in the universe, by a _large_ margin. Even using quantum states to store multiple bits per atom would not be possible as there are not enough states.

This is something that simply is not going to happen. Even a density of one billion times one billion times greater than today's chips won't even come close...
You might find this article interesting:
http://www.sciencenews.org/pages/sn_arc ... 9/bob2.htm

"David Deutsch and Artur Ekert of the University of Oxford in England have considered how a chess-playing quantum computer would use Grover's procedure. It could investigate a trillion possible continuations from a given position in the same number of steps as a conventional computer would need to check out a million. Quantum superposition allows the computer to cancel out a lot of unpromising possibilities that a conventional computer must look into one by one."
"trillion" being the failing point. We need to cover about 2^160 positions. A trillion is about 2^40. Leaving a paltry 2^120 units of time to search those...

Better break out the s'mores and soft drinks. we gonna be here a while...

Re: Checkers Solved - Chess around year 2060-2070!

Posted: Sat Jul 21, 2007 6:20 pm
by bob
Uri Blass wrote:
bob wrote:
Terry McCracken wrote:
bob wrote:
that 2060 stuff shows such an incredible lack of comprehension that it really doesn't deserve a comment at all. It is a ridiculous statement. Only down-side is that I doubt I will live long enough for the idiocy of that statement to be proven. I'm almost 60 now. I'd need to live past 120 to see that fallacy put to rest...

chess won't be solved by 2060. Or even 2160.
Robert..Never say Never! I think throwing out a number like that was irresponsibly stupid as well, but we don't know when or exactly how chess will be solved. However, I do believe it's possible with the right technology and methods.

Terry
Simply not possible with any conceivable approach. More chess positions than atoms in the universe, by a _large_ margin. Even using quantum states to store multiple bits per atom would not be possible as there are not enough states.

This is something that simply is not going to happen. Even a density of one billion times one billion times greater than today's chips won't even come close...
This is not correct that there are more chess positions than atoms in the universe.

number of atoms in the universe is clearly more than 10^50 when number of chess positions is clearly less than 10^50

Number of chess positions also prove nothing about the possibility of solving chess because it may be possible to solve chess without analyzing all positions.

Uri
It takes 2^160 bits to encode a chess position. And that ignores the 50 move rule and repetitions. To prove the game won, lost or drawn is _far_ more than just enumerating all the possible positions. Pathways have to be included and that turns this into a _huge_ problem. And "huge" doesn't really do it justice.

Re: Checkers Solved - Chess around year 2060-2070!

Posted: Sat Jul 21, 2007 6:22 pm
by bob
Tord Romstad wrote:
bob wrote:Simply not possible with any conceivable approach. More chess positions than atoms in the universe, by a _large_ margin. Even using quantum states to store multiple bits per atom would not be possible as there are not enough states.
It is not at all obvious that you need to inspect every possible chess position in order to solve chess. At least in principle, it could happen that we discover theorems (with the help of very sophisticated computer programs) which can classify huge classes of positions as won, lost or drawn without searching every single position. As a trivial example, consider the endgame of KR vs K: It is easy to prove by hand that the side with the rook is winning, without looking at a big number of concrete positions.

The world "solved" is also not quite as easy to define as it might first appear. Imagine that some time in the distant future, we have built some super-powerful AI vastly more intelligent than ourselves, and that this AI writes a program which solves chess, using algorithms so complicated that no human could possibly understand them. The AI tells us that "chess is a draw", but cannot explain us how or why in a language we can understand. In this scenario, would you say that chess has been solved?

Tord
There is other issues. As I mentioned previously, "paths" are critical because of repetitions and the 50-move rule.

As far as your question, no. The proof has to be verifiable in order to be accepted. I've already seen way too many programs claim a mate in N when it is a mate in N-x or N+x or not even a mate at all because of repetitions or the 50 move rule.

Re: Checkers Not (completely) Solved

Posted: Sat Jul 21, 2007 6:25 pm
by Uri Blass
Dirt wrote:
bob wrote:
that 2060 stuff shows such an incredible lack of comprehension that it really doesn't deserve a comment at all. It is a ridiculous statement. Only down-side is that I doubt I will live long enough for the idiocy of that statement to be proven. I'm almost 60 now. I'd need to live past 120 to see that fallacy put to rest...

chess won't be solved by 2060. Or even 2160.
One standard of considering a game "solved" is that an optimal move, in the sense never converting a won position into a draw or a draw into a loss, can be determined for every reachable position. This standard has not been achieved in checkers. They have "only" shown that with best possible play the result is a draw.

Proving chess to be a draw is probably also much easier than creating a full 32-piece set of tablebases. A certain draw for chess may be easy enough that it is eventually proved, but I am amazed such an exact time frame for success would be suggested.
Another meaning of solving a game is if there is a program that the perfect player is unable to beat in a match.

I suspect that checkers was solved by this meaning already some years ago.

I remember that the last checkers computer tournament was from predefined positions and even in this conditions almost all the games were drawn so I suspect that playing from the opening position when programs can use opening book could lead to 100% draws by the top programs.

Uri