Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean)

 (proofatlas.ai)

2 points | by zone411 7 hours ago ago

1 comments