[missblit]

I only skimmed it, but it looks like they described this to me.

The next sentence:

> Although there are numerous ways to select subsets that would prove the initial position results in a draw, we used algorithm 1 to obtain a small subset.

Algorithm 1:

> We developed an algorithm that requires predictive scores for all positions with 50 empty squares and returns a subset such that if the all positions belonging to that subset are solved, and the all solutions match the predictions, the initial position is consequently solved. It was described as Algorithm 1.

(The algorithm is also printed out)

[sdwr]

Algorithm 1 doesn't say shit! It says "pick the best move", or "pick all the moves".

From start of game to 50 squares left is enumerable.

From 36 moves left to end-of-game is apparently solvable.

The middle is the combinatorial explosion, and he avoids explaining how he navigates it.

[notdonspaulding]

> From start of game to 50 squares left is enumerable.

A nitpick, but I don't think you meant to say "enumerable" here

"enumerable" means "able to be enumerated, or counted"

https://webstersdictionary1828.com/Dictionary/Enumerate

"innumerable" means "unable to be numbered, or counted"

https://webstersdictionary1828.com/Dictionary/innumerable