"A Brief History of Fermat's Last Theorem" by Prof. Kenneth Ribet

The speaker discussed work on Fermat's Last Theorem over the last 350+ years. The theorem was proved in the mid-1990s using tools from contemporary arithmetic algebraic geometry. The speaker focused on such objects as elliptic curves, Galois representations and modular forms that are central to the proof. The constructions introduced by Wiles and Taylor-Wiles in the 1990s have been refined and generalized significantly.