number-theory / Number Theory, Additive Bases

Erdős Problem #870

A total refutation is claimed for all k>=3, building on the Larsen-Larsen resolution of problem #868; erdosproblems.com still lists the problem open

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theoryMay 2, 2026Significance 10/100Registry: unreviewed

Erdős Problem #870

Prior state unknown→disproved

A total refutation is claimed for all k>=3, building on the Larsen-Larsen resolution of problem #868; erdosproblems.com still lists the problem open

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

A total refutation is claimed for all k>=3, building on the Larsen-Larsen resolution of problem #868; erdosproblems.com still lists the problem open

A total refutation is claimed for all k>=3, building on the Larsen-Larsen resolution of problem #868; erdosproblems.com still lists the problem open

Recorded attempts

Evidence graph

Connected research record

Erdős Problem #870 — Mathematical Frontier Network