An "electric atomosphere" is not what you expect at a maths lecture. But it is what prevailed when Andrew Wiles announced his proof of a 350-year-old-old problem, Fermat's last theorem, exactly 20 years ago.
Robert Hunt concludes our Origins of Proof series by asking what a proof really is, and how we know that we've actually found one. One for the philosophers to ponder...