Convergence verification of the Collatz problem

The convergence of all numbers below 2075 × 2⁶⁰ (≈ 2^71.02) has been verified. The work unit is 2⁴⁰ numbers. On modern GPUs, verification of one work unit takes 5 seconds on average. All source codes are available on this GitHub repository.

Progress towards verifying all numbers below 2076 × 2⁶⁰

Lowest incomplete: 17.1991 % (work unit 2175975546 × 2⁴⁰, all work units below are verified)
Lowest unassigned: 17.1991 % (work unit 2175975546 × 2⁴⁰, all work units below are assigned or even verified)

Project log

2019-09-04 started the project

2020-05-07 the convergence of all numbers below 2⁶⁸ is verified

2021-12-10 the convergence of all numbers below 2⁶⁹ is verified

2023-07-09 the convergence of all numbers below 2⁷⁰ is verified

2023-11-03 the convergence of all numbers below 1.5 × 2⁷⁰ is verified

2025-01-15 the convergence of all numbers below 2⁷¹ is verified

References

Barina, D. Convergence verification of the Collatz problem. J Supercomput 77, 2681–2688 (2021). https://doi.org/10.1007/s11227-020-03368-x

Barina, D. Improved verification limit for the convergence of the Collatz conjecture. J Supercomput 81, 810 (2025). https://doi.org/10.1007/s11227-025-07337-0

Generated: Thu, 18 Sep 2025 19:39:31 +0200

Convergence verification of the Collatz problem

Progress towards verifying all numbers below 2076 × 2⁶⁰

Results

Project log

Contact

References

Convergence verification of the Collatz problem

Progress towards verifying all numbers below 2076 × 260

Results

Project log

Contact

References

Progress towards verifying all numbers below 2076 × 2⁶⁰