number-theory / Extremal Number Theory

Erdős Problem #12

Let $A \subset \mathbb{N}$ be infinite with no distinct $a, b, c \in A$ such that $a \mid (b + c)$ with $b, c > a$. Can $|A \cap [1, N]|/\sqrt{N}$ have positive lower limit? Must every such $A$ fall below $N^{1-c}$ infinitely often?

12Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theoryMay 21, 2026Significance 12/100Registry: lean verified

Erdős Problem #12

Prior state unknownproved

parts (i) and (ii) resolved - a near-linear-density construction exists, refuting the N^{1-c} decay; the reciprocal-sum part remains open

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Let $A \subset \mathbb{N}$ be infinite with no distinct $a, b, c \in A$ such that $a \mid (b + c)$ with $b, c > a$. Can $|A \cap [1, N]|/\sqrt{N}$ have positive lower limit? Must every such $A$ fall below $N^{1-c}$ infinitely often?

parts (i) and (ii) resolved - a near-linear-density construction exists, refuting the N^{1-c} decay; the reciprocal-sum part remains open

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.