04/02/2025
Join us in L1 tonight at 6pm for a talk from Prof. Kevin Buzzard! The talk will be accessible to a mathematics undergraduate and will assume no background in computer science.
Abstract:
Fermat's Last Theorem was proved in the 1990s by Wiles and Taylor/Wiles. Many humans have read and understood the various parts of the proof, although the number of humans who understand all of the details of everything involved is small. I'll talk about an ongoing project of mine, whose goal is to teach the proof to a computer.