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