Small clarification to the earlier writeup.

In fact Andrew Wiles was unable to prove the Taniyama-Shimura conjecture, in general. He only established it in the semistable case (with some help from Richard Taylor), when the rational elliptic curve has a squarefree conductor. However, this special case was enough to prove Fermat's Last Theorem.

The Taniyama-Shimura conjecture itself is a more interesting result that FLT and has now been proved in full. The result is due to Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor. Predictably, this has not aroused the same level of media excitement as Wiles' announcement of FLT...

Log in or register to write something here or to contact authors.