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.
Schedule
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 |
