Por ejemplo, la conjetura de Collatz, que se refiere a si ciertas secuencias de números enteros terminan o no, ha sido probada para todos los números enteros hasta 1,2 × 1012 (más de un billón).