Mathematicians recently proved a central component of the Langlands program, an ambitious effort to develop a “grand unified theory” of mathematics. The monumental proof of the geometric Langlands conjecture totaled more than 800 pages and marked the culmination of 30 years of work by nine mathematicians.