#2730
"1) as for chess, an optimal strategy and a game-theoretic value for checkers was not known"
++ The game-theoretic value of Checkers was known to be a draw long before that was proven and likewise the game-theoretic value of Chess is known to be a draw before it will be proven. The Riemann hypothesis is known to be true but not yet proven: several people try to prove it, none try to disprove it.
"2) more important to me is that "the vast majority [of openings] can be eliminated due to transpositions and alpha-beta cutoffs." ++ That is what I say about chess all the time.
"they just did not check because the evaluation function at some depth said those positions are almost certanly a loss or a win (like e.g. a -6 or +6 in chess, using the pawn value as a measure of the advantage)"
++ In chess a stable -1 or +1 is enough to win.
"The winning of a pawn among good players of even strength often means the winning of the game." - Capablanca,
"An endgame with an extra pawn is won, the plan is to queen the pawn.
An endgame with an extra knight is won, the plan is to trade the knight for a pawn" - Capablanca
"A pawn is a pawn" - Fischer
1 e4 e5 2 Ba6 is a sure loss for white, without having worked out all possibilities to checkmate.
"That is chess while other openings almost certainly would lead to a draw, then indeed some approximations would have been made."
++ If 1 e4 and 1 d4 are draws, then 1 a4 is surely no better than a draw either.
"the alpha-beta search (nominal depths 17-23 plies) used in Chinook was not designed to solve checkers, and it occasionally determined a proven win or loss"
++ Stockfish is not designed to solve Chess, but it can be used to weakly solve chess.
"We only needed the bound to prove the root value. At the time of this writing, ongoing computations are working on turning these bounds into proven results (Loss or Draw)"
++ To weakly solve chess we do not need to look at all openings, only those judged relevant.
"machines will be used to solve additional openings"
++ So after chess is weakly solved people can solve 1 a4 as well if they like.
Yes that's the difference.
There could be other ways to assign the difference.

If I've got it right - you're suggesting the definitions you've now posted might arguably be the most practical?
Regarding 'solution' - several times possible connections of the forum topic to non-computer chess and chessplaying seem to have been posted - whether intentionally or not.
Mathematically - something is either solved or its not.
Prevalent I'd say.
But does the approach always have to be entirely mathematical ?
@tygxc 's 'solution' appears to be some kind of 'computer heuristics'.
But I'm thinking that approach doesn't have to be that 'heuristical'.
A better 'pruning' method would instead of just numbly and arbitrarily choosing four candidate moves each ply ...
instead go by evaluation numbers.
In both cases - the method depends on the computers' evaluations ...
but why cripple it further with '4' so crassly arbitrary ?
Much better: (for whatever purpose - the project or the discussions) - devise an approach using the evaluation numbers instead.
If in any position a 'timely strategy' is available that leaves the player not on move with a best move with disadvantage of 6 points or a 'timely strategy' is available to the player on move that avoids a loss against any opposition - then that position is arguably 'Categorized' as winning or drawing.
Does '6 points' imply an advantage equivalent to more than a rook of material advantage ? I think so. Am I sure?
Its not always like that.
If somebody's one pawn up that's going to promote -
then the computer might even be able to see ahead to mate.
Mate in 50 ? I haven't seen it or even mate in 20 in the tactics puzzles -
But I've seen advantages of plus 50 many times ...
Plus 50 versus plus 30 .... ??