Fermati viimane teoreem, mida nimetatakse ka Fermati suureks teoreemiks, väide, et naturaalarvud puuduvad (1, 2, 3,
) x, y ja z nii, et x n + y n = z n, kus n on naturaalarv, mis on suurem kui 2. Näiteks kui n = 3, siis Fermati viimane teoreem väidab, et naturaalarvud x, y ja z on olemas nii, et x 3 + y 3 = z 3(st kahe kuubi summa ei ole kuup). 1637. aastal kirjutas prantsuse matemaatik Pierre de Fermat Aleksandria Diophantuse aritmeetika eksemplaris (umbes 250 ce): “Kuubil on võimatu olla kahe kuubi summa, neljas jõud on kahe summa. neljas võim või üldjuhul iga arvu korral, mis on teisest suurem võimsus, mis on kahe sarnase jõu summa. Olen avastanud [selle teoreemi] tõeliselt tähelepanuväärse tõendi, kuid see varu on selle hoidmiseks liiga väike. ” Sajandeid olid matemaatikud seda väidet hämmingus, sest keegi ei suutnud Fermat'i viimast teoreemi tõestada ega ümber lükata. Siiski töötati välja tõendid paljude konkreetsete n väärtuste kohta. Näiteks Fermat ise tõestas teist teoreemi, mis lahendas juhtumi efektiivselt n = 4, ja 1993. aastaks kinnitati see arvutite abil kõigi algarvude jaoks n <4 000 000. Selleks ajaks olid matemaatikud avastanud, et Shimura-Taniyama-Weili oletusena tuntud algebralise geomeetria ja numbriteooria tulemusest tuleneva erijuhu tõendamine oleks samaväärne Fermat'i viimase teoreemi tõestamisega. Inglise matemaatik Andrew Wiles (kes oli teoreemi vastu huvi tundnud alates 10. eluaastast) esitas tõendi Shimura-Taniyama-Weili oletuse kohta 1993. aastal. Tõendis leiti siiski viga, kuid tema endise abiga üliõpilane Richard Taylor, Wiles töötas välja tõendi Fermati viimase teoreemi kohta, mis avaldati 1995. aastal ajakirjas Annals of Mathematics. See sajandite möödumine ilma tõenditeta oli pannud paljud matemaatikud kahtlustama, et Fermat eksis, arvates, et tal on tõend tegelikult olemas.
