Dates: June 24-28, 2024
Location: Ungar Bldg, Room 528B
Live Video Available via Zoom
To register, please click here.
Welcome to the AI and Pure Mathematics Conference
In an era where data science and artificial intelligence (AI) are transforming every facet of industry and academia, the profound synergy between mathematics and AI has never been more pivotal. Building on the foundational works of pioneers like Alan Turing, Norbert Wiener, and John McCarthy, our conference explores the vital role of mathematics in advancing AI and the roles that AI can have in mathematical discovery.
Conference Focus
This year’s edition delves into three dynamic areas where mathematics and machine learning converge with significant impact:
Verification of Mathematical Proofs by Computer: Harnessing 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 tackle challenging mathematical problems and to enhance research methodologies.
Conference Highlights
Distinguished Speakers: Join leading experts, including Carlos Simpson, Radmila Sazdanovich, Ben Kirtman, Daniel Bennequin, Gita Kutyniok, Florentin Guth, Soledad Villar, and Timothy Gowers, who will share their insights both in-person and via Zoom.
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.
Schedule
Monday, June 24, 2024
| 9:00am |
Carlos Simpson, Université de Nice: Learning Shorter Proofs for Counting Planar Lattice Traingulations Video
|
| 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) Video
|
| 12:30pm |
Lunch
|
| 2:30pm |
Ernesto Lupercio, CINVESTAV: Knot Theory Video
|
| 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? Video
|
| 10:30am |
Timothy Gowers, Cambridge University & College de France: What makes solving mathematics problems hard for computers? (Zoom) Video
|
| 11:30am |
Soledad Villar, John Hopkins University: Exact and approximate symmetries in machine learning models (Zoom) Video
|
| 12:30pm |
Lunch
|
| 2:30pm |
Daniel Andrés Díaz-Pachón, University of Miami: A formal framework for learning and knowledge acquisition Video
|
| 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) Video
|
| 10:30am |
Gitta Kutyniok, University of Munich: The Mathematics of Reliable AI (Zoom) Video
|
| 11:30am |
Levie Ron, Israel Institute of Technology: Szemerédi regularity lemma in graph machine learning (Zoom) Video
|
| 12:30pm |
Lunch
|
| 2:30pm |
Carlos Alfonso Ruiz Guido, Colegio de Matemáticas Bourbaki: Machine Learning from a Stability Point of View Video
|
| 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 Video
|
| 10:30am |
Florentin Guth, New York University: The Rainbow Model of Neural Networks (Zoom) Video
|
| 11:30am |
Ben Kirtman, University of Miami: How AI/ML is (Potentially) Revolutionizing Weather and Climate Science (Zoom) Video
|
| 12:30pm |
Lunch
|
| 2:30pm |
Sergei Gukov, CalTech: Mathematics as a Game Video
|
Friday, June 28, 2024
| 9:00am |
Julieta Ross, Okee Labs: The Convergence of Nature, Data, and Artificial General Intelligence Video
|
| 10:30am |
Aldo Guzmán, IBM: Topology in Computational Genomics Video
|
| 11:30am |
Yelena Yesha, University of Miami: Gen-AI ChatGPT Video
|
| 12:30pm |
Lunch
|
Join Us
This conference is a platform to present the latest discoveries and a unique opportunity for mathematicians interested in AI to connect and shape the future of this interdisciplinary field.
Explore, Engage, and Inspire at the intersection of Mathematics and Artificial Intelligence.
Distinguished Speakers
| Carlos Simpson |
Universite de Nice |
Radmila Sazdanovich |
NC State University |
| Ben Kirtman |
University of Miami |
Daniel Bennequin |
Paris Diderot University |
|
Gita Kutyniok
|
LMU Munchen |
Florentin Guth |
New York University |
| Soledad Villar |
John Hopkins University |
Timothy Gowers |
University of Cambridge |
| Sergei Gukov |
CalTech |
|
|
