olymmath

Nemotron-IMO-Bench 2026 C46

    Prove that for any integer n>1n>1 any set MM of positive rational numbers with size 2n2−3n+22n^2-3n+2 has a subset AA of size nn such that for any k∈{2,…,n}k\in \{2,\ldots, n\} the sum of any kk (not necessarily distinct) numbers from AA is not in AA.

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