Maker tries to occupy a rotated or reflected copy of the six-cell Snaky shape while Breaker blocks cells.
1 record · How we rate progress
Trevor Morris reports that Maker, moving first on an empty 15×15 square board, can force a rotated or reflected Snaky hexomino against any blocking play in the weak maker-breaker game.
Read original source Morris–Claude: pinned statement, baseline and AI rolesgithub.com
Original report: 2026-10-08Maker tries to occupy a rotated or reflected copy of the six-cell Snaky shape while Breaker blocks cells. This interest tracks the weak achievement game on finite square boards.
Maker moves first on an empty square board. Breaker claims cells to obstruct Maker; only Maker has an achievement objective in this weak game.
Trevor Morris reports a 15×15 winning strategy produced with Claude assistance. The project provides a certificate, a separate computational checker and a Lean theorem.
Finite-board strategies turn an existence question into an explicit, reproducible combinatorial object.
Distinguish board size, move bounds, weak versus strong game rules, AI attribution, and the exact theorem checked by any proof artifact.
Background review: 2026-10-12. Selected sources:
Publication dates and editorial changes.
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
