Convergence verification of the Collatz problem
The convergence of all numbers below 1922 × 260 (≈ 270.91) has been verified. The work unit is 240 numbers. On modern GPUs, verification of one work unit takes 10 seconds on average. All source codes are available on this GitHub repository.
Progress towards verifying all numbers below 1923 × 260
Lowest incomplete: 43.6085 %
(work unit 2015820340 × 240
, all work units below are verified)
Lowest unassigned: 45.4826 %
(work unit 2015839992 × 240
, all work units below are assigned or even verified)