A team led by Thomas Hales has announced a formal proof of the Kepler conjecture – one of the oldest problems in geometry – which states that no packing of equally sized spheres in 3-dimensional space is more efficient than the face-centred cubic packing (pictured right), or hexagonal close packing.