BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Formalizing Fermat: an update - Kevin Buzzard (Imperial College Lo
 ndon)
DTSTART:20250501T160000Z
DTEND:20250501T170000Z
UID:TALK225178@talks.cam.ac.uk
CONTACT:Anand Rao Tadipatri
DESCRIPTION:I have been "officially" formalizing Fermat's Last Theorem for
  6 months now\, and unofficially I've been doing so for around a year. In 
 this talk I'll give you an update on where we are\, how it's going\, and w
 hat I've learnt so far. More precisely\, I'll talk about infrastructure (w
 hat we've settled on\, the problems that we've had\, and how we solved the
 m). I'll talk about what the goals of the project are\, what we have achie
 ved\, and where we're going. And I'll talk about what were (to me) some un
 expected consequences of the formalization procedure\, namely some old mat
 hematics which we've poked holes in\, and some new mathematics which has c
 ome out of the project. Finally I want to stress that I will not be assumi
 ng that the audience knows anything at all about the details of the proof!
  The talk will be suitable for a general scientific audience.\n\n=== Hybri
 d talk ===\n\nJoin Zoom Meeting https://cam-ac-uk.zoom.us/j/87143365195?pw
 d=SELTNkOcfVrIE1IppYCsbooOVqenzI.1\n\nMeeting ID: 871 4336 5195\n\nPasscod
 e: 541180
LOCATION:MR14 Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR