A Computer Has Finally Proven the Answer to a 400-Year-Old Math Problem
Way back in 1611, Johannes Kepler suggested that the most efficient way to stack spheres—like arranging oranges for sale—was in a pyramid formation. Sadly, he couldn’t prove it, but now a computer has finally verified it to be true, settling centuries of debate. In fact, Thomas Hales of the University of Pittsburgh, Pennsylvania, developed a…