RU-ALLRUSSIAN 1961 Problem 12
120 unit squares are arbitrarily arranged in a rectangle (both position and orientation is arbitrary). Prove that it is always possible to place a circle of unit diameter inside the rectangle without intersecting any of the squares.
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.