A shame. I liked him but noticed something was going wrong over the past few months. He's left since I wrote that. Hope he's ok. It's understandable.
Chess will never be solved, here's why
Try to surmise how Greatly, this
Differs, from this
Then you might have it.
Well give us the solution to the first, then we can start surmising.
I couldn't care less. Not anymore. The landscape is barren. All of it. Nothing bad enough can happen to any of you. Good riddance.
Apparently he took "physician, heal thyself" to heart. Good for him.
He seemed obviously out of sorts about a couple of months ago. I had been his friend so tried to talk to him but it seemed to me that he was out of sorts with everything here, so I gave up pretty quickly. People arguing and squabbling can be a downer and he probably did the right thing, to leave.
Surprising as it may seem, some chess players are a little unbalanced.
The Patzers are the Worst.
They don't even make good 'Savants!"
LMAO!!
If you read more of it, you'd find it isn't. But it's a good framework do do whatever's happening here.
Chess will never be solved because it's been two hours since the last post. It will take an eternity at this rate. Please let's not go on about infinities again.
The solution of checkers amounts to two drawing strategies, each with help from a tablebase (and some handy symmetry-based simplifications).
Being able to repeat positions suffices to draw, so the opponent of each strategy needs to avoid this. This allows truncation of all lines that repeat positions in the analysis that generates two drawing strategies (which is mostly about dealing with the large number of opponent options, first by trying the highest evaluation move, then if that fails the next highest, and so on).
At least that's how it seems to me.
When the objective is to find a winning strategy, any repetition can be viewed the same as a loss: these need to be entirely avoided (to have an efficient winning strategy, with no unnecessary waste of time).
It's worth clarifying one of those concepts - when seeking a winning strategy, you may as well strengthen the objective and seek an efficient winning strategy (one that never repeats a basic chess position against any opposition). It seems impossible for this to not be more economical in computing time. In fact if your strategy provides a single move for each basic chess position, this has to be so (as then a repetition can always be turned into and n-fold repetition and a draw by the opponent).
And another. When seeking a drawing strategy, you can effectively view a single repetition as a draw. The opponent needs to be able to avoid these (by finding an efficient win) to refute your strategy.
And, put like that, it is clear the two are closely related.
I have said many moons ago that the number of positions considered depends on the method of solution.
@tygxc plans to run (unmodified) SF for 17 seconds a large number of times on a cloud engine. The question is how many positions at 10^9 seconds will he be be considering? He cuts down the percentage of the total number of positions in some (cough) ingenious ways, but what total should he be starting off with?
It is possible to avoid repeated positions as you point out, but SF doesn't. This is an example of Stockfish 15 play.
Count the repetitions.
@8594
"the number of positions considered depends on the method of solution"
++ No, it does not.
Strongly solving Chess needs all 10^44 legal positions.
All weak solutions are subsets of the strong solution.
The strong solution needs all legal positions: draws, wins, and losses.
The weak solutions only contain drawn positions.
They hop from the initial drawn position to other drawn positions and finally to a 7-men endgame table base draw, or a prior 3-fold repetition, or another clear draw.
The estimate of 10^17 positions for a weak solution does not depend on the method.
The vast majority of the 10^44 legal positions cannot result from optimal play by both sides because of multiple underpromotions to rooks or bishops by both sides.
A better estimate is thus Gourion's 10^37 positions without promotions to pieces not previously captured. That is a bit too strict: positions with 3 or 4 queens happen in ICCF WC draws that are > 99% certain to be perfect games with optimal play from both sides. Thus multiply by 10 to include 3 or 4 queens, that gives 10^37 * 10 = 10^38.
Inspection of a random sample of 10,000 positions as counted by Gourion reveals none can result from optimal play by both sides.
That leaves 10^38 / 10,000 = 10^34 positions.
Weakly solving needs only 1 black response to each white move, not all responses.
That leaves Sqrt (10^34) = 10^17 positions relevant to weakly solving Chess.
Nowhere in this calculation has the precise method to weakly solve Chess been invoked.
It doesn't matter. One of you will hear me.
I can hear you. I always liked you and hope you're ok. I agree it's a pain in the neck and each of us, over time, gets stuff a bit wrong.