skip to content
Study at Cambridge
About the University
Research at Cambridge
Search site
Home
Study at Cambridge
Undergraduate
Undergraduate courses
Applying
Events and open days
Fees and finance
Postgraduate
Postgraduate courses
How to apply
Postgraduate events
Fees and funding
International students
Continuing education
Executive and professional education
Courses in education
About the University
How the University and Colleges work
Term dates and calendars
History
Map
Visiting the University
Annual reports
Equality and diversity
News
A global university
Events
Public engagement
Jobs
Give to Cambridge
Research at Cambridge
For staff
For Cambridge students
For alumni
For our researchers
Business and enterprise
Colleges & departments
Email & phone search
Give to Cambridge
Libraries
Museums & collections
Faculty of Mathematics
Login
Mathematical Research at the University of Cambridge
Home
Current Students
Undergraduate Mathematics
Part III (MMath/MASt)
Postgraduate
Lecture Lists
NST Mathematics
Student Representation
Careers for Mathematicians
Careers Resources
Prospective Students
Undergraduate Admissions
Undergraduate Open Days
Part III (MASt/MMath)
Postgraduate Study
Mathematics for Natural Sciences Tripos (NST)
Careers for Mathematicians
Research
Overview
Interdisciplinary Research Centres
Applied Mathematics and Theoretical Physics
Pure Mathematics and Mathematical Statistics
Seminars
DAMTP Seminars
Statistical Laboratory Seminars
DPMMS Seminars
Isaac Newton Institute Seminars
Shortening Lean proofs generated by RL-trained theorem provers
Features
Opportunities
Vacancies
Industrial Collaboration
Internships
Careers for Mathematicians
Summer Research in Mathematics: CMP and Research in the CMS
Adams Prize
Outreach
Mathematics for all - outreach overview
Events
Internal
Internal overview
Administration and Facilities
Bulletins
Computing and IT
Degree Committee and Postgraduate Education
Directors of Studies
Postdocs
Faculty Board
Research Facilitation
Teaching and Examining
Wellbeing
About Us
Contacts
Equality, Diversity & Inclusion
Women in Mathematics
Features
Alumni and Friends
News and Announcements
Events
People
The Departments
Mathematics in Cambridge
Shortening Lean proofs generated by RL-trained theorem provers
Mathematical Research at the University of Cambridge
Research
Seminars
DAMTP Seminars
Statistical Laboratory Seminars
DPMMS Seminars
Isaac Newton Institute Seminars
Shortening Lean proofs generated by RL-trained theorem provers
Overview
Applied Mathematics and Theoretical Physics
Pure Mathematics and Mathematical Statistics
Features
Further information
Time:
30
Mar
Mar 30th 2026
18:40
to
18:45
Venue:
Seminar Room 1, Newton Institute
Speaker:
Pauline Bourigault (Imperial College London)
Series:
Isaac Newton Institute Seminar Series
