İnsanların 400 yıldır çözemediği problem bir bilgisayar tarafından çözüldü

1611 yılında Johannes Kepler, ''Yuvarlak cisimler en iyi piramit şeklinde istiflenebilir. '' iddiasını ortaya attı. Bu istifleme şeklini manavlarda da görebilirsiniz.

Bu iddiaya karşı çıkanların bazıları, "Dikdörtgen biçiminde, bazıları kare biçiminde daha iyi isteflenir" demiş. Fakat hiçbiri %100 olarak kanıtlayamamıştır. Pittsburgh Üniversitesi'nde 300 sayfa kanıt ve 22 eleştirmen ile yapılan kanıtlama çalışmasında bile "piramit şeklinin yuvarlak cisimler için en iyi istifleme yöntemi" olduğu iddiası %99 olarak doğrulandı fakat yine de matematiksel olarak kanıtlanamadı.
Sonunda bir grup bilgisayar programcısı, basit bir bilgisayar mantığıyla çalışan bir program ile kanıtları kontrol etti ve...

Evet, problemin cevabı matematiksel olarak 'piramit şekli' olduğuna karar verdi


http://www.businessinsider.com/johannes-kepler-math-theory-spherical-objects-2014-9