On November 18, the SFdS, SMAI, and SMF are organizing a one-day workshop at the Institut Henri Poincaré (IHP, Paris) on the use of formal methods and AI to advance mathematics.

The contribution of mathematics to AI is undeniable. But, by reversing the paradigm, could AI itself be used to advance the discipline of mathematics? What can AI bring to mathematical research, and how?

Given the importance of these questions for their shared discipline, the SFdS, SMAI, and SMF have come together to offer a day of meetings aimed at familiarizing mathematicians with the new capabilities of AI agents (particularly in formal language) and enabling them to discuss these topics.

Several points of view and works will be presented, both in terms of mathematical applications and the use of AI in fundamental research, by academics and researchers from Tech. At the end of the day, a round table discussion will extend the debate to issues of framework, governance, and ethics raised by the introduction of these new technologies.

The workshop is free and open to all, but registration is required.

Come along and join us for a day of discussion on this important topic!