However, in September 1993 the proof was found to contain an error. Wiles first announced his proof on 23 June 1993 at a lecture in Cambridge entitled 'Modular Forms, Elliptic Curves and Galois Representations'.
Both Fermat's Last Theorem and the modularity theorem were almost universally considered inaccessible to proof by contemporaneous mathematicians, meaning that they were believed to be impossible to prove using current knowledge. Together with Ribet's theorem, it provides a proof for Fermat's Last Theorem. Wiles's proof of Fermat's Last Theorem is a proof by British mathematician Andrew Wiles of a special case of the modularity theorem for elliptic curves.
