«for å ha introdusert kraftige verktøy i aritmetisk geometri og å løse langvarige diofantiske formodninger av Mordell og Lang»