www.math.pitt.edu

     
University of Pittsburgh. Kepler conjecture (announced a computer-aided proof), other space tiling conjectures, Langlands theory.