Complex sentence: Thomas Callister Hales (born 1958) is an American mathematician who, while on faculty at the University of Michigan, provided a computer-aided proof of the Kepler Conjecture that the most efficient way to pack spheres was in a pyramid shape.
Split into simpler sentences: Thomas Callister Hales (born 1958) is an American mathematician who, while on faculty at the University of Michigan, provided a computer-aided proof of the Kepler Conjecture. It states that the most efficient way to pack spheres is in a pyramid shape.