olymmath

Nemotron-IMO-Bench 2026 G34

    Let TT be an equilateral triangle in the plane and let XX be a finite set of points in the plane such that any subset of XX with no more than 99 elements can be covered by two translates of TT. Prove that XX can be covered by two translates of TT.

    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/g34 · Tag 7ME1YKWW6G · Edit this page on GitHub · Keys: j next, k previous