olymmath

Nemotron-IMO-Bench 2026 C41

    Prove that for all positive integers a,ba,b ∑i,j≥0(i+ji)2((a−i)+(b−j)a−i)2=12((2a+1)+(2b+1)2a+1).\sum_{i,j \ge 0} \binom{i+j}{i}^2 \binom{(a-i)+(b-j)}{a-i}^2=\frac{1}{2} \binom{(2a+1)+(2b+1)}{2a+1}.

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