In the initially empty infinite square-board weak Maker–Breaker game, Maker can complete a translated, rotated or reflected Snaky hexomino within 21 legal Maker claims against every legal Breaker play.
In the initially empty infinite square-board weak Maker–Breaker game, Maker can complete a translated, rotated or reflected Snaky hexomino within 21 legal Maker claims against every legal Breaker play.
In the initially empty infinite square-board weak Maker–Breaker game, Maker can complete a translated, rotated or reflected Snaky hexomino within 21 legal Maker claims against every legal Breaker play.
Settles the previously undecided empty-board planar game with a concrete finite-move strategy.
The exact mathematical claim, its prior baseline, AI origin and checking scope are documented in the cited sources.
Publication dates and editorial changes.
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
