The proof problem behind the Collatz number rule
Start with a positive whole number. Halve it if it is even, or triple it and add one if it is odd. The Collatz rule is easy to follow by hand, but asking whether every starting number eventually reaches one creates a much harder proof problem.
Questions you could explore
- Why can checking billions of examples still fall short of a proof?
- What does a result about almost all starting values leave unsettled?
Start reading
- Terence Tao / arXivAlmost all orbits of the Collatz map attain almost bounded values
The abstract of Tao’s 2019 paper states a major partial result. Its precise meaning of “almost all” helps distinguish progress from a proof covering every integer.
Ready to try your ideas aloud?
Your topic carries over. Record up to 2½ minutes, depending on your plan.