A 400-year-old mathematical puzzle concerning the most efficient way to pack spheres in eight dimensions has been solved by ...