Han erhöll 1986 Fieldsmedaljen för sitt bevis av Poincarés förmodan i dimension fyra, nämligen att en enkelt sammanhängande fyrmångfald är bestämd upp till homeomorfi av sin snittform.