olymmath

Nemotron-IMO-Bench 2026 A1

    Prove that for all positive integers nn ∑k=0n22k+k+122k+32k<4.\sum_{k=0}^n \frac{2^{2^k+k+1}}{2^{2^k}+3^{2^k}}<4.

    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

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