Erdős Problem #7
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #7. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review! Disputed
number-theory / Number Theory, Covering Systems
Erdős Problem #7
Registry resolution: retracted. Reported result type: proved. The registry record and named primary source provide the statement and scope.
12Significance / 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
Registry resolution: retracted. Reported result type: proved. The registry record and named primary source provide the statement and scope.
The claimed Lean proof that no such covering system exists was withdrawn after audit: its central axiom asserted that a product of factors greater than one is less than one, and a statement-fidelity audit confirmed the gap. The problem remains open.
Recorded attempts
Evidence graph
Connected research record
- →
- →Erdős Problem #7
parent of · event · claim reported