Fermat Search
Template:Stub informatica Fermat Search è un progetto di calcolo distribuito per la ricerca divisori più grandi dei Numeri primi di Fermat.
Obiettivi del progetto
I numeri di Fermat hanno la forma matematica . Fermat credeva che tutti i numeri con questa forma fossero primi ma si sbagliava. In effetti, questo è vero per i primi cinque. Ma Eulero nel 1732 dimostrò che il sesto numero = 4294967297 non è primo poiché ha un divisore: 641.
É stato dimostrato che tutti i divisori dei numeri primi di Fermat hanno la forma matematica: con
Utilizzando questo corollario in tre secoli sono stati trovati più di 200 divisori. Questo progetto si propone di trovare divisori maggiori. Con l'ausilio del calcolo distribuito e dei computer dei volontari questo progetto propone ai partecipanti di entrare nella storia della matematica.