Azkaban, un posto come un altro dove vivere

Eh sì, mi sono talmente intrippato con sto libro sui numeri primi che leggendo scopro una cosa bellissima: come il SETI program (SETI@HOME) anche qui esiste un programma simile di calcolo distribuito che si preoccupa di verificare i numeri di Mersenne.
Cosa sono?
Beh in pratica Mersenne affermò che se 2ⁿ -1 è un numero primo, allora n è primo.
Ovviamente questo era vero solo in parte, soprattutto fino alla fine dell’ottocento quando il calcolo “a mano” di 2ⁿ si fermò a 2¹²⁷. Solo con l’avvento dei calcolatori CRAY iniziò la vera corsa ai primi da record.
Ovviamente per poter verificare effettivamente che il numero ricavato è un numero primo, prima nel 1870 da Lucas e successivamente nel 1930 da Lehmer, è stato sviluppato un test di verifica sui numeri di Mersenne.
Ad oggi è stato trovato il 43^esimo numero di Mersenne pari a 9,152,052 di cifre, impressionante!!!

Al momento ho installato il programmillo che sta effettuando i primi test per controllare il perfetto funzionamento, in pratica cpu costante tra il 60% e il 99% di utilizzo: non male.
Al momento sembra funzionare correttamente, vedremo poi, visto che lo farò lavorare solo di notte, la cosa però è veramente intrigante.