DeepMind Math+AI Workshop

The DeepMind Math+AI Workshop will be held at the Institute for Advanced Study in Princeton, NJ the week of April 28-May 2, 2025.
 

*Please note this workshop is by invitation only for non-IAS affiliates*

Organizers:

This workshop is organized by Akshay Venkatesh (IAS) and Alex Davies (DeepMind).
 

Talks (All in S-101):

4/28 at 9:45 am: Opening Comments

4/28 at 10:00-11:00 am: AlphaProof - When RL Meets Formal Maths (Thomas Hubert)

4/28 at 12:00-1:00 pm: FunSearch: Mathematical Discoveries From Program Search With Large Language Models (Matej Balog, Alex Novikov, Adam Wagner)

4/29 at 10:00-11:00 am: At the Interface of Research Mathematics and AI - Discovering Unstable Singularities and Complex Phenomena In Partial Differential Equations (Bogdan Georgiev)

4/29 at 12:00-1:00 pm: Math+AI: Fluid Singularities, Unstable PDE Solutions and Computer-Assisted Proofs (Tristan Buckmaster, Javier Gomez Serrano)

4/30 at 10:00-11:00 am: A New Type of Computer - Using Language Models at Scale for Research Mathematics (Daniel Zheng)

4/30 at 12:00-1:00 pm: On Proof and Progress In AI and Mathematics (Martin Wattenberg)

5/2 at 10:00-12:00 am: The Future of AI-Mathematician Interaction (Martin Wattenberg)

5/2 at 2:00-3:15 pm: Panel Discussion: The Future of AI and Mathematics (Panel discussion with Alex Davies, Pushmeet Kohli, Myles Jackson, Martin Wattenberg and Avi Wigderson)