In June 2026, a group of mathematicians published the Leiden Declaration on Artificial Intelligence and Mathematics, endorsed by the International Mathematical Union, setting out how the discipline should respond as AI tools reshape mathematical research. The document names the values it wants to protect: proof as the basis of certainty, verifiable and attributable results and the autonomy of mathematical communities to set their own standards, and translates them into recommendations for individual researchers, institutions, funders and industry. These recommendations are written at the level of principle; what they mean for specifics – referee reports, co-authored papers, classroom protocols, etc. – remains to be worked out.

Engaging with the Leiden Declaration brings together mathematicians who have been active in these discussions for a recurring panel conversation. The purpose of the series is to treat each recommendation as an open problem in practice. Each session pairs two or three related recommendations with a panel of two or three active discussants, moderated by the Fields Institute's Director. Audience members are invited to bring their own cases and disagreements into the conversation.