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)"
Coverage timeline
- Jul 21, 19:18 UTC Hacker News (AI) lead source Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean)