Erdős problem 7
Can there be a finite covering system of the integers with distinct moduli, all of which are odd and greater than ?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/7.leanTrue ↔ ∃ C, ∀ (i : C.ι), ¬C.moduli i ≤ Ideal.span {2} ∧ C.moduli i ≠ ⊤OpenStatement only, no proof
Reported activity
Reported by these sources. Not reviewed here.
AI collaborating with humans
- Machine
- People
argument
- Machine
- Reported outcome