Highlight Research

AI and Maths – a one day conference in Paris

Hi! PARIS, SCAI, DATAIA, and PRAIRIE, the four AI clusters in Paris are co-organizing a one-day conference on artificial intelligence and mathematics, in collaboration with ELLIS Paris.

This event will bring together researchers, practitioners, and mathematicians to explore how AI is transforming mathematical reasoning and problem-solving.

Exploring the Intersection of AI and Mathematics

The conference aims to provide the mathematical community, broadly defined with insights into the latest advancements in artificial intelligence applied to mathematics.

Topics will include:

  • New LLM models for mathematical reasoning
  • Innovative training techniques for AI applications in mathematics
  • Mathematical contributions to AI, including specialized datasets and proof assistants

Beyond theoretical discussions, the conference will also focus on practical applications, with an afternoon hands-on session designed to showcase AI tools for solving mathematical problems.

Program

📅 Date: April 4, 2025
📍 Location: PSL Building, 16 bis rue de l’Estrapade, 75005 PARIS
🔗 Pre-registration: Free but mandatory on the conference website

Morning Session
  • 09:30 – 10:10: Yann Fleureau & Jia Li (Numina)
  • 10:10 – 10:40:  Coffee Break
  • 10:40 – 11:20: Amaury Hayat (ENPC)
  • 11:20 – 12:00: Marc Lelarge (Inria)
Afternoon Session
  • 14:00 – 16:00:  Hands-on session – Practical applications of AI for mathematical problem-solving
Organizing Committee
  • Aymeric Dieuleveut (Hi! PARIS Fellow, École Polytechnique)
  • Francis Bach (Inria)
  • Gabriel Peyré (CNRS and ENS)

This event is a unique opportunity to engage with experts at the forefront of AI and mathematics, discover cutting-edge research, and participate in a hands-on session designed to explore real-world applications.

🔗 Secure your spot now by registering on the official website.