Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean)
1 points
2 hours ago
| 0 comments
| proofatlas.ai
| HN
No one has commented on this post.