AI and Pure Mathematics Conference

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

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: Machine Learning from a Stability Point of View

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


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

Top