RU-ALLRUSSIAN 1985 Problem 22
Given a large sheet of squared paper, show that for you can cut along the grid lines to get a rectangle of more than unit squares such that it is impossible to cut it along the grid lines to get a rectangle of unit squares from it.
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.