olymmath

Nemotron-IMO-Bench 2026 G49

    The sum of lengths of finitely many segments in the plane is smaller than 2\sqrt{2}. 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.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator nemotron-imo-bench/2026/g49 · Tag TD5E1VB5M5 · Edit this page on GitHub · Keys: j next, k previous