Congettura di Keplero

In matematica la congettura di Keplero è una congettura riguardante l'impacchettamento di sfere nello spazio euclideo tridimensionale. Essa afferma che non esiste alcun modo di sistemare delle sfere nello spazio con densità media superiore a quella dell'impacchettamento cubico a facce centrate o a quella dell'impacchettamento esagonale. La densità di questi due modi di sistemare le sfere è leggermente maggiore del 74%. Nel 1998 , attualmente professore all'università di Pittsburgh, annunciò di possedere una dimostrazione della congettura di Keplero. La sua dimostrazione è fatta per esaustione e prevede di controllare molti casi singoli mediante complessi calcoli al computer. I referee, dopo aver letto l'articolo, annunciarono di essere certi "al 99%" della correttezza della dimostrazione di Hales. La dimostrazione formale della congettura di Keplero è stata completata e verificata nel 2014.