┬┐Cu├íl es la manera m├ís eficiente de apilar naranjas o manzanas? Suena banal, pero esa pregunta llevaba 400 a├▒os sin respuesta cient├şfica. En 1611, el astr├│nomo y matem├ítico alem├ín Johannes Kepler plante├│, casi por pura intuici├│n, que la mejor manera de apilar objetos esf├ęricos era formando una pir├ímide, pero ni Kepler ni los que le han seguido han podido probar nunca esa conjetura.

Aunque probablemente todos los fruteros del mundo dir├şan que esto es evidente, para demostrar cient├şficamente el problema hacen falta buenas dosis de c├ílculo. En 1998, Thomas Hales, de la Universidad de Pittsburgh, en Pennsylvania, desarroll├│ una serie de ecuaciones que probaban la validez de la conjetura de Kepler.

Advertisement

El estudio ten├şa 300 p├íginas, y las 12 personas encargadas de su verificaci├│n tardaron cuatro a├▒os en comprobar todos los c├ílculos. Incluso as├ş, el estudio de Hales solo probaba la teor├şa de la pir├ímide en un 99%. En 2003, Hales puso en marcha el proyecto Flyspeck, un software que pudiera probar sin atisbo de duda la teor├şa de Kepler.

Hales desarroll├│ dos programas llamados Isabelle y HOL Light. Ambos est├ín especializados en aplicar relaciones de l├│gica en busca de errores en una teor├şa matem├ítica. Este domingo, Isabelle y HOL Light han completado su an├ílisis. La conjetura de Kepler es 100% correcta. La noticia no solo es positiva para Hales, quien asegura haberse quitado 10 a├▒os de encima. Su ├ęxito abre la puerta al desarrollo de aplicaciones para solucionar cuestiones matem├íticas que siguen sin resolver debido a c├ílculos demasiado tediosos. [v├şa New Scientist]

Advertisement

Foto: nexus 7 / Shutterstock

***

Psst! tambi├ęn puedes seguirnos en Twitter, Facebook o Google+ :)