Sammen med Isadore Singer oppdaget han Atiyah-Singers indeksteorem som i sin tur førte til arbeider innen representasjonsteori. I 2004 vant Atiyah og Singer Abelprisen.