AT-OEMO-REG 2016 Problem 3
On the occasion of the 47th Mathematical Olympiad 2016 the numbers 47 and 2016 are written on the blackboard. Alice and Bob play the following game: Alice begins and in turns they choose two numbers and with written on the blackboard, whose difference is not yet written on the blackboard and write this difference additionally on the board. The game ends when no further move is possible. The winner is the player who made the last move.
Prove that Bob wins, no matter how they play.
(Richard Henner)
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.