Combinatorics · Oct 2, 2026
Packing up to seven unit squares in a circle
Optimal packings and lower-bound proofs are reported for these finite cases.
Scope and what remains
Seven is a finite range, not a general formula for every number of squares. Pin the permitted rotations and contact conventions.
Contributors
Source project authors, with GPT and Claude assistance reported; distinguish configuration discovery from lower-bound proof generation.
AI systems: Claude