Gardner's Pawns
D₇ = 7, Certified
A 1976 Martin Gardner puzzle, a 2023 paper and a 2026 preprint that quietly disagree at n=7 — settled tonight with a machine-checked proof, plus a full census of all 56 optimal boards.
An interactive piece, first published as a note on 2026-08-15.