Fermatov zadnji izrek, imenovan tudi Fermatov veliki izrek, je trditev, da ni naravnih števil (1, 2, 3,
) x, y in z tako, da je x n + y n = z n, pri čemer je n naravno število večje od 2. Na primer, če je n = 3, Fermatov zadnji teorem pravi, da ni nobenih naravnih števil x, y in z obstaja tako, da je x 3 + y 3 = z 3(tj. vsota dveh kock ni kocka). Leta 1637 je francoski matematik Pierre de Fermat v svojem izvodu aritmetike Diofanta iz Aleksandrije (približno 250 ce) zapisal: "Nemogoče je, da bi bila kocka vsota dveh kock; četrta moč je vsota dveh četrta sila ali na splošno za katero koli število, ki je moč večja od druge, je vsota dveh podobnih moči. Odkril sem res izjemen dokaz [te teoreme], vendar je ta rob premajhen, da bi ga vseboval. " Stoletja so bili matematiki zmedeni nad to trditvijo, saj nihče ni mogel dokazati ali oporekati Fermatovega zadnjega izrekanja. Vendar so bili oblikovani dokazi za številne posebne vrednosti n. Fermat je na primer dokazal še en izrek, ki je zadevo dejansko rešil za n = 4, do leta 1993 pa je bil s pomočjo računalnikov potrjen za vsa primarna števila n <4.000.000. Matematiki so do takrat odkrili, da bi bilo dokazovanje posebnega primera rezultata algebarske geometrije in teorije števil, znane kot predpostavka Šimura-Taniyama-Weil, enakovredno dokazovanju Fermatovega zadnjega izrekanja. Angleški matematik Andrew Wiles (ki ga je teorem zanimal že od desetega leta starosti) je leta 1993 predstavil dokaz o predpostavki Šimura-Taniyama-Weil. Vendar je bil v tem dokazu napaka, vendar s pomočjo njegovega nekdanjega študent Richard Taylor, Wiles je končno zasnoval dokaz Fermatove zadnje teoreme, ki je bila objavljena leta 1995 v reviji Annals of Mathematics. Tiste stoletja, ki so minile brez dokazov, so pripeljale mnoge matematike do suma, da je Fermat zmotil, ko je mislil, da dejansko ima dokaz.
