Erdős Problem #130
Prior state unknown→proved
the infinite-chromatic subquestion is proved; the rest of the problem remains open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
geometry-topology / Discrete Geometry, Chromatic Number
Erdős Problem #130
the infinite-chromatic subquestion is proved; the rest of the problem remains open
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
the infinite-chromatic subquestion is proved; the rest of the problem remains open
the infinite-chromatic subquestion is proved; the rest of the problem remains open
Recorded attempts
Evidence graph
Connected research record
- →Erdős Problem #130
parent of · event · claim reported
- →the infinite-chromatic subquestion is proved; the rest of the problem remains open
parent of · claim · theorem