GIMPS

GIMPS è l'acronimo di Great Internet Mersenne Prime Search (Grande ricerca su Internet dei numeri primi di Mersenne) ed è un progetto di calcolo distribuito con lo scopo di ricercare numeri primi di Mersenne, ovvero numeri primi nella forma $2^p-1$, dove p è a sua volta un numero primo. Si può dimostrare facilmente, infatti, che se $2^p-1$ è un numero primo, allora lo è anche p (mentre l'implicazione inversa non è vera).

Il progetto è stato creato nel 1996 da George Woltman e ha la sua base operativa ad Orlando, Florida (U.S.A.). Il G.I.M.P.S. utilizza la potenza di calcolo dei computer di molti volontari in tutto il mondo che utilizzano un programma ottimizzato per la verifica della primalità di un numero di Mersenne.

Successi del G.I.M.P.S.

Finora il G.I.M.P.S. ha scoperto 13 numeri primi di Mersenne, portando così a 47 il totale dei numeri primi di Mersenne noti. I numeri trovati sono riportati in tabella. Tali numeri sono scritti nella forma M_p, dove p è l'esponente. Il numero primo si scrive dunque 2^p - 1.

Data di scoperta	Primo	Cifre
12 aprile 2009	M42643801	12837064
6 settembre 2008	M37156667	11185272
23 agosto 2008	M43112609	12978189
4 settembre 2006	M32582657	9808358
15 dicembre 2005	M30402457	9152052
18 febbraio 2005	M25964951	7816230
15 maggio 2004	M24036583	7235733
17 novembre 2003	M20996011	6320430
14 novembre 2001	M13466917	4053946
1 giugno 1999	M6972593	2098960
27 gennaio 1998	M3021377	909526
24 agosto 1997	M2976221	895932
13 novembre 1996	M1398269	420921

M_43112609 ha 12.978.189 cifre e a tutto ottobre 2010 è il più grande numero primo conosciuto. Per visualizzare in notazione decimale questo numero, un editor di testo standard utilizzerebbe 3461 pagine, con 50 righe per pagina e 75 cifre per riga.

Software

Il software del progetto è disponibile in versioni precompilate dedicate per FreeBSD, Linux, Mac OS X e Microsoft Windows, il più famoso, che prende il nome di Prime95 (molto usato anche per bench di stabilità per pc). Il progetto sviluppa circa 44.037 TeraFLOPS a settembre 2010.

Server

Il sofisticato server che assegna e memorizza tutti i dati provenienti dalle varie CPU di volontari sparsi per tutto il mondo ha il nome di PrimeNet v5.0; la versione precedente di tale server con cui ha avuto inizio l'intero progetto prendeva il nome di PrimeNet v4.0.

Team

I team in gimps sono gruppi di più persone volontarie che si associano in quanto accomunate da stessi ideali o perché provenienti da una stessa regione geografica.

Ogni utente è libero di iscriversi o meno a un qualsiasi gruppo, anche se appartiene a regioni geografiche diverse.

Tra i vari team nasce una sorta di sfida e quotidianamente vengono stilate vere e proprie classifiche elencate in ordine di calcolo sviluppato (l'unità di comparazione è il GHz/day).

Voci correlate

• Numero primo
• Lista dei progetti di calcolo distribuito
• Fermat Search
• PrimeGrid
• Twin Internet Prime Search

Collegamenti esterni

• (EN) Sito ufficiale

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica