On Campus or via ZOOM: AI and Pure Mathematics Conference 6/24-28

On Campus or via ZOOM: AI and Pure Mathematics…

The AI and Pure Mathematics Conference presents distinguished speakers Sergei Gukov, Ben Kirtman, Gitta Kutyniok, Carlos Simpson, and Soledad Villar, plus a host of others. This year’s conference focus delves into three dynamic areas where mathematics and machine learning converge with significant impact:

  • Verification of Mathematical Proofs by Computer: Harnessing Artificial Intelligence (AI) to test and verify complex mathematical proofs.
  • Theoretical Foundations of Machine Learning: Exploring the core mathematical principles that underpin machine learning algorithms.
  • Applications of Machine Learning in Mathematical Research: Utilizing AI to take challenging mathematical problems and to enhance research methodologies.

In an era when data science and artificial intelligence are transforming every facet of industry and academia, the profound synergy between mathematics and AI has never been more pivotal. Building on the foundation works of pioneers like Alan Turing, Norbert Wiener, and John McCarthy, the AI and Pure Mathematics Conference explores the vital role of mathematics in advancing AI and the roles that AI can have in mathematical discovery.

Other distinguished speakers (see schedule below) include: Daniel Bennequin, Daniel Andres Diaz-Pachon, Timothy Gowers, Florentin Guth, Amaury Hayat, Ernesto Lupercio, Levie Ron, Julieta Ross, Carlos Alfonso Ruiz Guido, Radmila Sazdanovich, Yiannis Vlassopoulos, Melanie Weber, and IDSC Innovation Officer Yelena Yesha, Director of IDSC AI + Machine Learning program, and Knight Foundation Endowed Chair for Data Science and AI.

The Conference takes place from Monday, June 24 through Friday, June 28 on the Gables campus in the Ungar Building, Room 528-B (5th floor), 1365 Memorial Drive, Coral Gables, FL 33146, or via  ZOOM.

To register, please click here. For more information, please visit the University of Miami Institute of the Mathematical Sciences of the Americas (IMSA) website: IMSA.miami.edu.


Interactive Sessions: Each day features a dedicated 1.5-hour session focused on proposing and discussing open mathematical problems. These sessions will stimulate collaboration and foster groundbreaking ideas.

Monday, June 24, 2024

9:00am Carlos Simpson, Université de Nice: Learning Shorter Proofs for Counting Planar Lattice Traingulations
10:30am Radmila Sazdanovic, NC State University: Knot Theory Topological Data Analysis
11:30am Daniel Bennequim, Institut de Mathématiques de Jussieu: Topos and Stacks for understanding Semantic Functioning of Deep Neural Networks (Zoom)
12:30pm Lunch
2:30pm Ernesto Lupercio, CINVESTAV: Knot Theory
4:30pm A Course by Ernesto Lupercio, CINVESTAV & Enrique Becerra: Stringy Invariants of Orbifolds (Click for more information)

Tuesday, June 25, 2024

9:00am Amaury Hayat, École des Ponts ParisTech: How can Machine Learning Help Mathematicians?
10:30am Timothy Gowers, Cambridge University & College de France: What makes solving mathematics problems hard for computers? (Zoom)
11:30am Soledad Villar, John Hopkins University: Exact and approximate symmetries in machine learning models (Zoom)
12:30pm Lunch
2:30pm Daniel Andrés Díaz-Pachón, University of Miami: A formal framework for learning and knowledge acquisition
4:30pm A Course by Ernesto Lupercio, CINVESTAV & Enrique Becerra: Stringy Invariants of Orbifolds (Click for more information)

Wednesday, June 26, 2024

9:00am Melanie Weber, Harvard University: Discrete Curvature and Applications in Graph Machine Learning (Zoom)
10:30am Gitta Kutyniok, University of Munich: The Mathematics of Reliable AI (Zoom)
11:30am Levie Ron, Israel Institute of Technology: Szemerédi regularity lemma in graph machine learning (Zoom)
12:30pm Lunch
2:30pm Carlos Alfonso Ruiz Guido, Colegio de Matemáticas Bourbaki: Knot Theory & Machine Learning
4:30pm A Course by Ernesto Lupercio, CINVESTAV & Enrique Becerra: Stringy Invariants of Orbifolds (Click for more information)

Thursday, June 27, 2024

9:00am Yiannis Vlassopoulos, Athena Research and Innovation Center: A proposal for the mathematical structure computed by large language models
10:30am Florentin Guth, New York University: The Rainbow Model of Neural Networks (Zoom)
11:30am Ben Kirtman, University of Miami: How AI/ML is (Potentially) Revolutionizing Weather and Climate Science (Zoom)
12:30pm Lunch
2:30pm Sergei Gukov, CalTech: Mathematics as a Game

Friday, June 28, 2024

9:00am Julieta Ross, Okee Labs: The Convergence of Nature, Data, and Artificial General Intelligence
10:30am Aldo Guzmán, IBM
11:30am Yelena Yesha, University of Miami: Gen-AI ChatGPT
12:30pm Lunch

AI and Pure Mathematics Conference 2024 FLYER