On November 18, 2025, the Institut Henri Poincaré hosted an exceptional day dedicated to the intersection of artificial intelligence and mathematics during the AI 4 Maths workshop. Researchers, engineers, institutional stakeholders, and innovation leaders gathered to explore how AI is reshaping contemporary mathematical research.

An Event at the Crossroads of Disciplines

Organized by the French Statistical Society, the Society for Applied and Industrial Mathematics, and the French Mathematical Society, the event aimed to highlight the growing contributions of AI — especially formal language models — to modern mathematical practices.

Talks, demonstrations, and discussions offered a comprehensive overview of current uses of AI in research, from proof assistance to the automated structuring of complex reasoning.

Key Highlights of the Day

- Scientific Presentations
Throughout the day, experts shared recent developments, providing perspectives that bridged applied mathematics, modeling, statistics, formal computing, and artificial intelligence. The presentations highlighted the complementarity between algorithmic methods and human mathematical intuition, as well as the challenges that lie ahead.

- A Thought‑Provoking Roundtable on Ethical and Societal Issues
The event concluded with a roundtable focused on the framework, governance, and ethical implications of integrating new AI technologies into mathematical research.

Moderated by Gérard Biau (Professor at Sorbonne University and Director of SCAI), the discussion featured:

Ivan Nourdin (Professor, University of Luxembourg & GrewIA)
Hadi Quesneville (Deputy Director – Open Science Directorate, INRAE; Administrator of Research Data, Algorithms, and Code)
Julia Meyer (Lead Digital Engineer, ADEME)

Their exchanges contextualized the organizational, scientific, and ethical considerations arising from the increasing use of AI, particularly in relation to transparency, reproducibility, and tool governance.

A Collaborative Dynamic

Beyond formal presentations, AI 4 Maths fostered rich conversations among researchers, public‑sector actors, engineers, and AI specialists. The diversity of participants encouraged the exchange of perspectives, identification of collaboration opportunities, and reflection on emerging needs within the scientific community.

AI 4 Maths highlighted the growing role of artificial intelligence within the mathematical ecosystem while emphasizing the importance of interdisciplinary dialogue. The engagement and enthusiasm surrounding the event demonstrate a strong interest in these topics and pave the way for future initiatives that combine AI, mathematics, and scientific responsibility.