Kepler’in varsayımı, kürelerin yüz merkezli kübik ve altıgen istifinin, olası tüm değişkenler arasında en yüksek ortalama yoğunluğa sahip olduğunu belirtir. Bu teoriyi kanıtlamak 400 yıldan fazla sürdü.
Pittsburg (ABD) Alman astronom ve matematikçi Johannes Kepler tarafından önerilen 1611 varsayımında (Kepler’in varsayımı) olduğu gibi, ampirik deneyim hakkında bir şeyler bilmekle bunu resmi bir kanıtla desteklemek arasında büyük bir fark vardır. küresel gövdeleri istiflemenin piramidal düzenlemeden daha etkili bir yolu. Bu düzenleme aynı zamanda günlük hayatta en sık karşılaştığımız yönteme de karşılık gelir: elmalar veya bu geometrik şekle sahip diğer yiyecekler genellikle bu şekilde sunulur. Bireysel gövdeler arasındaki boş alanlar, top yapısının mümkün olan en iyi bağımsız stabilitesini de sağlayan mümkün olan en iyi verimlilikle doldurulur. Kepler bunun için mümkün olan en iyi yoğunluğu yüzde 74 olarak adlandırdı.
Pratik yaklaşımlar ancak kanıt yok
20. yüzyılda, düzenli ve düzensiz düzenlemelerin maksimum yoğunluğunu yüzde 78’e çıkarmak için çeşitli pratik yaklaşımlar vardı. Ancak, o zaman resmi bir kanıt sağlanamadı.
Son olarak: Kanıt neredeyse orada, ancak bilgisayar verilerinin doğruluğu kontrol edilemiyor
1998 yılında, bu varsayım ilk kez bilimsel olarak veya bilgisayar destekli mantık kullanılarak kanıtlanabildi. Şu anda Pittsburgh Üniversitesi’nde profesör olan Thomas Hale, Kepler’in varsayımının doğru olduğuna dair bir kanıt bulduğunu açıkladı. 1996’da başlayan vaka çalışması, 150’den fazla olası değişkenin sonucunu ve 100.000’den fazla bireysel doğrusal optimizasyonun hesaplanmasını gösterdi. Bu alışılmadık şekilde sunulan bilimsel çalışma, daha sonra 250 sayfadan ve üç GB’tan fazla toplanan bilgisayar verisinden oluşuyordu. Bu gönderim, 12 hakemden oluşan bir panel tarafından incelenecekti. Dört yıl sonra, bu uzmanlar meclisi, Thomas Hale’in resmi ispatının yüzde 99 doğru olduğu sonucuna vardı. Bu raporun bir sınırlaması, bilgisayarda toplanan ve hesaplanan verilerin doğrulanamayan doğruluğunu açıklar. Matematikçi Hale’e bir “matematik teoremi” olasılığı sunuldu.
18 yıl sonra
Ocak 2003’te, ortak bir proje sayesinde, hala eksik olan tam kanıt sağlanacaktı. Son olarak, Ağustos 2014’te Hales, başka bir bilgisayar hesaplaması kullanarak bilgisayar tarafından hesaplanan sonuçların doğruluğunu teyit edebildi.