Convergence verification of the Collatz problem
The convergence of all numbers below 813 × 260 (≈ 269.67) has been verified. The work unit is 240 numbers. On modern GPUs, verification of one work unit takes 12 seconds on average. All source codes are available on this GitHub repository.
Progress towards verifying all numbers below 814 × 260
Lowest incomplete: 54.0339 %
(work unit 853058875 × 240
, all work units below are verified)
Lowest unassigned: 59.0793 %
(work unit 853111779 × 240
, all work units below are assigned or even verified)