Par esempli, la conieture di Collatz, che si domande se cualchi secuence di intîrs ò une fin o no, e je state provade par ducj i intîrs fin a 1.2 x 1012 (plui di un triliart).