Colloquium, Mathematical Sciences

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