Nemotron-IMO-Bench 2026 G49
The sum of lengths of finitely many segments in the plane is smaller than . Prove that there is a unit square grid cover of the plane such that the lines defining the grid do not intersect any of the given segments.
Dataset text Nemotron-IMO-Bench. Open licence.
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.