number-theory / Extremal Number Theory

Erdős Problem #12

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

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 unknown→proved

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

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

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

Erdős Problem #12 — Mathematical Frontier Network