SOLVED
If $A\subset \mathbb{R}$ does not contain a 3-term arithmetic progression then must $\mathbb{R}\backslash A$ contain an infinite arithmetic progression?
The answer is no, as shown by Baumgartner
[Ba75] (whose construction uses the axiom of choice).
