The square covering problem asks for the largest square that can be completely covered by congruent unit squares, allowing
the unit squares to overlap and to have arbitrary orientations.
Pegg (2026) reported a construction by R. Chi in which 12 unit squares cover a square of side length