Back on topic after the spamming spree of the trolls.
The game-theoretic value of a game is the outcome when all participants play optimally.
Ultra-weakly solved means that the game-theoretic value of the initial position has been determined. There is massive evidence that Chess is a draw.
- Expert opinions of all World Champions.
- AlphaZero self play 97.7% draws at 1 min / move, more with more time,
even if stalemate is declared a win. - TCEC with imposed 50 slightly unbalanced openings to prevent all draws.
- Human World Championships and top tournaments.
- ICCF World Championship Finals: 136 games = 127 draws + 6 white wins + 3 black wins.
table base win claims of > 50 moves without capture or pawn move allowed but do not occur - A tempo in the initial position is worth 1/3 pawn. You cannot queen a tempo.
Weakly solved means that for the initial position a strategy has been determined to achieve the game-theoretic value against any opposition.
Strongly solved is being used for a game for which such a strategy has been determined for all legal positions. For Chess this means a 32-men table base with 10^44 positions.
Weakly solving Chess needs 10^17 relevant positions.
- Samples of the 10^44 legal positions or the 10^37 positions without promotion to pieces not previously captured cannot be reached by optimal play from both sides.
- Checkers needed 10^14 positions to weakly solve and Losing Chess 10^9.
- Connect Four has been solved with 9 knowledge rules.
- A strategy can be brute force, can be a set of rules, or a combination of both.
- An engine of 10^9 positions / s running for 17 s (or a desktop for 4.7 h) includes the table base exact move in its top w = 4 moves with 1 error in 10^20 positions.
- The average length of ICCF WC games is d = 39 moves.
- 1104 ICCF WC draws are perfect games with optimal play from both sides.
- An upper bound U assuming no transpositions is U = ( w^(d + 1) - 1) / (w - 1).
- A lower bound L assuming full transpositions is L = e^w, regardless of d.
- An estimate E is the geometric mean of the upper and lower bounds: E = sqrt (L * U).
Cloud engines can calculate a billion positions / s.
A year counts 365.25 d / a * 24 h / d * 3600 s / h = 31,557,600 s / a.
Thus 3 cloud engines can weakly solve Chess in 5 years.
Humans are necessary to restrict the calculation to relevant positions only.
GM Sveshnikov said:
'Give me five years, good assistants and the latest computers
- I will bring all openings to technical endgames and "close" chess.'
The 'give me' implies 3 million $
to hire 3 (ICCF) (grand)masters 40 h / week and rent 3 cloud engines 24 / 7 for 5 years.
Don't like her.
Oh, I thought you meant your daughter in law. Didn't think of Liz Truss.