Erdos Problems #593 and #1177
Prior state unknown→proved
settles two numbered Erdos problems at once
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Infinite combinatorics
Erdos Problems #593 and #1177
settles two numbered Erdos problems at once
13Significance / 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
settles two numbered Erdos problems at once
settles two numbered Erdos problems at once
Recorded attempts
Evidence graph
Connected research record
- →settles two numbered Erdos problems at once
parent of · claim · theorem
- →Erdos Problems #593 and #1177
parent of · event · claim reported