Abstract
Four centuries ago, Johannes Kepler proposed--but did not prove--that the densest possible packing of same-sized spheres is the "face-centered cubic" arrangement familiar today to anyone who9s ever admired a pyramid of oranges in a grocery store. There9s never been much doubt that the conjecture is true; the question has always been whether anyone can prove it. Now two mathematicians may finally have met the challenge, with a proof consisting of 250 pages of mathematical reasoning and computer programs that enumerate and check thousands of crucial details.

This publication has 0 references indexed in Scilit: