RU-ALLRUSSIAN 1969 Problem 3
A finite sequence of 0s and 1s has the following properties: (1) for any , the sequences of length 5 beginning at position i and position j are different; (2) if you add an additional digit at either the start or end of the sequence, then (1) no longer holds. Prove that the first 4 digits of the sequence are the same as the last 4 digits.
Dataset text NuminaMath olympiads. 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.