Colloquium
The event has passed

AI for math: what is happening and what it means

Colloquium with Jubilee Professor Emily Riehl from Johns Hopkins University, USA.

Add to OutlookAdd to Google Calendar

Overview

The event has passed
Emily Riehl, Chalmers Jubilee Professor

Emily Riehl is appointed Chalmers Jubilee Professor in 2026, at the Department of Computer Science and Engineering.

Emily Riehl is a well-known mathematician, full professor at John Hopkins University, and Fellow of the American Mathematical Society. Among other topics, Emily works on higher category theory, homotopy type theory, and autoformalisation of mathematics.

Abstract:

This talk will survey some notable recent applications of generative AI to research mathematics and then discuss how the mathematics community is responding.

Contact and host for Emily Riehl: 
Christian Sattler sattler@chalmers.se

AI for math: what is happening and what it means | Chalmers