ELMO SL 2017 C3
Consider a finite binary string with at least ones. Show that one can insert some plus signs in between pairs of digits such that the resulting sum, when performed in base , is equal to a power of two.
[i]Proposed by David Stoner
Dataset text AI-MO AoPS. Quoted with source.
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.