I collaborated with DeepSeek (AI) to prove that the only Collatz cycle is 1→4→2→1.

The paper: https://doi.org/10.5281/zenodo.20342285

Cycle problem: resolved. Divergence problem: open.

This is a human-AI collaboration. Full disclosure in the paper. #CollatzConjecture #AI #Mathematics