matematik
P. Deligne beviser André Weils formodning om algebraiske mangfoldigheder 1976 K. Appel og W. Haken beviser firefarve-problemet under inddragelse af computerverifikation 1980 Klassifikationen af alle endelige simple grupper afsluttes 1982 S. Donaldson beviser, at blandt talrummene Rn er tilfældet