Nell'estate del 1986, Wiles decise di dimostrare il teorema. Gerhard Frey, Jean-Pierre Serre e Ken Ribet avevano fatto ricerche di successo negli ultimi anni. Wiles si rese conto che poteva dimostrare una forma limitata del teorema di modularità. Così, decise di risolvere questo problema. Questo fu fatto in qualche modo in segreto. Nel 1993, presentò la sua prova al pubblico per la prima volta in una conferenza a Cambridge. Nell'agosto 1993, tuttavia, si scoprì che la prova conteneva una lacuna. Wiles cercò di colmare questa lacuna. Ma l'errore che fece fu molto semplice. Wiles ebbe l'idea cruciale per evitare, piuttosto che chiudere questa lacuna. Questa gli venne il 19 settembre 1994. Insieme al suo ex studente Richard Taylor, pubblicò un secondo articolo. Questo evitava l'errore e quindi completava la prova. Entrambi gli articoli furono pubblicati nel 1995 in un volume speciale degli Annals of Mathematics.