Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean)
1 points by zone411 3 hours ago | 0 comments