Claims

../

2026_07_11_ideal_ombrer: A pseudonymous research note of July 2026 claiming a proof that every covering system with distinct moduli p - 1, p at least 5 prime, uses a modulus with p above 877, with a reciprocal-sum bound; posted on the site's thread.

2026_07_26_zeraoulia: Rafik Zeraoulia's partial proof claim, deposited 2026-07-26, that a covering system with distinct moduli all of the form p - 1, p at least 5 prime, has moduli with least common multiple at least 393120; existence stays open.

---