Hacker News new | ask | show | jobs
Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean) (proofatlas.ai)
2 points by zone411 7 days ago