Changes

The Wiles-Taylor proof also makes use of some [[Grothendieck]] tools in cohomological number theory that use an axiom beyond the standard [[Zermelo-Fraenkel|ZFC]] axioms. It is an open question whether these tools can be formalized into a ZFC proof.<ref>Colin Mclarty -  Is There a “Simple” Proof of

The Wiles-Taylor proof also makes use of some [[Grothendieck]] tools in cohomological number theory that use an axiom beyond the standard [[Zermelo-Fraenkel|ZFC]] axioms. It is an open question whether these tools can be formalized into a ZFC proof.<ref>Colin Mclarty -  Is There a “Simple” Proof of

Fermat's Last Theorem? Part (1) Introduction and Several New Approaches by Peter Schorer (cwru.edu) [http://www.cwru.edu/artsci/phil/Proving_FLT.pdf] ''copy this title and search online - a download is required for reading the first 3 pages of this paper, an online subscription is required to access all 89 pages''</ref>

Fermat's Last Theorem? Part (1) Introduction and Several New Approaches by Peter Schorer (cwru.edu) [http://www.cwru.edu/artsci/phil/Proving_FLT.pdf] —''copy this title and search online - a download is required for reading the first 3 pages of this paper, an online subscription is required to access all 89 pages''</ref>

Unlike other mathematical breakthroughs, this claimed proof of 1993 has facilitated little, if any, insights or simplifications since then.

Unlike other mathematical breakthroughs, this claimed proof of 1993 has facilitated little, if any, insights or simplifications since then.