@9714
"a weak solution consists of a strategy"
++ Knowledge-based methods are just as acceptable as brute-force methods.
While you can use hard knowledge like a tablebase, you absolutely cannot use INDUCTIVE knowledge in a proof. For example you are absolutely NOT permitted to treat all positions where one side is a queen up as winning for them. Your notion is exactly as invalid as this.'It is often beneficial to incorporate knowledge-based methods in game-solving programs'
Games solved: Now and in the future
If you could understand the paper on solving checkers you would realise that the only way heuristic (I.e. inductive ) knowledge is used is to suggest candidate moves to use in a strategy, NEVER as part of a proof.
"against ANY opponent moves" ++ Correction: against any opposition.
My understanding is correct. Your understanding is wrong, as the authors of the paper about checkers explain.
"it needs to deal with all dumb sequences of opponent moves"
++ No. You can prune. 1 e4 Nf6 2 Qh5? is a loss for white without needing any game tree.
That is an admission that you have no idea what solving chess means.
@9723
"a chess position isn't perfect information"
++ It is: you know all pieces from both sides. It is unlike Bridge, Stratego, Backgammon (you know the pieces, but not the dice), Dominoes, Poker...