El ltimo teorema de Fermat, conjeturado por Pierre de Fermat en 1637, pero
no demostrado, establece que: si n es un nmero entero mayor que 2, entonces no existen nmeros enteros no nulos x, y y z, tales que se cumpla la igualdad:
Dado que Wiles utiliz ms de 100 pginas y modernas tcnicas matemticas,
es en la prctica imposible que esta demostracin sea la misma que insinu Fermat. Fermat posea un ejemplar de la Aritmtica de Diofanto en cuyos mrgenes anotaba las reflexiones que le iban surgiendo. En uno de estos mrgenes enunci el teorema y escribi Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet, cuya traduccin es Poseo una demostracin en verdad maravillosa para este hecho, pero este margen es demasiado estrecho para contenerla. La historia de Wiles y la demostracin de ltimo teorema de Fermat es una autntica historia de perseverancia y superacin, y un ejemplo de cmo las matemticas son bellas en s mismas.