The pattern
Starting with 6 gives 6 → 3 → 10 → 5 → 16 → 8 → 4 → 2 → 1.
→Understand it in two minutes
Collatz is less about a future industry and more about building better AI-math, formal verification and distributed mathematical-compute infrastructure today.
Starting with 6 gives 6 → 3 → 10 → 5 → 16 → 8 → 4 → 2 → 1. Some numbers fall quickly. Others rise far above their starting value before coming down. A counterexample could either grow without bound or enter a different cycle. Computers have checked an enormous finite range, and deep theorems describe the behavior of almost all starting values in specific density senses. Neither result covers every positive integer.
The translation
Some numbers fall quickly. Others rise far above their starting value before coming down. A counterexample could either grow without bound or enter a different cycle.
→The open gap
Computers have checked an enormous finite range, and deep theorems describe the behavior of almost all starting values in specific density senses. Neither result covers every positive integer.
Why people care
Arithmetic dynamics
The problem studies repeated integer maps, cycles, growth and the boundary between deterministic structure and probabilistic behavior.
Proof versus computation
Its vast computational support makes it a clean lesson in why finite verification is not a universal proof.
Algorithms and formalization
Efficient verification, distributed computing, exact arithmetic and proof assistants all use it as a demanding test case.