olymmath

Nemotron-IMO-Bench 2026 N17

    The greatest common divisor of a set DD of positive integers is 11. Prove the existence of a bijection f:Z→Zf: \mathbf{Z}\to \mathbf{Z} such that ∣f(n)−f(n−1)∣∈D|f(n)-f(n-1)|\in D for all integers nn.

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