Computador prova teoria matemática de 400 anos

O matemático Johannes Kepler, que viveu nos séculos XVI e XVII, formulou uma teoria segundo a qual a forma mais eficiente de empilhar esferas, como as laranjas da foto, é colocá-las no formato de pirâmide. Embora tenha sido aceita em larga escala pelo comércio, a tese só foi provada no último domingo, 403 anos depois, por um computador.O matemático responsável pelo projeto, Thomas Hayles, já havia…