Organisers:
MATRIX:
Jan de Gier (University of Melbourne)
Geordie Williamson (University of Sydney)

MFO:
Francois Charton (Meta Fundamental AI Research)
Amaury  Hayat (Ecole Des Ponts Paristech)
Julia Kempe (New York University)

Program Description:
Having intelligent computers able to solve complicated problems on their own has been a sci-fi fantasy for almost as long as computers have existed. The progress of Artificial Intelligence (AI), and in particular Deep Neural Networks, in the last 20 years has made this a reality for a number of tasks and has revolutionised some areas such as vision or translation and natural language processing. If it is usually conceivable that an AI could translate words, play chess or process data as well or better than humans, it has often been hard to believe that they could perform abstract mathematics on their own. Nevertheless, over the last few years, works around AI for mathematics have been developing at a rapid pace and AI techniques have enabled new discovery in mathematics in knot theory, representation theory, partial differential equations, dynamical systems, control theory and many others. Interestingly, in many cases the neural networks involved are relatively small, far from the large language models. This may indicate that neural networks exploit yet unknown structures and representations, and that understanding their mode of operation may shed new light on the underlying mathematical problems.

The goal of this workshop is to discuss how AI methods can help mathematician advance mathematics, and how problems of mathematics can serve as benchmarks, to help better understand deep neural networks. In particular, this workshop focuses on three angles: using AI techniques to help mathematicians make advances on hard problems; using mathematics to understand AI predictions; and using deep-learning models for automated theorem proving.

Program Structure:

TBD

MFO webpage:

TBD

Registration:

• Deadline: 24 March 2025
• Registration is by invitation only. If you are interested to participate in this program, please contact one of the organisers with your CV and research background.
• Arrival date: 21 September 2025

ASSOCIATED EVENTS

MATRIX Wine and Cheese Afternoon 23 September 2025
On the first Tuesday of each program, MATRIX provides a pre-dinner wine and cheese afternoon. Produce is locally-sourced to showcase delicacies from the region.