Friday, June 28, 2024
About this Event
1365 Memorial Dr, Coral Gables, FL 33146
https://www.imsa.miami.edu/events/2024-summer-emphasis/math-machine/index.htmlWelcome 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: Our well-structured daily agenda includes multiple sessions interspersed with ample breaks to refresh and network.
09:00-10:00 Morning Session
10:30-11:30 Mid-Morning Session
11:30-12:30 Pre-Lunch Session
14:30-15:30 Afternoon Session
16:00-17:30 Problem Session
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 Miam
iDaniel Bennequin Paris Diderot University
Gita Kutyniok LMU Munchen
Florentin Guth New York University
Soledad Villar John Hopkins Universitu
Timothy Gowers University of Cambridge
Sergei Gukov CalTech
Event Type
Lecture/Conference1 person is interested in this event
User Activity
Copyright: 2025 University of Miami. All Rights Reserved.
Emergency Information
Privacy Statement & Legal Notices