of the Dedekind zeta function of an arbitrary number field at s = 2 in terms of the dilogarithm function, by studying arithmetic hyperbolic 3-manifolds. He later formulated a general conjecture giving formulas for special values of Dedekind zeta functions in terms of polylogarithm functions. He discovered a short and elementary proof of Fermat's theorem on sums of two squares. Zagier won the Cole Prize in Number Theory in 1987, the Chauvenet Prize in 2000, the von Staudt Prize in 2001 and the Gauss Lectureship of the German Mathematical Society in 2007. He became a foreign member of the Royal Netherlands Academy of Arts and Sciences in 1997 and a member of the National Academy of Sciences (NAS) in 2017. Selected publications . ''The First 50 Million Prime Numbers." Math. Intel. 0, 221–224, 1977. See also Rankin–Cohen bracket Monster Lie algebra References External links Max Planck bio 20th-century American mathematicians 21st-century American mathematicians Academic staff of the Collège de France 1951 births Living people Number theorists German emigrants to the United States Putnam Fellows MIT Department of Physics alumni Members of the Royal Netherlands Academy of Arts and Sciences Members of the United States National Academy of Sciences Massachusetts Institute of Technology School of Science alumni Max Planck Institute directors