ISL 1979 Problem 13
The plane is divided into equal squares by parallel lines; i.e., a square net is given. Let be an arbitrary set of squares of this net. Prove that it is possible to choose no fewer than squares of in such a way that no two of them have a common point.
Dataset text AI-MO AoPS. 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.
Similar problems
These problems have the most words in common with this statement.