400 éves matematikai problémát sikerült bizonyítani

Egy számítógép végre megoldotta, amin évszázadok óta dolgoznak a tudósok. 1611-ben Johannes Kepler azt állította, hogy a gömbök legoptimálisabb elhelyezése a piramis-alak. Ezt idáig nem sikerült bitonyítani senkinek.

Egy Thomas Hales nevű tudós 1988-ban megpróbálta, de a 300 oldalas dolgozatát 12 tudós négy évig ellenőrizte, és még így is csak 99 százalékos bizonyossággal hagyták jóvá. Hales 2003-ban kezdett el Flyspeck projekten dolgozni, amivel végre egy számítógéppel bebizonyíthatta, hogy igaz, amit írt.

Most vasárnap a program megerősítette, hogy Hales bizonyítása helyes. Az embereknek 400 évig nem sikerült, a számítógép tíz év alatt megoldotta.