Wednesday, 30 January 2019, 14:00 at CMS, MR3 – Any number theorist would tell you that Fermat’s Last Theorem is proved. But I know of no human who understands the details of all of the mathematics involved. What does a group theorist mean when they say the classification of finite simple groups is finished? If you assume unpublished work …