Erdős Problem #550
Prior state unknown→proved
Claimed proved in a preprint of E. Li; erdosproblems.com still lists the problem open pending human review
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Graph Theory, Ramsey Theory
Erdős Problem #550
Claimed proved in a preprint of E. Li; erdosproblems.com still lists the problem open pending human review
10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
Claimed proved in a preprint of E. Li; erdosproblems.com still lists the problem open pending human review
Claimed proved in a preprint of E. Li; erdosproblems.com still lists the problem open pending human review
Recorded attempts
Evidence graph
Connected research record
- →Claimed proved in a preprint of E. Li; erdosproblems.com still lists the problem open pending human review
parent of · claim · theorem
- →Erdős Problem #550
parent of · event · claim reported