[Forwarded with permission:] damian@cs.monash.edu.au (Damian Conway) writes: >Andrew Wiles [ of Princeton University ] > just announced, at the end of his 3rd lecture here > [ at the Newton Institute in Cambridge ] > that he has proved Fermat's Last Theorem. He did this by proving > [ a large part of the Taniyama-Weil conjecture for elliptic curves ] > that every semistable elliptic curve over Q (i.e. square-free > conductor) is modular.... Now wait for the popular media to get hold of it: "Prince Andrew of Wales has just announced a proof of Newton's Last Format Theory. The theory, first postulated in Cambridge during the Middle Ages, states that there are no numbers greater than two. It was thought to be lost for all time because the piece of paper on which it was originally written had the margins torn off. Film at eleven...."
(From the "Rest" of RHF)