The official notes on my October 22, 1993 Albany "Everyone Seminar" presentation give a beginning introduction to the final resolution of Fermat's Last Theorem through the 1993 work of Andrew Wiles on the modular curve conjecture following the work of Frey, Serre, and Ribet in the mid 1980's.
Since 1994 I have been looking for a truly reliable way to make mathematical materials available through the web without the need for editing more than one source. This led to my GELLMU Project. In February 2001 I re-edited the notes under the new system so that, as of that time, there was an HTML version for the benefit of (1) those sitting where neither DVI nor PDF was available and (2) those who could not use the typeset formats, including web crawlers. Since the fall of 2004, it has been possible to generate automatically from the same source a fully reliable web version making use of Mathematical Markup Language (MathML).
The new edition is available in the following formats:
The original notes are available in the following formats:
The notes, which were completed in March 1994, contain as an appendix a public announcement by Andrew Wiles about an unfinished argument. Subsequent to that time in October 1994 Karl Rubin posted an announcement at Ohio State, which received wide electronic circulation, and that appeared to clear the air. The papers advertised by Rubin appeared in the Annals of Mathematics issue dated May 1995.
As of the Annals articles, the Shimura-Taniyama-Weil conjecture had been proved only for semi-stable elliptic curves. (This settled the celebrated corollary.) It left open for general elliptic curves defined over the rational field, as well as for much more general objects that are realizable as schemes of finite type over the ring of integers, the question of whether the zeta function behaves as a zeta function should and as the zeta function of the "final" scheme over the ring of integers does.
By the summer of 1999 there were widespread reports that the full Shimura-Taniyama-Weil conjecture (or the modular curve conjecture), covering all elliptic curves defined over the rational field, had been proved by Breuil, Conrad, Diamond, and Taylor.
The following is a short list of post 1993 references: