Fermatova posljednja teorema, koja se naziva i Fermatov veliki teorem, tvrdnja da nema prirodnih brojeva (1, 2, 3,
) x, y i z takvi da je x n + y n = z n, u kojem je n prirodni broj veći od 2. Na primjer, ako je n = 3, Fermatova posljednja teorema kaže da nema prirodnih brojeva x, y i z postoji tako da je x 3 + y 3 = z 3(tj. zbroj dvije kocke nije kocka). Godine 1637. francuski matematičar Pierre de Fermat napisao je u svom primjerku Arithmetica Diophantus of Alexandria (oko 250 ce), "Nemoguće je da kocka bude zbroj dvije kocke, a četvrta snaga jednaka svoti dvije četvrta sila, ili općenito za bilo koji broj koji je moć veća od druge, jest zbroj dviju sličnih sila. Otkrio sam zaista izvanredan dokaz [ove teoreme], ali ta je granica premala da bi ga sadržavala. " Stoljećima su matematičari bili zbunjeni ovom izjavom, jer nitko nije mogao dokazati ili opovrgnuti Fermat-ovu posljednju teoremu. Međutim, stvoreni su dokazi za mnoge specifične vrijednosti n. Na primjer, Fermat je sam napravio dokaz druge teoreme koja je učinkovito riješila slučaj za n = 4, a do 1993. godine, uz pomoć računala, potvrđena je za sve primarne brojeve n <4.000.000. Do tada su matematičari otkrili da je dokazivanje posebnog slučaja rezultata algebarske geometrije i teorije brojeva poznato kao pretpostavka Shimura-Taniyama-Weil ekvivalentno dokazivanju Fermatove posljednje teoreme. Engleski matematičar Andrew Wiles (koji je za teoremu bio zainteresiran od desete godine) predstavio je dokaz pretpostavke Shimura-Taniyama-Weil 1993. Međutim, u ovom je dokazu pronađena greška, ali uz pomoć njegovog bivšeg student Richard Taylor, Wiles je konačno osmislio dokaz posljednje Fermatove teoreme, koji je objavljen 1995. godine u časopisu Annals of Mathematics. To je stoljeće prošlo bez dokaza dovelo je mnoge matematičare da sumnjaju da je Fermat pogriješio misleći da zapravo ima dokaz.
