Natural-density almost-bounded Collatz orbits in logarithmic time (AI, Lean)
Read the original at www.proofatlas.ai→Original headline: "Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean)"
Original headline: "Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean)"