Erdős Problem #176
Prior state unknown→proved
a polynomial bound for N(k,2), stronger than the exponential bound asked for; the two-parameter problem remains open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review