Nemotron-IMO-Bench 2026 A41
A function is called additive if for all . Let be a real number, a positive integer and let be additive functions such that for all . Prove that at least one of the functions is linear (i.e. of the form for some constant ).
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.
Similar problems
These problems have the most words in common with this statement.