200.000 computer per identificare il 40° numero di Mersenne

[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)

[Ufobobo]

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

[Grim]

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

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

[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...

[Ufobobo]

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]

che perdita di tempo....

[teogros]

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]

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]

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

[evelon]

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]

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]

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.

[/\/\@®¢Ø]

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]

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

[ChristinaAemiliana]

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]

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

[VegetaSSJ5]

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

[Manson666]

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]

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

[recoil]

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