Open notebook for Natural Mathematics: explore on the web, or publish lemmas with Lean proofs.
Lead shelf: the hire graph of the 3-free door.
- Paper 1 — The hire graph of the 3-free door (TeX) · site:
/paper - Sequel — When gold disconnects (TeX) · site:
/when-gold-disconnects - Islands — last-island / black-swan spotlight and the thin M₃₁ corridor · site:
/islands - Introduction / Basins — door table and drain lattice ·
/hire·/basins
Paper 1 closes the question that every odd prime ≠ 3 eventually sits in the infinite gold component of 5 (Dirichlet bridge). The leftover is whether gold is disconnected for infinitely many finite windows — equivalent to infinitely many Mersenne or Fermat primes (When gold disconnects).
Checked under lean/Hire/ (build with elan / lake; Mathlib is not vendored):
Doors,HireSetWitnessXstar— connecting witness at X*GoldBridge— strong Q2 (0 sorry)GoldDisconnects— sequel A (first-owner disconnect + sink chains)
npm install
npm run devOpen http://127.0.0.1:5173/ — or docker compose up on the Mac.
npm run build| Shelf | What |
|---|---|
| Hire | Papers, Islands, Basins, Introduction |
| Alphabet | e, i, π — Walk, Lock i / π, Basel, Catalogue, Notes |
| Lab | Probe pages |
Apache-2.0 — see LICENSE.