Mathematical Colloquium with Joseph Tooby-Smith

15-5-2025, 13:20 in room 157, VR-II

Speaker: Joseph Tooby-Smith (RU)

Title: Interactive theorem provers and mathematics.

Abstract: Interactive theorem provers are gaining popularity and becoming increasingly powerful. In this talk, I will introduce what interactive theorem provers are and explain how they are being used in mathematics. I will also discuss the future of interactive theorem provers and the potential role artificial intelligence may play in their story.