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