2 ms·Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean)2 points by zone411 4mo agozone411 4mo ago[dead]