Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean)

(proofatlas.ai) by zone411 | Jul 21, 2026 | 1 comments on HN