Andrew Wiles's proof of Fermat's Last Theorem is a proof of the modularity theorem for semistable elliptic curves released by Andrew Wiles, which, together with Ribet's theorem, provides a proof for Fermat's Last Theorem. Both Fermat's Last Theorem and the Modularity Theorem were almost universally considered inaccessible to proof by contemporaneous mathematicians, seen as virtually impossible to prove using current knowledge. Wiles first announced his proof on Wednesday 23 June 1993 at a lecture in Cambridge entitled "Elliptic Curves and Galois Representations."[1] However, the proof was found to contain an error in September 1993.