Fermat's Last Theorem

Date: 27 Jun 1995 11:59:51 -0400
From: Anonymous
Subject: Fermat's Last Theorem

I read recently in a computer magazine that someone from England 
has proved Fermat's last theorem. Could you send me any more details? 
When I was in college my lecturer said that whoever proved it would 
become rich and famous!

Andy L.   Andrew_Lord@tertio.co.uk

Date: 28 Jun 1995 16:32:54 -0400
From: Dr. Ken
Subject: Re: Fermat's last theorem

Hello there!

Yes, it is generally accepted that Fermat's Last Theorem is proven.  Here's
what I found at sci.math's FAQ site about FLT.  If you want to, you can
check it out:

ftp://ftp.eunet.be/pub/documents/faq/sci-math-faq/FLT/

Here's one of the things I found:
_________________

Newsgroups: sci.math,sci.answers,news.answers
Path: senator-bedfellow.mit.edu!bloom-beacon.mit.edu!hookup!news.mathworks.com!
gatech!swrinde!howland.reston.ans.net!spool.mu.edu!torn!watserv2.uwaterloo.ca!u
ndergrad.math.uwaterloo.ca!neumann.uwaterloo.ca!alopez-o
From: Alex Lopez-Ortiz
Subject: sci.math FAQ: Status of FLT
Message-ID: D7LqGz.6n9@undergrad.math.uwaterloo.ca
Followup-To: sci.math
Summary: Part 5 of many, New version,
Originator: alopez-o@neumann.uwaterloo.ca
Keywords: Fermat Last Theorem
Sender: news@undergrad.math.uwaterloo.ca (news spool owner)
Nntp-Posting-Host: neumann.uwaterloo.ca
Reply-To: alopez-o@neumann.uwaterloo.ca
Organization: University of Waterloo
Date: Tue, 25 Apr 1995 17:41:22 GMT
Approved: news-answers-request@MIT.Edu
Expires: Fri, 19 May 1995 09:55:55 GMT
Lines: 76
Xref: senator-bedfellow.mit.edu sci.math:101770 sci.answers:2498 news.answers:4
2683

Archive-Name: sci-math-faq/FLT/status 
Last-modified: December 8, 1994
Version: 6.2

What is the current status of FLT?
 
   Andrew Wiles, a researcher at Princeton, claims to have found a proof.
   The proof was presented in Cambridge, UK during a three day seminar to
   an audience which included some of the leading experts in the field.
   The proof was found to be wanting. In summer 1994, Prof. Wiles
   acknowledged that a gap existed. On October 25th, 1994, Prof. Andrew
   Wiles released two preprints, Modular elliptic curves and Fermat's
   Last Theorem, by Andrew Wiles, and Ring theoretic properties of
   certain Hecke algebras, by Richard Taylor and Andrew Wiles.

   The first one (long) announces a proof of, among other things,
   Fermat's Last Theorem, relying on the second one (short) for one
   crucial step.

   The argument described by Wiles in his Cambridge lectures had a
   serious gap, namely the construction of an Euler system. After trying
   unsuccessfully to repair that construction, Wiles went back to a
   different approach he had tried earlier but abandoned in favor of the
   Euler system idea. He was able to complete his proof, under the
   hypothesis that certain Hecke algebras are local complete
   intersections. This and the rest of the ideas described in Wiles'
   Cambridge lectures are written up in the first manuscript. Jointly,
   Taylor and Wiles establish the necessary property of the Hecke
   algebras in the second paper.

   The new approach turns out to be significantly simpler and shorter
   than the original one, because of the removal of the Euler system. (In
   fact, after seeing these manuscripts Faltings has apparently come up
   with a further significant simplification of that part of the
   argument.)

   The preprints were submitted to The Annals of Mathematics. According
   to the New York Times the new proof has been vetted by four
   researchers already, who have found no mistake.

   In summary:

   Both manuscripts have been accepted for publication, according to
   Taylor. Hundreds of people have a preprint. Faltings has simplified
   the argument already. Diamond has generalised it. People can read it.
   The immensely complicated geometry has mostly been replaced by simpler
   algebra. The proof is now generally accepted. There was a gap in this
   second proof as well, but it has been filled since October.

   You may also peruse the AMS site on Fermat's Last Theorem at:

gopher://e-math.ams.org/11/lists/fermat
     _________________________________________________

    alopez-o@barrow.uwaterloo.ca
    Tue Apr 04 17:26:57 EDT 1995

-K