¬Ņ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+ :)