Erdős Problem #866
Prior state unknown→proved
h₄(n) = 4 for every n ≥ 331,777, with improved global bounds; the broader problem remains open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
number-theory / Additive Combinatorics
h₄(n) = 4 for every n ≥ 331,777, with improved global bounds; the broader problem remains open
Temporal state
No reconciled state yet.
Append-only history
h₄(n) = 4 for every n ≥ 331,777, with improved global bounds; the broader problem remains open
Research memory
h₄(n) = 4 for every n ≥ 331,777, with improved global bounds; the broader problem remains open
h₄(n) = 4 for every n ≥ 331,777, with improved global bounds; the broader problem remains open
Evidence graph
parent of · event · claim reported
parent of · claim · theorem