← All problems

Erdős–Turán conjecture on additive bases

Open
erdos-turan-additive-basis

Statement

If is a basis of order 2 (every large integer is a sum of two elements of ), prove its representation count is unbounded.

Current frontier

erdosproblems.com/28, OPEN since 1941. A random set gives a basis with (Erdős 1956); Erdős–Fuchs (1956) rules out too-regular counting functions. Whether every order-2 basis has unbounded is open.

When this counts as solved

BINARY

PROOF_COMPLETE for unboundedness over all order-2 bases, or COUNTEREXAMPLE: an explicit basis with for all . Almost-all results or conditional statements are not terminal.

Classification

Binary