Erdos Problem #731
Prior state unknown→proved
resolved under an explicit formalization of 'reasonable', not in full generality
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
number-theory / Number theory
Erdos Problem #731
resolved under an explicit formalization of 'reasonable', not in full generality
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
resolved under an explicit formalization of 'reasonable', not in full generality
resolved under an explicit formalization of 'reasonable', not in full generality
Recorded attempts
Evidence graph
Connected research record
- →Erdos Problem #731
parent of · event · claim reported
- →resolved under an explicit formalization of 'reasonable', not in full generality
parent of · claim · theorem