On: AI-assisted proof of optimal packing for 11 squares

[vintermann]

Pretty! I checked OEIS, and the "interesting" tilings appear to be for numbers k where k < floor(sqrt(k)) * ceiling(sqrt(k)) (A189151).

Probably obvious for people who try to find these tilings, but I thought it was neat.