Problem 869

Erdős Problem #869: declared status 'disproved'. Formalized: no. If $A_1,A_2$ are disjoint additive bases of order $2$ (i.e. $A_i+A_i$ contains all large integers) then must $A=A_1\cup A_2$ contain a minimal additive basis of order $2$ (one such that deleting any element creates infinitely many $n\not\in A+A$)? Prize: no. Tags: additive basis, number theory.