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).