La congettura di Goldbach alla prova della GRID

Un nuovo successo nell’utilizzo della Grid, la rete di calcolo sviluppata par analizzare i dati di Lhc. Silvio Pardi, dell’INFN di Napoli, ha usato la potenza di calcolo di Grid per verificare la congettura di Goldbach per numeri molto grandi. Per questo lavoro Pardi nel settembre 2012 ha ricevuto il premio di Best Poster all’EGI Technical Forum. La congettura di Goldbach è uno dei più vecchi problemi irrisolti nella teoria dei numeri. Formulata nel 1742 e ancora non dimostrata, la congettura afferma che ogni numero pari maggiore di 2 può essere scritto come somma di due numeri primi. Pardi, per fare dei test di affidabilità della rete e dello SCoPE data center, ha scelto di utilizzare un algoritmo di verifica numerica della congettura sviluppato dal matematico Oliveira e Silva. Oliveira lavorava con questo algoritmo dal 2001 volendo verificare la congettura per numeri fino a 10¹⁸. Nei primi 10 anni era stato raggiunto l’80% di questo programma. A settembre 2011, Pardi ha esteso i test sulla rete Grid, e solo pochi mesi dopo, a aprile 2012, è stato raggiunto l’obiettivo, arrivando a 4x10¹⁸. La verifica numerica, sebbene non sia una dimostrazione, è un passo importante nello studio di una delle congetture matematiche più antiche.