English
Fermat’s Last Theorem: Wiles’ Proof, Elliptic Curves, and What Came After
Fermat’s Last Theorem and a Film Worth Knowing
It is surprisingly easy to move from books about mathematics to films. Yesterday we mentioned the short film “The Mathematician and the Devil” — an adaptation of Arthur Porges’ story, starring Vsevolod Shestakov and Alexander Kaidanovsky (the same Kaidanovsky who played the Stalker in Tarkovsky’s Stalker). It remains the finest dramatic adaptation involving mathematics in the history of Russian-language cinema.
The film centers on Fermat’s Last Theorem: a statement simple to express, yet requiring an extraordinarily difficult proof. All that needed to be shown was that the equation a^n + b^n = c^n has no solution in positive integers when n > 2. For squares, solutions are plentiful — 3² + 4² = 5², for instance — but for cubes, fourth powers, and beyond, no one could find a single one.
How Fermat’s Last Theorem Went Unsolved for 350 Years
In 1637, Pierre de Fermat wrote in the margin of a book that he had discovered “a truly marvellous proof” — but that the margin was too small to contain it. The mathematical community struggled with the problem for more than 350 years.
British mathematician Andrew Wiles devoted seven years of secret work to the proof. In 1993 he announced a key result: he had proved a special case of modularity for so-called semistable elliptic curves, from which Fermat’s Last Theorem follows. Reviewers found a gap; Wiles spent nearly a year searching for a fix, and together with Richard Taylor found a way around it. The complete proof was published in 1995. The most famous unsolved problem in mathematics had been solved.
What Wiles Actually Proved
The central idea behind Wiles’ proof is a bridge between two seemingly unrelated worlds: elliptic curves — geometric objects defined by equations such as y² = x³ + ax + b, connected to cryptography, rational points, and Diophantine equations — and modular forms, highly symmetric functions that live in complex analysis.
Wiles showed that for a large class of elliptic curves this bridge exists: a curve can be “spoken” in the language of modular forms. It is precisely from this translation that Fermat’s Last Theorem follows.
Recognition and the Awards That Followed
Fame and recognition came to Wiles, though not the Fields Medal — the most prestigious prize for young mathematicians. By the time the proof was complete, Wiles was 41; the award is restricted to those under 40. Still, the honours he received were remarkable: the Wolf Prize (1995), the Wolfskehl Prize, the Schock Prize (1995), the Royal Medal (1996), a MacArthur Fellowship (1997), the Shaw Prize (2005), the Abel Prize (2016), the Copley Medal (2017), and a knighthood in 2000.
350 years of attempts had ended. Many debated the significance and the method. But the more important question was: what happened next?
The Mathematical Legacy of Fermat’s Last Theorem
Between 1995 and 2001, Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor extended Wiles’ result to a proof of full modularity for all elliptic curves over the rational numbers Q. This closed one of the central conjectures of the twentieth century.
Wiles’ methodology produced reusable techniques that are now standard tools in arithmetic geometry:
- Modularity lifting — roughly, if a correspondence “works” at the level of approximations, it can be lifted to an exact result
- The R = T theorem — deformation ring equals Hecke algebra — binding algebra and arithmetic together
- Level lowering and raising — ideas that allow properties to be transferred between mathematical objects
These tools reached well beyond Fermat’s Last Theorem. They appeared in work on potential modularity, in progress on Serre’s conjecture, in Sato–Tate type results for families of curves, and across a wide range of problems at the intersection of number theory and geometry.
Fermat’s Last Theorem and the Langlands Program
Wiles’ proof gave significant momentum to the Langlands Program — sometimes called the “grand unified theory” of number theory, representation theory, and geometry. The underlying vision is that seemingly different areas of mathematics are in fact different languages describing the same underlying reality.
The proof also brought a new generation of students into number theory and raised the public visibility of mathematics far beyond the academy.
What Fermat’s Last Theorem Really Opened Up
Fermat’s Last Theorem was not a final destination — it was the beginning of a larger era. Yes, the proof took more than 350 years to arrive. But the result opened entire new directions, delivered a toolkit that mathematicians continue to reach for, and accelerated the unification of fields that once seemed entirely separate. The most famous marginal note in history turned out to be less of a conclusion and more of a starting gun.
