200.000 computer per identificare il 40° numero di Mersenne

**ChristinaAemiliana** · 15-01-2004, 20:33

Il progetto GIMPS (Great Internet Mersenne Prime Search) ha annunciato il 17 novembre scorso di aver trovato il 40° numero primo di Mersenne.

I numeri di Mersenne sono numeri della forma 2^P - 1. Se un numero di questa forma è primo, cioè è divisibile solo per se stesso e per 1, viene chiamato primo di Mersenne.

E' possibile verificare se un numero di Mersenne è primo mediante il test di Lucas-Lehmer, o test L-L, che trovate qui. Il test è semplice concettualmente ma richiede l'esecuzione di moltissimi calcoli ripetitivi: le condizioni ideali per pensare di impiegare il PC.

Nel 1995, così, un certo George Woltman decise di utilizzare il neonato web per la ricerca dei primi di Mersenne. Scrisse un programma in grado di eseguire il test L-L per un dato esponente P, scaricabile da Internet e utilizzabile da chiunque su un normale PC, e costruì un database accessibile a tutti per scegliere gli esponenti da controllare e scartare quelli già controllati da qualcun altro. Era nato il progetto GIMPS.

Nel 1997, infine, Scott Kurowski completò l'automazione della ricerca creando PrimeNet, un server che distribuisce automaticamente ai vari PC sparsi per il mondo e facenti parte del progetto GIMPS gli esponenti da controllare, riceve i risultati e aggiorna i database.

Al progetto GIMPS partecipano oggi 130.000 persone con più di 200.000 PC. Con questa enorme potenza di calcolo, GIMPS ha trovato i sei primi di Mersenne più grandi.

Ma come si entra a far parte di questa comunità virtuale? Semplicissimo, si visita www.mersenne.org, si scarica il programma di Woltman e lo si esegue. Questo programma ha una priorità bassissima. Tutto quello che fa è chiedere al server centrale un esponente da controllare, eseguire il test L-L, e infine spedire indietro a PrimeNet un messaggio con il risultato, chiedendo un altro esponente su cui lavorare.

Va da sè che la stragrande maggioranza degli esponenti controllati non corrisponderanno a un numero primo, ma se fosse proprio il nostro PC ad avere la fortuna di scovare un primo di Mersenne, il programma ci avvertirebbe e il nostro nome comparirebbe sulle più autorevoli pubblicazioni di matematica. Ma la gloria non basta: in giro ci sono anche parecchi premi in denaro messi in palio da varie fondazioni. Il prossimo premio non ancora assegnato è di 100.000 dollari...che dire, a volte anche la scienza paga...

(Testo liberamente tratto da un articolo su Le Scienze)

Ufobobo · 15-01-2004, 20:38

Ho capito.. tipo Genome, Seti e Folding solo che quest'ultimi hanno un carattere utilitaristico maggiore o sbaglio?

Grim · 15-01-2004, 21:01

Ma l'utilità di questo numero sul campo umano alla fine qualè??

Se non c'è, per me è una grandissima caz**ta!!!!!!!

**ChristinaAemiliana** · 15-01-2004, 21:08

Sì, non credo che abbia un'utilità pratica...è ricerca teorica nel campo della matematica...non ne so granché neppure io...

L'ho postato perché era interessante vedere l'utilizzo del computer in campi come questo, dove i conservatori (insomma, quelli che vogliono fare le dimostrazioni in modo analitico, con carta e penna) sono ancora la fazione dominante...

Se non erro anche l'ultimo teorema di Fermat è stato dimostrato non analiticamente ma con un algoritmo ricorsivo...

Ufobobo · 15-01-2004, 21:09

Quote:

Originariamente inviato da Grim
Ma l'utilità di questo numero sul campo umano alla fine qualè??

Se non c'è, per me è una grandissima caz**ta!!!!!!!

Direi allora che questi 130000 utenti hanno la speranza di vincere i 100000 dollari

BlackWalker · 15-01-2004, 21:10

che perdita di tempo....

teogros · 15-01-2004, 21:18

Quote:

Originariamente inviato da ChristinaAemiliana
Il progetto GIMPS (Great Internet Mersenne Prime Search) ha annunciato il 17 novembre scorso di aver trovato il 40° numero primo di Mersenne.

I numeri di Mersenne sono numeri della forma 2^P - 1. Se un numero di questa forma è primo, cioè è divisibile solo per se stesso e per 1, viene chiamato primo di Mersenne.

E' possibile verificare se un numero di Mersenne è primo mediante il test di Lucas-Lehmer, o test L-L, che trovate qui. Il test è semplice concettualmente ma richiede l'esecuzione di moltissimi calcoli ripetitivi: le condizioni ideali per pensare di impiegare il PC.

Nel 1995, così, un certo George Woltman decise di utilizzare il neonato web per la ricerca dei primi di Mersenne. Scrisse un programma in grado di eseguire il test L-L per un dato esponente P, scaricabile da Internet e utilizzabile da chiunque su un normale PC, e costruì un database accessibile a tutti per scegliere gli esponenti da controllare e scartare quelli già controllati da qualcun altro. Era nato il progetto GIMPS.

Nel 1997, infine, Scott Kurowski completò l'automazione della ricerca creando PrimeNet, un server che distribuisce automaticamente ai vari PC sparsi per il mondo e facenti parte del progetto GIMPS gli esponenti da controllare, riceve i risultati e aggiorna i database.

Al progetto GIMPS partecipano oggi 130.000 persone con più di 200.000 PC. Con questa enorme potenza di calcolo, GIMPS ha trovato i sei primi di Mersenne più grandi.

Ma come si entra a far parte di questa comunità virtuale? Semplicissimo, si visita www.mersenne.org, si scarica il programma di Woltman e lo si esegue. Questo programma ha una priorità bassissima. Tutto quello che fa è chiedere al server centrale un esponente da controllare, eseguire il test L-L, e infine spedire indietro a PrimeNet un messaggio con il risultato, chiedendo un altro esponente su cui lavorare.

Va da sè che la stragrande maggioranza degli esponenti controllati non corrisponderanno a un numero primo, ma se fosse proprio il nostro PC ad avere la fortuna di scovare un primo di Mersenne, il programma ci avvertirebbe e il nostro nome comparirebbe sulle più autorevoli pubblicazioni di matematica. Ma la gloria non basta: in giro ci sono anche parecchi premi in denaro messi in palio da varie fondazioni. Il prossimo premio non ancora assegnato è di 100.000 dollari...che dire, a volte anche la scienza paga...

(Testo liberamente tratto da un articolo su Le Scienze)

Mi viene da dire che è una... perdita di tempo

ma dato che hai aperto te questo 3d...

CHE INTERESSANTE!!!

FreeMan · 15-01-2004, 21:24

Quote:

Originariamente inviato da teogros
Mi viene da dire che è una... perdita di tempo

ma dato che hai aperto te questo 3d...

CHE INTERESSANTE!!!

Si, meglio non farla inc@zz@re...

>bYeZ<

**ChristinaAemiliana** · 15-01-2004, 21:29

Ma tu pensa cosa devo leggere...tsè...

evelon · 15-01-2004, 21:45

Quote:

Originariamente inviato da ChristinaAemiliana
Sì, non credo che abbia un'utilità pratica...è ricerca teorica nel campo della matematica...non ne so granché neppure io...

L'ho postato perché era interessante vedere l'utilizzo del computer in campi come questo, dove i conservatori (insomma, quelli che vogliono fare le dimostrazioni in modo analitico, con carta e penna) sono ancora la fazione dominante...

Se non erro anche l'ultimo teorema di Fermat è stato dimostrato non analiticamente ma con un algoritmo ricorsivo...

conservatore

E' fichissimo dimostrare le cose col proprio cervello senza mettere dentro una scatola uno stupido programmino che ripete le stesse cose seppur velocemente..

Di fermat non sò nulla

Per chi dice che è una perdita di tempo: forse Seti è una perdita di tempo, ma la ricerca direi proprio di no.
Grazie agli strumenti messi a disposizione dai matematici ai fisici, agli ingegneri, ai chimici etc.. è progredità l'umanità.
Scusate se è poco.

Sir J · 15-01-2004, 21:54

Ma perche' una societa' dovrebbe pagare 100000 dollari per trovare un primo di Mersenne? Non credo che abbia utilita' neanche teorica. Posso capire Pigreco, che in alcuni modelli di calcolo si usa con un numero di cifre dopo la virgola altissimo, ma il primo di Mersenne, qui prodest?

AnAndA · 15-01-2004, 22:17

Quote:

Originariamente inviato da Sir J
Ma perche' una societa' dovrebbe pagare 100000 dollari per trovare un primo di Mersenne? Non credo che abbia utilita' neanche teorica. Posso capire Pigreco, che in alcuni modelli di calcolo si usa con un numero di cifre dopo la virgola altissimo, ma il primo di Mersenne, qui prodest?

La penso anche io così, anche se sono sempre stato affascinato dalla ricerca dei numeri di marsenne (dai tempi di Intelligiochi, su MC Microcomputer.. annata 1986, se non sbaglio).
Trovo che si tratti di una sfida dell'uomo, su un piano diverso da quelli a cui siamo abituati.

/\/\@®¢Ø · 15-01-2004, 22:37

Quote:

Originariamente inviato da Sir J
Ma perche' una societa' dovrebbe pagare 100000 dollari per trovare un primo di Mersenne? Non credo che abbia utilita' neanche teorica. Posso capire Pigreco, che in alcuni modelli di calcolo si usa con un numero di cifre dopo la virgola altissimo, ma il primo di Mersenne, qui prodest?

L'utile non e' trovare il numero in se', ma stimolare i matematici a trovare un algoritmo che permetta di calcolarlo velocemente. D'altra parte neanche calcolare qualche miliardo di cifre del pi penso sia utilissimo

Inoltre, ha per i matematici lo stesso sapore che aveva per i primi scalatori vedere chi andava piu' su sull'Everest; utilita' pratica tutta da vedere, ma volete mettere la soddisfazione ?

VegetaSSJ5 · 15-01-2004, 22:39

ragazzi per 40esimo numero di marsenne si intende 2^40-1???

**ChristinaAemiliana** · 15-01-2004, 22:59

Quote:

Originariamente inviato da VegetaSSJ5
ragazzi per 40esimo numero di marsenne si intende 2^40-1???

No. Quello che hanno trovato è il 40o numero primo di Mersenne: l'esponente, leggo sull'articolo, è 20.966.011, e il numero corrispondente ha più di sei milioni di cifre...difficile perfino da immaginare...

Digitos · 15-01-2004, 23:00

Ma l'utilità??? Intanto i numeri sono infiniti.....

VegetaSSJ5 · 15-01-2004, 23:04

Quote:

Originariamente inviato da ChristinaAemiliana
l'esponente, leggo sull'articolo, è 20.966.011, e il numero corrispondente ha più di sei milioni di cifre...

Manson666 · 15-01-2004, 23:05

mmmm...non vi so dire bene se hanno un utilità questi numeri ma facendo informatica a logica (che ho miseramente fallito all'esame) alcuni numeri particolari hanno importantissimi nella crittografia...e mi pare che i numeri primi c'entrino qualcosa...di + non so dirvi

Ciaba · 15-01-2004, 23:11

...una bella zappa in mano.....un campo fertile a disposizione e via.....

recoil · 15-01-2004, 23:20

il calcolo di grandi numeri primi torna utile per la creazione di chiavi negli sistemi di cifratura come RSA.
il "trucco" sta nell'utilizzare numeri molto elevati che difficilmente possono essere decomposti in prodotto di altri numeri.

certo che il calcolo distribuito, come si è visto in questo esempio, può aiutare a decifrare le chiavi in tempo "ridotto". uso le " " perché alcune chiavi sono cmq molto, troppo pesanti

15-01-2004, 20:33	#1
ChristinaAemiliana Moderatrice Iscritto dal: Nov 2001 Città: Vatican City DILIGO TE COTIDIE MAGIS «Set me as a seal on your heart, as a seal on your arm: for love is strong as death and jealousy is cruel as the grave.» Messaggi: 12394	200.000 computer per identificare il 40° numero di Mersenne Il progetto GIMPS (Great Internet Mersenne Prime Search) ha annunciato il 17 novembre scorso di aver trovato il 40° numero primo di Mersenne. I numeri di Mersenne sono numeri della forma 2^P - 1. Se un numero di questa forma è primo, cioè è divisibile solo per se stesso e per 1, viene chiamato primo di Mersenne. E' possibile verificare se un numero di Mersenne è primo mediante il test di Lucas-Lehmer, o test L-L, che trovate qui. Il test è semplice concettualmente ma richiede l'esecuzione di moltissimi calcoli ripetitivi: le condizioni ideali per pensare di impiegare il PC. Nel 1995, così, un certo George Woltman decise di utilizzare il neonato web per la ricerca dei primi di Mersenne. Scrisse un programma in grado di eseguire il test L-L per un dato esponente P, scaricabile da Internet e utilizzabile da chiunque su un normale PC, e costruì un database accessibile a tutti per scegliere gli esponenti da controllare e scartare quelli già controllati da qualcun altro. Era nato il progetto GIMPS. Nel 1997, infine, Scott Kurowski completò l'automazione della ricerca creando PrimeNet, un server che distribuisce automaticamente ai vari PC sparsi per il mondo e facenti parte del progetto GIMPS gli esponenti da controllare, riceve i risultati e aggiorna i database. Al progetto GIMPS partecipano oggi 130.000 persone con più di 200.000 PC. Con questa enorme potenza di calcolo, GIMPS ha trovato i sei primi di Mersenne più grandi. Ma come si entra a far parte di questa comunità virtuale? Semplicissimo, si visita www.mersenne.org, si scarica il programma di Woltman e lo si esegue. Questo programma ha una priorità bassissima. Tutto quello che fa è chiedere al server centrale un esponente da controllare, eseguire il test L-L, e infine spedire indietro a PrimeNet un messaggio con il risultato, chiedendo un altro esponente su cui lavorare. Va da sè che la stragrande maggioranza degli esponenti controllati non corrisponderanno a un numero primo, ma se fosse proprio il nostro PC ad avere la fortuna di scovare un primo di Mersenne, il programma ci avvertirebbe e il nostro nome comparirebbe sulle più autorevoli pubblicazioni di matematica. Ma la gloria non basta: in giro ci sono anche parecchi premi in denaro messi in palio da varie fondazioni. Il prossimo premio non ancora assegnato è di 100.000 dollari...che dire, a volte anche la scienza paga... (Testo liberamente tratto da un articolo su Le Scienze) __________________ «Il dolore guida le persone a distanze straordinarie» (W. Bishop, Fringe) How you have fallen from heaven, O star of the morning, son of the dawn! You have been cut down to the earth, You who have weakened the nations! (Isaiah 14:12)

15-01-2004, 20:38	#2
Ufobobo Senior Member Iscritto dal: Apr 2002 Città: Lucca Messaggi: 853	Ho capito.. tipo Genome, Seti e Folding solo che quest'ultimi hanno un carattere utilitaristico maggiore o sbaglio? __________________ Visita www.spalamerda.com

15-01-2004, 21:01	#3
Grim Senior Member Iscritto dal: Mar 2003 Città: Teramo by NiGhT Messaggi: 359	Ma l'utilità di questo numero sul campo umano alla fine qualè?? Se non c'è, per me è una grandissima caz**ta!!!!!!! __________________ FANCULO LA QUIETE !!!

15-01-2004, 21:08	#4
ChristinaAemiliana Moderatrice Iscritto dal: Nov 2001 Città: Vatican City DILIGO TE COTIDIE MAGIS «Set me as a seal on your heart, as a seal on your arm: for love is strong as death and jealousy is cruel as the grave.» Messaggi: 12394	Sì, non credo che abbia un'utilità pratica...è ricerca teorica nel campo della matematica...non ne so granché neppure io... L'ho postato perché era interessante vedere l'utilizzo del computer in campi come questo, dove i conservatori (insomma, quelli che vogliono fare le dimostrazioni in modo analitico, con carta e penna) sono ancora la fazione dominante... Se non erro anche l'ultimo teorema di Fermat è stato dimostrato non analiticamente ma con un algoritmo ricorsivo... __________________ «Il dolore guida le persone a distanze straordinarie» (W. Bishop, Fringe) How you have fallen from heaven, O star of the morning, son of the dawn! You have been cut down to the earth, You who have weakened the nations! (Isaiah 14:12)

15-01-2004, 21:10	#6
BlackWalker Senior Member Iscritto dal: Sep 2003 Città: Roma Messaggi: 1997	che perdita di tempo.... __________________ I7 - 9700K - Gigabyte AORUS Z390 Pro - 32GB DDR4 G.Skill F4-3000C16S - EVGA GTX 1070 FTW - M2 EVO 970 PLUS 2TB - (Win10) - Crucial MX 2TB - EVO 860 500GB - (Mojave) - cooler master Real Power M850 - Corsair Hydro H115i ProRGB - Case Obsidian 500D - Monitor Asus MX279 - Bose Companion®5 - (Intel BOXNUC7I3BNH 8GB - SSD EVO 850 pro 500GB) (HTPC i5 2700k - GTX 1060)

15-01-2004, 21:29	#9
ChristinaAemiliana Moderatrice Iscritto dal: Nov 2001 Città: Vatican City DILIGO TE COTIDIE MAGIS «Set me as a seal on your heart, as a seal on your arm: for love is strong as death and jealousy is cruel as the grave.» Messaggi: 12394	Ma tu pensa cosa devo leggere...tsè... __________________ «Il dolore guida le persone a distanze straordinarie» (W. Bishop, Fringe) How you have fallen from heaven, O star of the morning, son of the dawn! You have been cut down to the earth, You who have weakened the nations! (Isaiah 14:12)

15-01-2004, 21:54	#11
Sir J Senior Member Iscritto dal: Nov 2001 Messaggi: 1518	Ma perche' una societa' dovrebbe pagare 100000 dollari per trovare un primo di Mersenne? Non credo che abbia utilita' neanche teorica. Posso capire Pigreco, che in alcuni modelli di calcolo si usa con un numero di cifre dopo la virgola altissimo, ma il primo di Mersenne, qui prodest?

15-01-2004, 22:39	#14
VegetaSSJ5 Senior Member Iscritto dal: Sep 2002 Città: Celano (AQ) Segno_Zodiacale: Leone Ascendente: Cammello Segni_Particolari: Quello Messaggi: 9569	ragazzi per 40esimo numero di marsenne si intende 2^40-1???

15-01-2004, 23:00	#16
Digitos Senior Member Iscritto dal: Jun 2002 Città: Milano Messaggi: 2886	Ma l'utilità??? Intanto i numeri sono infiniti..... __________________ Varigotti. Per veri amatori: www.quellichevarigotti.com

15-01-2004, 23:05	#18
Manson666 Bannato Iscritto dal: Oct 2000 Messaggi: 552	.... mmmm...non vi so dire bene se hanno un utilità questi numeri ma facendo informatica a logica (che ho miseramente fallito all'esame) alcuni numeri particolari hanno importantissimi nella crittografia...e mi pare che i numeri primi c'entrino qualcosa...di + non so dirvi

15-01-2004, 23:11	#19
Ciaba Senior Member Iscritto dal: Nov 2002 Città: Firenze Messaggi: 4027	...una bella zappa in mano.....un campo fertile a disposizione e via..... __________________ I soliti case ti hanno stancato? Passa all'UnCase Listen With Headphones

15-01-2004, 23:20	#20
recoil Senior Member Iscritto dal: Jul 2002 Città: Milano Messaggi: 19148	il calcolo di grandi numeri primi torna utile per la creazione di chiavi negli sistemi di cifratura come RSA. il "trucco" sta nell'utilizzare numeri molto elevati che difficilmente possono essere decomposti in prodotto di altri numeri. certo che il calcolo distribuito, come si è visto in questo esempio, può aiutare a decifrare le chiavi in tempo "ridotto". uso le " " perché alcune chiavi sono cmq molto, troppo pesanti

Strumenti
Mostra una versione stampabile Invia questa pagina per email