One great problem, three kinds of immersion
From a story to your own conjecture
Problem stories open curiosity. The problem workshop is the next place, where curiosity becomes a testable idea.
- 1 · DiscoverMeet the questionLearn when it appeared and why it still holds people’s attention.
- 2 · ChallengeTest one caseMake your first observation in five minutes with a drawing, calculation, or colors.
- 3 · DevelopYou are hereBuild on ideasPublish an observation and grow it through comparisons, conjectures, and counterexamples.
Aliquot Sequence 276 — Wandering Forever?
Problem
Aliquot sequence: start at , iterate (sum of proper divisors). Terminates at , enters a perfect/amicable/sociable cycle, or diverges. For , does it ever terminate?
Why it matters
Catalan's 1888 conjecture, extended by Dickson in 1913, says every aliquot sequence is bounded: it reaches 1 or eventually enters a cycle. For the “Lehmer five” 276, 552, 564, 660, and 966, termination, periodicity, and unbounded growth are still unresolved. Long computations do not logically distinguish those outcomes.
Progress so far
The current aliquot.de database still classifies 276 as an open-end sequence. An ascending computed prefix cannot exclude an unfactored next step or a later prime or cycle. Guy–Selfridge “guides” motivate divergence heuristics, but they do not prove that 276 diverges.
Further reading
💡 Explore together, one line at a time(0 contributions)
Contributions are not ranked by popularity. Curator feedback names what is clear or reproducible, and peer signals mean someone understood or actually reproduced it.
What did you notice?
You do not need a complete proof. A small observation can open the next path.
moderation policy. Sign in after submitting if you want to edit or delete this attempt from another device.