Devdatt Dubhashi, Josef Urban and Thierry Coquand, CSE, Chalmers/GU: AI for Mathematics
Overview
Date:
Starts 26 May 2026, 15:30Ends 26 May 2026, 16:30Location:
Euler, Skeppsgränd 3 and onlineLanguage:
English
Abstract: The colloquium will be in two parts:
Part 1: a broad overview of recent advances demonstrating how AI has progressed from winning math Olympiads to a powerful tool for research in mathematics, including perspectives from a recent workshop held at the Newton Institute Cambridge. And an invitation to participate in a CHAIR theme semester and a conference at the Mittag Leffler Institute in June 2027 on these topics.
Part 2: Concrete examples from ongoing local research
- Josef Urban on autoformalization of Munkres’ Topology
- Thierry Coquand on autoformalization of Gödel’s Second Incompleteness Theorem
Join from PC, Mac, Linux, iOS or Android: https://chalmers.zoom.us/j/69137225300
Password: 402372
- Associate Professor, Algebra and Geometry, Mathematical Sciences
