Carlos Simpson, Université de Nice: Learning Short Proofs for Counting Planar Lattice Triangulations

AI and Pure Mathematics Conference
Dates: June 24-28, 2024
Location: Ungar Bldg, Room 528B
Live Video Available via Zoom
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.
Monday, June 24, 2024
9:00am
Carlos Simpson, Université de Nice: Learning Shorter Proofs for Counting Planar Lattice Traingulations