Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean) (proofatlas.ai) 2 points by zone411 1mo ago ↗ HN
1 comment
[ 2.0 ms ] story [ 7.3 ms ] thread