Sphere packing is the arrangement of non-overlapping spheres within a given space to maximize density, a problem that has applications in fields such as crystallography, coding theory, and discrete geometry. The densest known packing in three dimensions is the face-centered cubic lattice, proven by Thomas Hales in the Kepler conjecture resolution.